メモリを上書きするためにダブルポインタがint変数を指しています

Question

コードを直接記述します。

#include <stdio.h> 
struct A 
{ 
    int a; 
    int b; 
}; 
int main() 
{ 
    struct A test; 
    double *p = (double *)&(test.a); 
    *p = 5; 

    printf("variable a: %d\n", &test.a); 
    printf("variable b: %d\n", &test.b); 
    return 0; 
} 

私はcentos7でこのコードを実行すると、コンパイラはgcc4.8.5ある.AND私のコンピュータは、店にはほとんどエンディングを使用しています。ご覧のとおり

、変数bのメモリが上書きされます、私はaが0x0000 0005で、bが0x0000 0000であると予想しました。

しかし、答えは次のとおりです。

variable a: 0 
variable b: 1075052544 

変数aが0x 0000 0000で、bが0x4014 0000あるのはなぜ？

Answer 1

コードの動作はで、定義されていませんです。

doubleタイプではないアドレスに一度設定すると、pを参照解除することはできません。

コンパイラがこの入力で行ったことを確認するには、生成されたアセンブリをチェックします。

Answer 2

コードの動作は未定義です。

source_file.c:13:20: warning: format specifies type 'int' but the argument has type 'int *' [-Wformat] 
    printf("%d\n", &test.a); 
      ~~  ^~~~~~~ 
source_file.c:14:20: warning: format specifies type 'int' but the argument has type 'int *' [-Wformat] 
    printf("%d\n", &test.b); 
      ~~  ^~~~~~~