このようにしてユニオン内のポインタにアクセスすると、セグメンテーションフォルトが発生するのはなぜですか？

Question

次のコードがセグメンテーションフォルトを引き起こすのはなぜですか？

#include <string> 

union U { 
    bool boolean; 
    double number; 
    std::string* str_ptr; 
}; 

int main() 
{ 
    U u{new std::string("A")}; 
    delete u.str_ptr; 
    return 0; 
    // return u.str_ptr->compare("A"); 
} 

私は私が代わりにreturn文の他の方法でポインタにアクセスしようとした場合には関係していないようだと言う必要があります。例えば。 delete u.str_ptr; return 0;をreturn u.str_ptr->compare("A");に置き換えます。まだセグメント化エラーが発生します。

がケースでは、これは私はそれが労働組合でthe last member setでない限りu.str_ptrにアクセスする法的ではありませんg++ (Ubuntu 5.4.0-6ubuntu1~16.04.2) 5.4.0 20160609

Answer 1

を使用していますコンパイラ固有のものです。しかし、ユニオンで最後に設定されたメンバはbooleanです。これは、指定されていない値のイニシャライザリストが最初のメンバを設定するためです。

struct and union initializationの下にある "member lifetime"を参照してください。

Answer 2

U u{new std::string("A")};あなたは何も特別なことを言っていないので、最初のメンバーをnewの呼び出しの値で初期化します。あなたが右のメンバーを設定したい場合は、次のようにします。

U u{.str_ptr=new std::string("A")}; 

--- EDIT ---

これはgcc拡張である、標準では、労働組合がブレースで囲まれた初期化子で初期化されると言う中括弧には、共用体の最初の非静的データメンバーのinitializer-clauseのみが含まれます。。次に、標準であなただけ行うことができます。

U u; 
u.str_ptr = new std::string("A"); 

Answer 3

新によって返されたポインタは、暗黙のうちに最初のメンバー、すなわち、タイプboolの型に変換されています。 C++はこの変換を許可するのでエラーは発生しません。

// effectively what is happening. 
U u{ new std::string("A") != 0 }; 

このような組合を使用する場合は、明示的にメンバーに直接割り当てる方がよいでしょう。しかし、本当にこのようにしたい場合は、str_ptrを最初のメンバーにしてください。