C ++ 20までのint未定義の動作にmallocを使用しています

次のコードはC ++ 20まで未定義の動作をしていると言われました。

int *p = (int*)malloc(sizeof(int));
*p = 10;

本当？

引数は、intオブジェクトに値を割り当てる前にオブジェクトの存続期間が開始されないというものでした（P0593R6）。問題を解決するには、配置newを使用する必要があります。

int *p = (int*)malloc(sizeof(int));
new (p) int;
*p = 10;

オブジェクトの存続期間を開始するために、簡単なデフォルトのコンストラクターを呼び出す必要が本当にありますか？

同時に、コードは純粋なCで未定義の動作をしません。しかし、intCコードでを割り当て、それをC ++コードで使用するとどうなりますか？

// C source code:
int *alloc_int(void)
{
    int *p = (int*)malloc(sizeof(int));
    *p = 10;
    return p;
}

// C++ source code:
extern "C" int *alloc_int(void);

auto p = alloc_int();
*p = 20;

それはまだ未定義の振る舞いですか？

それは本当ですか？

はい。技術的に言えば、次の部分はありません。

int *p = (int*)malloc(sizeof(int));

実際には型のオブジェクトを作成するintのでp、実際intには存在しないため、逆参照はUBです。

オブジェクトの存続期間を開始するために、簡単なデフォルトのコンストラクターを呼び出す必要が本当にありますか？

C ++ 20より前の未定義の動作を回避するために、C ++オブジェクトモデルごとに行う必要がありますか？はい。これを行わないと、コンパイラは実際に害を及ぼしますか？私が知っていることではありません。

[...]それはまだ未定義の振る舞いですか？

はい。C ++ 20より前では、まだ実際にintはどこにもオブジェクトを作成していなかったので、これはUBです。

はい、UBでした。int缶が存在できる方法のリストが列挙されており、mallocが因果関係があると考えない限り、そこには適用されません。

これは標準の欠陥と広く見なされていましたが、UBの特定のビットを中心にC ++コンパイラによって行われた最適化はそのユースケースで問題を引き起こさなかったため、重要性は低くなりました。

2番目の質問に関しては、C ++はC ++とCがどのように相互作用するかを義務付けていません。したがって、Cとのすべての相互作用は... UB、別名C ++標準で定義されていない動作です。