C 標準轉換運算子四種

具體歸納如下:

reinterpret_cast

函式將乙個型別的指標轉換為另乙個型別的指標.

這種轉換不用修改指標變數值存放格式(不改變指標變數值),只需在編譯時重新解釋指標的型別就可做到.reinterpret_cast 可以將指標值轉換為乙個整型數,但不能用於非指標型別的轉換.

例:

//基本型別指標的型別轉換

double d=9.2;

double* pd = &d;

int *pi = reinterpret_cast(pd); //相當於int *pi = (int*)pd;

//不相關的類的指標的型別轉換

class a{};

class b{};

a* pa = new a;

b* pb = reinterpret_cast(pa); //相當於b* pb = (b*)pa;

//指標轉換為整數

long l = reinterpret_cast(pi); //相當於long l = (long)pi;

const_cast

該函式用於去除指標變數的常量屬性，將它轉換為乙個對應指標型別的普通變數。反過來，也可以將乙個非常量的指標變數轉換為乙個常指標變數。

這種轉換是在編譯期間做出的型別更改。

例：

const int* pci = 0;

int* pk = const_cast(pci); //相當於int* pk = (int*)pci;

const a* pca = new a;

a* pa = const_cast(pca); //相當於a* pa = (a*)pca;

出於安全性考慮，const_cast無法將非指標的常量轉換為普通變數。

static_cast

該函式主要用於基本型別之間和具有繼承關係的型別之間的轉換。

這種轉換一般會更改變數的內部表示方式，因此，static_cast應用於指標型別轉換沒有太大意義。

例：

//基本型別轉換

int i=0;

double d = static_cast(i); //相當於 double d = (double)i;

//轉換繼承類的物件為基類物件

class base{};

class derived : public base{};

derived d;

base b = static_cast(d); //相當於 base b = (base)d;

dynamic_cast

它與static_cast相對，是動態轉換。

這種轉換是在執行時進行轉換分析的，並非在編譯時進行，明顯區別於上面三個型別轉換操作。

該函式只能在繼承類物件的指標之間或引用之間進行型別轉換。進行轉換時，會根據當前執行時型別資訊，判斷型別物件之間的轉換是否合法。dynamic_cast的指標轉換失敗，可通過是否為null檢測，引用轉換失敗則丟擲乙個bad_cast異常。

例：

class base{};

class derived : public base{};

//派生類指標轉換為基類指標

derived *pd = new derived;

base *pb = dynamic_cast(pd);

if (!pb)

cout << "型別轉換失敗" << endl;

//沒有繼承關係，但被轉換類有虛函式

class a(virtual ~a();) //有虛函式

class b{}:

a* pa = new a;

b* pb = dynamic_cast(pa);

如果對無繼承關係或者沒有虛函式的物件指標進行轉換、基本型別指標轉換以及基類指標轉換為派生類指標，都不能通過編譯。

原文**：

對於具有標準定義轉換的簡單型別而言工作的很好。然而，這樣的轉換符也能不分皂白的應用於類（class）和類的指標。ansi-c++標準定義了四個新的轉換符：'reinterpret_cast', 'static_cast', 'dynamic_cast' 和 'const_cast'，目的在於控制類(class)之間的型別轉換。

**:reinterpret_cast(expression)

dynamic_cast(expression)

static_cast(expression)

const_cast(expression)

1 reinterpret_cast

'reinterpret_cast'轉換乙個指標為其它型別的指標。它也允許從乙個指標轉換為整數型別。反之亦然。（譯註：是指標具體的位址值作為整數值？）

這個操作符能夠在非相關的型別之間轉換。操作結果只是簡單的從乙個指標到別的指標的值的二進位制拷貝。在型別之間指向的內容不做任何型別的檢查和轉換。

如果情況是從乙個指標到整型的拷貝，內容的解釋是系統相關的，所以任何的實現都不是方便的。乙個轉換到足夠大的整型能夠包含它的指標是能夠轉換回有效的指標的。

**:class a {};

class b {};

a * a = new a;

b * b = reinterpret_cast(a);

'reinterpret_cast'就像傳統的型別轉換一樣對待所有指標的型別轉換。

2 static_cast

'static_cast'允許執行任意的隱式轉換和相反轉換動作。（即使它是不允許隱式的）

應用到類的指標上，意思是說它允許子類型別的指標轉換為父類型別的指標（這是乙個有效的隱式轉換），同時，也能夠執行相反動作：轉換父類為它的子類。

在這最後例子裡，被轉換的父類沒有被檢查是否與目的型別相一致。

**：class base {};

class derived : public base {};

base *a = new base;

derived *b = static_cast(a);

'static_cast'除了操作型別指標，也能用於執行型別定義的顯式的轉換，以及基礎型別之間的標準轉換:

**:double d = 3.14159265;

int i = static_cast(d);

3 dynamic_cast

'dynamic_cast'只用於物件的指標和引用。當用於多型型別時，它允許任意的隱式型別轉換以及相反過程。不過，與static_cast不同，在後一種情況裡（注：即隱式轉換的相反過程），dynamic_cast會檢查操作是否有效。也就是說，它會檢查轉換是否會返回乙個被請求的有效的完整物件。

檢測在執行時進行。如果被轉換的指標不是乙個被請求的有效完整的物件指標，返回值為null.

**：class base };

class derived : public base {};

base* b1 = new derived;

base* b2 = new base;

derived* d1 = dynamic_cast(b1); // succeeds

derived* d2 = dynamic_cast(b2); // fails: returns 'null'

如果乙個引用型別執行了型別轉換並且這個轉換是不可能的，乙個bad_cast的異常型別被丟擲：

**:class base };

class derived : public base ;

base* b1 = new derived;

base* b2 = new base;

derived d1 = dynamic_cast(b1); // succeeds

derived d2 = dynamic_cast(b2); // fails: exception thrown

4 const_cast

這個轉換型別操縱傳遞物件的const屬性，或者是設定或者是移除：

**:class c {};

const c *a = new c;

c *b = const_cast(a);

其它三種操作符是不能修改乙個物件的常量性的。

注意：'const_cast'也能改變乙個型別的volatile qualifier。

C 標準轉換運算子 四種

C 標準轉換運算子 四種

C 標準轉換運算子 四種

標準C 的四種強制轉換型別運算子

相關推薦

C 標準轉換運算子四種

C 標準轉換運算子四種

C 標準轉換運算子四種