はstatic_cast疑い

Question

#include <iostream> 
class A 
{ 
public: 
    A() 
    { 
     std::cout << "\n A_Constructor \t" << this <<std::endl; 
    } 
    void A_Method() 
    { 
     std::cout <<"\n A_Method \t" << this <<std::endl; 
    } 
}; 
class B:public A 
{ 
public: 
    B() 
    { 
     std::cout <<"\n B_Constructor \n"; 
    } 
    void B_Method() 
    { 
     std::cout <<"\n B_Method \t" << this <<std::endl; 
    } 
}; 

int main() 
{ 
    A *a_obj = new A; 
    B *b_obj = static_cast<B*> (a_obj); // This isn't safe. 
    b_obj->B_Method();  
    getchar(); 
    return 0; 
} 

OUTPUT：

A_Constructor 001C4890
B_Method 001C4890

一切実行時のチェックは型変換に関与していないされていないとして、static_castは安全ではありません。しかし、この例では、私が期待していなかったものを得ました。 B::B()への呼び出しがないので、そのメンバーのいずれもb_objによって呼び出されるべきではありません。それにもかかわらず、私は出力を得た。

この単純なケースでは、安全ではないとはいえ、私は成功したかもしれません。私の疑問がある -

• 私はclass Bメンバ関数にアクセスすることができたかB::B()への呼び出しは、ありませんが。
• これは安全ではなく、間違っているかもしれない例を挙げてください（私が前に示したものは悪い例として役立つかもしれませんが、さらに良いものもあります）。

私はVisual Studio 2010で、\ Wallオプションを設定しました。

Answer 1

これは未定義の動作です。 UBがクラッシュすることがあります。時々それは "働く"ようである。たとえこの場合に悪いことが起こったとしても、あなたはこれをしてはいけないということは間違いありません。

Answer 2

あなたがしようとしているのは未定義の動作なので、何かが起こる可能性があります。これは、（あなたが何も持っていない）任意のデータメンバーにアクセスしようとしないように動作する（おそらく動作する）ようだ。両方のクラスにいくつかのデータメンバーを追加してメソッドからアクセスしようとすると、動作が完全に予測不可能に変わることがわかります。

Answer 3

私は、この特定のケースがUBであるとは思わない。まず、あるタイプから別のタイプへポインタをキャストします。仮想/多重継承は含まれていないので、ポインタ調整は行われないので、基本的にポインタ値は変わりません。確かにそれは間違ったタイプのオブジェクトを指していますが、Bメンバにアクセスしていない限り、何かあったとしても誰が気にしますか？そして、ポインタの調整があったとしても、私たちが指しているメモリにアクセスしていなければ、それでも問題はありません。

次に、この例ではBのメソッドを呼び出します。これは仮想ではないため、hidden引数this（考えてB::B_Method(this)）を使用した通常の関数呼び出しです。さて、thisは間違ったタイプのオブジェクトを指していますが、再び誰が気にしますか？それが行う唯一のことはそれを印刷することです。これは常に安全なことです。

実際、NULLポインタを使用してメソッドを呼び出すこともできます。メソッドが仮想ではなく、thisが指すものにアクセスしようとしない限り、動作します。かつて私は多くのプログラムで使用されていたライブラリを持っていました。このライブラリにはシングルトンのようなクラスがありましたが、これは明示的に構成する必要がありましたが、実際にプログラムを実行したことはありません。グローバルなので、インスタンスポインタはデフォルトでNULLに初期化されました。クラスにデータメンバーがまったくないので、完全に機能しました。それから、私はいくつかを追加し、すべてのプログラムが突然クラッシュし始めました。理由を見つけたら、本当にうれしかったです。私は存在していないオブジェクトを使っています。