標准c++中主要有四種強制轉換類型運算符:
const_cast,reinterpret_cast,static_cast,dynamic_cast等等。
1)static_cast<T*>(a)
將地址a轉換成類型T,T和a必須是指針、引用、算術類型或枚舉類型。
表達式static_cast<T*>(a),a的值轉換為模板中指定的類型T.在運行時轉換過程中,不進行類型檢查來確保轉換的安全性。
例子:
class B { ... };
class D : public B { ... };
void f(B* pb, D* pd)
{
D* pd2 = static_cast<D*>(pb); // 不安全, pb可能只是B的指針
B* pb2 = static_cast<B*>(pd); // 安全的
...
}
class B { ... };
class D : public B { ... };
void f(B* pb, D* pd)
{
D* pd2 = static_cast<D*>(pb); // 不安全, pb可能只是B的指針
B* pb2 = static_cast<B*>(pd); // 安全的
...
}
class B { ... };
class D : public B { ... };
void f(B* pb, D* pd)
{
D* pd2 = static_cast<D*>(pb); // 不安全, pb可能只是B的指針
B* pb2 = static_cast<B*>(pd); // 安全的
...
}
2)dynamic_cast<T*>(a)
完成類層次結構中的提升。T必須是一個指針、引用或無類型的指針。a必須是決定一個指針或引用的表達式。
表達式dynamic_cast<T*>(a) 將a值轉換為類型為T的對象指針。如果類型T不是a的某個基類型,該操作將返回一個空指針。
例子:
class A { ... };
class B { ... };
void f()
{
A* pa = new A;
B* pb = new B;
void* pv = dynamic_cast<A*>(pa);
// pv 現在指向了一個類型為A的對象
...
pv = dynamic_cast<B*>(pb);
// pv 現在指向了一個類型為B的對象
}
3)const_cast<T*>(a)
去掉類型中的常量,除了const或不穩定的變址數,T和a必須是相同的類型。
表達式const_cast<T*>(a)被用於從一個類中去除以下這些屬性:const, volatile, 和 __unaligned.
例子:
class A { ... };
void f()
{
const A *pa = new A; //const對象
A *pb; //非const對象
//pb = pa; // 這裡將出錯,不能將const對象指針賦值給非const對象
pb = const_cast<A*>(pa); // 現在OK了
...
}
class A { ... };
void f()
{
const A *pa = new A; //const對象
A *pb; //非const對象
//pb = pa; // 這裡將出錯,不能將const對象指針賦值給非const對象
pb = const_cast<A*>(pa); // 現在OK了
...
}
class A { ... };
void f()
{
const A *pa = new A; //const對象
A *pb; //非const對象
//pb = pa; // 這裡將出錯,不能將const對象指針賦值給非const對象
pb = const_cast<A*>(pa); // 現在OK了
...
}
4)reinterpret_cast<T*>(a)
任何指針都可以轉換成其它類型的指針,T必須是一個指針、引用、算術類型、指向函數的指針或指向一個類成員的指針。
表達式reinterpret_cast<T*>(a)能夠用於諸如char* 到 int*,或者One_class* 到 Unrelated_class*等類似這樣的轉換,因此可能是不安全的。
例子:
class A { ... };
class B { ... };
void f()
{
A* pa = new A;
void* pv = reinterpret_cast<A*>(pa);
// pv 現在指向了一個類型為B的對象,這可能是不安全的
...
}