C語言運算式中的類型隱式轉換

先看下面一段程式，這段程式摘自《C 專家編程》：

#include <stdio.h>int array[] = {23,34,12,17,204,99,16};#define TOTAL_ELEMENTS (sizeof(array)/sizeof(array[0])) int main(void){    int d=-1,x;    /*........*/     if(d <= TOTALTOTAL_ELEMENTS - 2)        x = array[d+1];    /*........*/    return 0;}

如果是有這樣一段程式的話，你永遠無法知道x的值到底是多少，因為這句指派陳述式x=array[d+1];根本不會執行。原因在哪？經過調試發現程式執行到if語句進行判斷完之後，直接跳過下面一條語句的執行。下面來分析一下原因，因為sizeof求算類型大小時的傳回值是unsigned int類型，而d是signed int，if語句測試兩者大小，d會自動升級為unsigned int，-1轉換為unsigned int是一個很大的正整數，所以運算式的值永遠為假，因此後面的指派陳述式永遠不會執行。這裡面就是類型轉換帶來的bug，如果稍不注意，則可能對整個工程或者項目造成無法預測的後果，而這個bug是很難直接調試能夠調試得出來的。

運算式中的類型轉換

類型轉化包括強制類型轉化和隱式轉換，這裡所談的都是隱式轉換。先來瞭解一下傳統C(K&R C)中隱式類型轉換的規則：

首先任何char、short int類型的運算元都會被轉換成int類型，任何float類型都會被轉換為double型。如果一個運算元是double型，那麼另外一個運算元也被轉換為double，計算結果也是double；如果一個運算元是long型，那麼另外一個運算元也被轉換為long型，計算結果也是long；如果一個運算元是unsigned，那麼另外一個運算元也被轉換為unsigned，計算結果為unsigned。

而在新的標準中卻作了一些修改：

1. 整型升級：所有的char，short int和位段都會首先自動轉換成int或者unsigned int。如果int能夠表示源類型的所有值，那麼就轉換為int，否則轉換為unsigned int。

2. 在計算運算式的值時，通常首先會將低類型(能夠表示的資料範圍小的資料類型)轉換為高類型，再參與計算。但是這裡要注意的一點是，如果運算式中存在float型，則不一定會被轉換為double型，然後再進行計算。如有下面這段代碼：

float f1,f2;double d;f1 = d*f2;

如果採用單精確度進行計算的話，最後結果同雙精確度計算結果相同，那麼對f2可能不進行轉換。這一點和傳統C是不同的，但是目前很少有編譯器(VC就不支援)支援這點。

當運算式中存在無符號和有符號類型的運算元時，如果一個運算元是unsigned long int，那麼另一個運算元也被轉換為 unsigned long int；如果一個運算元是long int，另一個運算元是unsigned int。如果long int能夠表達unsigned int的表示範圍，則另一個運算元被轉換為long int；否則兩個運算元都被轉換為unsigned long int；如果一個運算元是unsigned int，另一個運算元是int，那麼另一個運算元被轉換為unsigned int。

下面看一個例子：

假設int是16位，long int是32位。

那麼對於-1L < 1U，因為-1L是signed long int型的，而1U是unsigned int型，由於signe long int能夠完全表示unsigned int的範圍，所以1U被轉換為signed long int；

對於-1L>1UL，因為-1L是signed long int型的，而1UL是unsigned long int型，則-1L被轉換為unsigned long int。

