intをchar配列に入れるには、新しい配置が法的に必要ですか？

Question

C++のエイリアシング規則のために、char配列に無制限（int *）を指すことができないという合意があるようです。

この他の質問から - Generic char[] based storage and avoiding strict-aliasing related UB - プレースメントを介してストレージを（再）使用することが許可されているようです。

alignas(int) char buf[sizeof(int)]; 

void f() { 
    // turn the memory into an int: (??) from the POV of the abstract machine! 
    ::new (buf) int; // is this strictly required? (aside: it's obviously a no-op) 

    // access storage: 
    *((int*)buf) = 42; // for this discussion, just assume the cast itself yields the correct pointer value 
} 

ので、上記の法律上のC++でとは実際にそれが法的にするために必要な新しい配置のですか？

Answer 1

はい、プレースメントnewが必要です。そうでない場合、厳密なエイリアシング（割り当てはaccess）に違反します。

上記は合法ですか？ほぼ（ほぼすべての実装で動作しますが）ほぼです。キャストによって作成したポインタはオブジェクトを指していません。なぜなら、（今は破壊された）配列とintオブジェクトがpointer-interconvertibleではないからです。 std::launder((int*)buf)を使用するか、より良い方法ですが、配置newの戻り値を使用してください。

Answer 2

*((int*)buf) = 42; 

はint左辺値でintを書き込み、そのエイリアシングの問題は最初の場所ではありません。