CC中自動類型轉(zhuǎn)換規(guī)則

CC中自動種類變換的規(guī)則CC中自動種類變換的規(guī)則CC中自動種類變換的規(guī)則CC++中自動種類變換的規(guī)則C/C++中自動種類變換的規(guī)則shawpinleeposted@2007年9月16日23:04inC/C++,4802閱讀C++定義了一組內(nèi)置種類對象之間的標準變換，在必要時它們被編譯器隱式地應用到對象上。隱式種類變換發(fā)生在以下這些典型情況下：在混雜種類的算術表達式中在這種情況下最寬的數(shù)據(jù)種類成為目標變換種類，這也被稱為算術變換，比方：intival=3;doubledval=3.14159;//ival被提升為double種類：ival+dval;用一各種類的表達式賦值給另一各種類的對象在這種情況下目標變換種類是被賦值對象的種類。比方在下面第一個賦值中文字常量0的種類是int。它被變換成int*型的指針表示空地址。在第二個賦值中double種類的值被截取成int型的值。0被變換成int*種類的空指針值int*pi=0;//dval被截取為int值3ival=daval;把一個表達式傳達給一個函數(shù)，調(diào)用表達式的種類與形式參數(shù)的種類不相同在這種情況下目標變換種類是形式參數(shù)的種類。比方：externdoublesqrt(double);//2被提升為double種類cout<<"Thesquarerootof2is"<<sqrt(2)<<endl;從一個函數(shù)返回一個表達式的種類與返回種類不相同在這種情況下返回的表達式種類自動變換成函數(shù)的返回種類。比方：doubledifference(intival1,intival2){//返回值被提升為double種類returnival1-ival2;}算術變換保證了二元操作符，如加法或乘法的兩個操作數(shù)被提升為共同的種類，爾后再用它表示結(jié)果的種類。兩個通用的直到原則以下：為防范精度損失，若是必要的話，種類總是被提升為較寬的種類所有含有小于整型的有序種類的算術表達式在計算從前其種類都會被變換成整型。規(guī)則的定義如上面所述，這些規(guī)則定義了一個種類變換層次結(jié)構(gòu)。我們從最寬的種類longdouble開始。若是一個操作數(shù)的種類是longdouble，那么另一個操作數(shù)無論是什么種類都要被變換成longdouble。比方在下面的表達式中，字符常量小寫字符a將被提升為longdouble，它的ASCII碼值為97，爾后再被加到longdouble型的文字常量上：3.14159L+'a';若是兩個操作數(shù)都不是longdouble型，那么若其中一個操作數(shù)的種類是double型，則另一個就將被變換成double型，比方：intival;floatfval;doubledval;//在計算加法前fval和ival都被變換成doubledval+faval+ival;近似地，若是兩個操作數(shù)都不是double型而其中一個操作數(shù)是float型，則另一個被變換成float型。比方：charcval;intival;floatfval;//在計算加法前ival和cval都被變換成doublecval+fval+ival;否則若是兩個操作數(shù)都不是3種浮點種類之一，它們必然是某種整值種類。在確定共同的目標提升種類從前，編譯器將在所有小于int的整數(shù)種類上施加一個被稱為整值提升integralpromotion）的過程。在進行整值提升時種類char、signedchar、unsignedchar和

shortint

都被提升為種類

int。若是機器上的種類空間足夠表示所有unsignedshort型的值，這平時發(fā)生在short用半個字而int用一個字表示的情況下，則unsignedshortint也被變換成int，否則它會被提升為unsignedint。wchar_t和列舉種類被提升為可以表示其基層種類（underlyingtype）和所有值的最小整數(shù)種類。比方已知以以下舉種類

:enumstatus{bad,ok};相關系的值是0和1。這兩個值可以但不是必定存放在char種類的表示中。當這些值實質(zhì)上被作為char種類來儲藏時，char代表了列舉的基層種類，爾后status的整體提升將它的題曾種類變換為int。在以下表達式中：charcval;boolfound;enummumble{m1,m2,m3}mval;unsignedlongulong;cval+ulong;ulong+found;mval+ulong;在確定兩個操作數(shù)被提升的公共種類從前，

cvalfound

和mval

都被提升為

int

種類。一旦整體提升執(zhí)行嗯達成，種類比較就又一次開始。若是一個操作數(shù)是unsignedlong型，則第二個變換也被變換成unsignedlong型。在上面的例子中所有被加到ulong上的3個對象都被提升為unsignedlong型。若是兩個操作數(shù)的類型都不是unsignedlong而其中一個操作數(shù)是long型，則另一個也被變換成long型。比方：charcval;longlval;在計算加法前cval和1024都被提升為long型cval+1024+lval;long

種類的一般變換有一個例外。若是一個操作數(shù)是

long型而另一個是

unsignedint

型，那么只有在機器上的

long

型的長度足以存放

unsignedint

的所有值時（一般來說，在

32位操作系統(tǒng)中

long

型和

int

型都用一個字長表示，所以不滿足這里的假設條件），unsignedint才會被轉(zhuǎn)為long型，否則兩個操作數(shù)都被提升為

unsignedlong

型。若兩個操作數(shù)都不是

long

型而其中一個是

unsignedint

型，則另