C 語言中的類型轉(zhuǎn)換

我們在前面學(xué)習(xí)了 C 語言的數(shù)據(jù)類型，那么變量在參與運算的時候類型是始終如一不變的嗎？

帶著這個疑問，我們可以先看一個例子：

#include <stdio.h>

#define typename(x) _Generic((x),        /* Get the name of a type */             \
                                                                                  \
        _Bool: "_Bool",                  unsigned char: "unsigned char",          \
         char: "char",                     signed char: "signed char",            \
    short int: "short int",         unsigned short int: "unsigned short int",     \
          int: "int",                     unsigned int: "unsigned int",           \
     long int: "long int",           unsigned long int: "unsigned long int",      \
long long int: "long long int", unsigned long long int: "unsigned long long int", \
        float: "float",                         double: "double",                 \
  long double: "long double",                   char *: "pointer to char",        \
       void *: "pointer to void",                int *: "pointer to int",         \
      default: "other")

int main()
{
    int a=1,b=2;
    float c=3.14159,d=0;
    printf("a type: %s, b type: %s, c type: %s, d type: %s\n",typename(a),typename(b),typename(c),typename(d));
    a=b+c;
    printf("a=b+c, a=%d\n",a);
    printf("type (b+c): %s\n",typename(b+c));
    d=b+c;
    printf("d=b+c, d=%f\n",d);
    return 0;
}

經(jīng)過編譯運行后得到如下的結(jié)果：

Tips：有關(guān)如何編譯運行的內(nèi)容請參考前面的章節(jié)。
Tips：同時值得注意的是，這個程序中的 _Generic 來自于 C11 標(biāo)準(zhǔn)中，所以在你之前可能看到的 C 語言的書籍中是沒有的。請大家不要使用過于古老的編譯器，請使用推薦的較新的編譯器。也就是支持 C11 以上標(biāo)準(zhǔn)的編譯器。具體情況可以參照你們所選擇的編譯器的手冊?；蛘咧苯舆x擇 GCC 7 及更新版本的編譯器。

a type: int, b type: int, c type: float, d type: float
a=b+c, a=5
type (b+c): float
d=b+c, d=5.141590

這里面的 a， b 變量為整形，而 c 和 d 都是浮點型。那么當(dāng)一個整形和一個浮點型相加的時候會發(fā)生什么呢？這就是我們今天要介紹的內(nèi)容。

1. 隱式類型轉(zhuǎn)換

C 語言是強類型語言，也就是說不同類型的數(shù)據(jù)之間是不能進行運算的。必須保持一致的類型才能進行運算。也就是說在這個不同數(shù)據(jù)類型的計算過程中，C 語言自動進行了一次類型轉(zhuǎn)換，使得兩個變量的數(shù)據(jù)類型一致，才能進行相關(guān)的計算。這種自動的轉(zhuǎn)換，也稱之為隱式類型轉(zhuǎn)換。

從前面提及的例子還可以看出，我們定義的數(shù)據(jù)類型，在不同的類型的數(shù)據(jù)運算結(jié)束后，并沒有發(fā)生改變，也就是數(shù)據(jù)類型保持著我們最開始定義時候的類型。這時會發(fā)生丟棄精度的事情，也就是上面例子中小數(shù)點后面的數(shù)值就會消失。

那么這種隱式的轉(zhuǎn)換有什么規(guī)律可循嗎？

下面的表格就展示了類型轉(zhuǎn)換的規(guī)律，當(dāng)在計算過程中，數(shù)值類型不一致的時候，就會發(fā)生自動的類型轉(zhuǎn)換，轉(zhuǎn)換的類型是將表格中處于下方的較低優(yōu)先級的數(shù)據(jù)類型，向表格上方的較高優(yōu)先級的數(shù)據(jù)類型進行轉(zhuǎn)換。

根據(jù)這個表格我們就可以看出之前的轉(zhuǎn)換中，int 與 float 類型進行計算，編譯器會自動將 int 類型轉(zhuǎn)換為 float 類型進行計算。從而使得運算在相同的數(shù)據(jù)類型間進行。

2. 顯式類型轉(zhuǎn)換

如果說隱式類型轉(zhuǎn)換是編譯器自動進行的類型轉(zhuǎn)換，那么顯式類型轉(zhuǎn)換，則是我們?nèi)藶榈倪M行數(shù)據(jù)類型的轉(zhuǎn)換，這里可以理解為是一種強制的類型的轉(zhuǎn)換，這種轉(zhuǎn)換將不再遵守上面的轉(zhuǎn)換規(guī)則，而是按照我們?nèi)藶榈臉?biāo)明的類型進行轉(zhuǎn)換。

就是在我們需要指定類型的變量前加上數(shù)據(jù)類型，并用圓括號包裹。例如： (int)a， (float)b， (long)c 等。

下面我們通過一個示例程序來看一下顯式類型轉(zhuǎn)換：

下面是執(zhí)行結(jié)果。

a type: int, b type: int, c type: float, d type: float
a=b+c, a=5
type (b+c): int
d=b+c, d=5.000000

通過顯式類型轉(zhuǎn)換，我們可以控制在計算過程中的數(shù)據(jù)類型。之前自動轉(zhuǎn)換為 float 類型的數(shù)據(jù)，在我們顯式指定為 int 類型后，計算過程中就會按照 int 類型來進行計算。

3. 小結(jié)

對于隱式類型轉(zhuǎn)換。其實變化的原因主要是因為計算的數(shù)值為了匹配計算精度而進行的，一般情況下都是較低精度的變量類型會轉(zhuǎn)變?yōu)檩^高精度的變量類型。

而顯式類型轉(zhuǎn)換則是我們主動控制了類型的精度，可以拋去我們不需要的高的精度。同時，由于指定了類型，在轉(zhuǎn)換過程中不會產(chǎn)生歧義。

Tips： 請注意，這里在類型轉(zhuǎn)換的過程中不會自動進行四舍五入等操作，因此如果使用不當(dāng)會造成數(shù)據(jù)的精度丟失。