const_cast，reinterpret_cast，static_cast，dynamic_cast簡介

 

標準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的對象，這可能是不安全的

  ...

}