類型轉換

const_cast

• const_cast<新類型>(表達式);會去除"表達式"的 const,volatile 屬性,以下:

int const ci = 33;
int const *ciptr = &ci;
int *var0 = const_cast<int*>(&ci);
// "&ci"的正確類型應該是 int const *;const_cast 轉換會去除 const 屬性
// 即轉換結果的類型是 int* 類型.
int const * const ciptrc = &ci;
int const * const *ciptrcptr = &ciptrc;
int **var1 = const_cast<int**>(&ciptrc);
// "&ciptrc"的正確類型是 int const * const *,const_cast 轉換會去除全部的 const 屬性,
// 所以轉換後表達式的類型是 int**,

reinterpret_cast

• 僅僅是從新解釋了給出對象的比特模型而沒有修改這個比特模型.以下:

int i = 0x1223;
int *i_ptr = &i;
float *f_ptr = reinterpret_cast<float*>(i_ptr);
// 此時 i_ptr 與 f_ptr 的值相同,均爲 0x227fc;只不過在 i_ptr 中,將該值解釋爲一個
// 指向 int 類型數據的指針;而在 f_ptr 中,將該值解釋爲指向着 float 類型的指針.

struct A{
    int i;
};
struct B{
    int i;
};  
struct C:public A,public B{
};
C c;
C *c_ptr = &c;
B *b_ptr1 = (B*)c_ptr; // 此時 b_ptr1 的值爲 c_ptr+sizeof(A),參見"C++對象模型"
B *b_ptr = reinterpret_cast<B*>(c_ptr);
// 此時 b_ptr 的值與 c_ptr 的值相同,即只是從新解釋比特模型,並不修改比特模型.

• reinterpret_cast 並不會去除 const,volatile 屬性,如:

volatile int i = 33;
int volatile *i_ptr = &i;

float *f_ptr = reinterpret_cast<float*>(i_ptr);
// 錯誤：從類型"volatile int*"到類型"float*"的 reinterpret_cast 丟失了限定符

float volatile *f_ptr1 = reinterpret_cast<float volatile*>(i_ptr); 
// 正確,保留 volatile 限定符

float *f_ptr2 = const_cast<float*>(reinterpret_cast<float volatile*>(i_ptr)); 
// 此時也是正確的,利用 const_cast 來去除 const,volatile 限定符.

• 參見 libstdc++/include/bits/move.h 中 std::__addressof 對 reinterpret_cast 的使用.