なぜこの単純な割り当ては未定義の動作ですか？

Question

私はデフォルト-初期対値 - 初期の私の理解をリフレッシュし、this出くわした：

struct C { 
    int x; 
    int y; 
    C() { } 
}; 

int main() { 
    C c = C(); 
} 

C（の場合は理由

どうやらこれはUBである）があり、 xおよびyメンバーを初期化することができるコンストラクタです。初期化は行われません。 C（）をcにコピーしようとすると、未定義の動作が発生します。

私は理由を理解していると思いますが、私は確信していません。誰かが詳しく説明できますか？

これもUBですか？

int x; x = x; 

ちなみに、値の初期化に関しては、ゼロが保証されていますか？

int x = int(); 

Answer 1

あなたの最初の例では、デフォルトでは、コンパイラ 生成されたコピーコンストラクタがmemberwiseコピーを行いますので、int sが トラッピング値を有していてもよく、未定義の動作をしている、とトラッピング値を読み取るすることは、 プログラムがクラッシュする可能性がありますコピーします。

実際には、これは実際にこれが実際にクラッシュするとは想像できません。コンパイラ はほぼ確実にコピーアウトを最適化し、そうでない場合でも、 は、 トラップ値をチェックせずにコピーする特別なビット単位のコピーを使用します。 （C++では、 バイトをコピーできることが保証されています。）

もう1つのケースでは、未定義の動作です。この場合、 にはコピーの作成ではなく割り当てがありますが、コンパイラーは でそれを最適化する可能性は低くなります。 （最初の の例には割り当てがありません。コピーの作成のみです）

3番目の場合はyesです。空の親カテゴリを持つイニシャライザ（ ユーザ定義のデフォルトイニシャライザはそれをオーバーライドしません）は、最初にゼロ（ ）の初期化を行います（静的有効期間を持つ変数とまったく同じです）。

Answer 2

いいえ、ほとんどのコンパイラは変数の設定を最適化しますが、xの値は変更しません。次のコードと同じです。

int x = 0; 
x = 0; 

2行目は実行されません。何もしません。

Answer 3

cの値はunspecified valuesですが、これは実際にはundefined behaviorとは思われません。つまり、これらの指定されていない値を使用しない限り、プログラムの動作は明確に定義されています。それらを使用している場合、たとえばある条件で、またはそれらを印刷する場合、結果は定義されません。しかし、私はプログラムが変わったことをすることは許されていないと思う。ビルトインタイプ、これはこれもなしタイプのメンバーにまで及ぶなど、浮動小数点型の型のゼロ値、整数のすなわち0、0.0を得るために保証されている上、デフォルトのコンストラクタを使用してに関して

コンストラクタ。コンストラクタがあれば、自分でコンストラクタなしでメンバを構築する必要があります。