是否定義了運行時錯誤的C風格轉換的行爲？

Question

如果您將舊的C風格的類型轉換爲類型A到類型B，而類型A不能轉換爲類型B，那麼C++標準是否定義了特定的行爲？反之亦然？

會有一個已知的可見行爲，可以被認爲是在運行時使用此非法轉換的症狀嗎？

Answer 1

四種C++風格演員中只有一種決定了演員在演出時的合法性，即dynamic_cast。

C風格演員陣容對應於其他三個陣容的組合（static_cast,reinterpret_cast,const_cast）。這些演員的有效性是在編譯時確定的，或者如果在編譯時無法確定，那麼演員被認爲是有效的。 C風格演員絕不會像dynamic_cast那樣行事。

因此，在運行時「失敗」的C風格轉換，即打破了有效性假設，導致未定義的行爲。所以：

如果您將舊的C風格的類型轉換爲類型A到類型B，其中類型A不能轉換爲類型B，反之亦然，C++標準是否定義了特定的行爲？

號

會不會有，可以認爲是使用這種在運行時非法投症狀已知可見的行爲？

號

Answer 2

編譯器會趕上他們中的一些，但不是全部。這是一個災難性的鑄件的例子：

#include <iostream> 
#include <string> 

using namespace std; 

class A { 
public: 
     A(std::string s, int x) : m_s(s), m_x(x) {} 

     void print() { cout << "A::print(): str = " << m_s << ", x = " << m_x << endl; } 

private: 
     std::string m_s; 
     int m_x; 
}; 

class B { 
public: 
     B(int x) : m_x(x) {} 
     void print() { m_x++; cout << "B::print(): x = " << m_x << endl; } 

private: 
     int m_x; 

}; 

int main(int argc, char **argv) { 

     A *a = new A("abc", 1); 
     a->print(); 
     B *b = (B*)a; 
     b->print(); 

     a->print(); 

     return 0; 
} 

海合會結果（Ubuntu的5.4.0-6ubuntu1〜16.04.4）5.4.0 20160609：

A::print(): str = abc, x = 1 
B::print(): x = 24828977 
A::print(): str = bc, x = 1 

是的，我們叫B的方法上A的數據，這意味着我們的C風格演員工作爲reinterpret_cast。 reinterpret_cast只需要一個內存區域，並允許你對待是不同的東西。這裏沒有安全帶。

在另一方面，如果你嘗試編譯這樣的事情

A a; 
    B b; 
    a = (A)b; 
    return 0; 

會造成static_cast和編譯時錯誤。所以C風格的轉換結果取決於上下文。

這是NIGHTMARE當處理模板和auto。

爲了避免此問題，使用static_cast（用於編譯時檢查）和dynamic_cast（運行時檢查）或reinterpret_cast（用於指針和POD），寫明你的意圖。