reinterpret_cast
reinterpret_cast 可以將一個(gè)指針轉(zhuǎn)換為任意其它類型的指針。
它也可以用來(lái)將一個(gè)指針轉(zhuǎn)換為一個(gè)整型，或反之亦然。
這個(gè)操作符可以在互不相關(guān)的類之間進(jìn)行指針轉(zhuǎn)換，
操作的結(jié)果是簡(jiǎn)單的將一個(gè)指針的二進(jìn)制數(shù)據(jù)(binary copy)復(fù)制到另一個(gè)指針。
對(duì)指針指向的內(nèi)容不做任何檢查或轉(zhuǎn)換。
例如：
class A {};
class B {};
A * a = new A;
B * b = reinterpret_cast<B*>(a);
reinterpret_cast 對(duì)所有指針的處理與傳統(tǒng)的類型轉(zhuǎn)換符所作的一模一樣。
_________________________________________________________________
static_cast
static_cast 可以執(zhí)行所有能夠隱含執(zhí)行的類型轉(zhuǎn)換，以及它們的反向操作（即使這種方向操作是不允許隱含執(zhí)行的）。
用于類的指針，也就是說(shuō)，它允許將一個(gè)引申類的指針轉(zhuǎn)換為其基類類型（這是可以被隱含執(zhí)行的有效轉(zhuǎn)換），同時(shí)也允許進(jìn)行相反的轉(zhuǎn)換：將一個(gè)基類轉(zhuǎn)換為一個(gè)引申類類型。
在后面一種情況中，不會(huì)檢查被轉(zhuǎn)換的基類是否真正完全是目標(biāo)類型的。例如下面的代碼是合法的：
class Base {};
class Derived: public Base {};
Base * a = new Base;
Derived * b = static_cast(a);
static_cast除了能夠?qū)︻愔羔樳M(jìn)行操作，還可以被用來(lái)進(jìn)行類中明確定義的轉(zhuǎn)換，以及對(duì)基本類型的標(biāo)準(zhǔn)轉(zhuǎn)換：
double d=3.14159265;
int i = static_cast<int>(d);
譯者注：如果你對(duì)這部分看不太懂，請(qǐng)結(jié)合下面的dynamic_cast一起看，也許會(huì)幫助理解。
dynamic_cast
dynamic_cast 完全被用來(lái)進(jìn)行指針的操作。它可以用來(lái)進(jìn)行任何可以隱含進(jìn)行的轉(zhuǎn)換操作以及它們被用于多態(tài)類情況下的方向操作。
然而與static_cast不同的是，
dynamic_cast 會(huì)檢查后一種情況的操作是否合法，
也就是說(shuō)它會(huì)檢查類型轉(zhuǎn)換操作是否會(huì)返回一個(gè)被要求類型的有效的完整的對(duì)象。
這種檢查是在程序運(yùn)行過(guò)程中進(jìn)行的。如果被轉(zhuǎn)換的指針?biāo)赶虻膶?duì)象不是一個(gè)被要求類型的有效完整的對(duì)象，返回值將會(huì)是一個(gè)空指針NULL 。
class Base { virtual dummy(){}; };
class Derived : public Base { };
Base* b1 = new Derived;
Base* b2 = new Base;
Derived* d1 = dynamic_cast(b1);
Derived* d2 = dynamic_cast(b2);
如果類型轉(zhuǎn)換被用在引用(reference)類型上，而這個(gè)轉(zhuǎn)換不可能進(jìn)行的話，一個(gè)bad_cast 類型的例外(exception)將會(huì)被拋出：
class Base { virtual dummy(){}; };
class Derived : public Base { };
Base* b1 = new Derived;
Base* b2 = new Base;
Derived d1 = dynamic_cast(b1);
Derived d2 = dynamic_cast(b2);
const_cast
這種類型轉(zhuǎn)換對(duì)常量const 進(jìn)行設(shè)置或取消操作：
class C {};
const C * a = new C;
C * b = const_cast<C*> (a);
其他3種cast 操作符都不可以修改一個(gè)對(duì)象的常量屬性(constness)。
typeid
ANSI-C++ 還定義了一個(gè)新的操作符叫做 typeid ，
它檢查一個(gè)表達(dá)式的類型：
typeid (expression)
這個(gè)操作符返回一個(gè)類型為type_info的常量對(duì)象指針，這種類型定義在標(biāo)準(zhǔn)頭函數(shù)中。這種返回值可以用操作符 == 和 != 來(lái)互相進(jìn)行比較，
也可以用來(lái)通過(guò)name()函數(shù)獲得一個(gè)描述數(shù)據(jù)類型或類名稱的字符串，
例如：
#include <iostream.h>
#include <typeinfo>
class CDummy { };
int main () {
CDummy* a,b;
if (typeid(a) != typeid(b)) {
cout << "a and b are of different types:\n";
cout << "a is: " << typeid(a).name() << '\n';
cout << "b is: " << typeid(b).name() << '\n';
}
return 0;
}
|
a and b are of different types:
a is: class CDummy *
b is: class CDummy |