c++ - C++ 标准到底在哪里说取消引用未初始化的指针是未定义的行为？

Question

到目前为止，我找不到如何推断出以下内容:

int* ptr;
*ptr = 0;

是未定义的行为。

首先，5.3.1/1 指出 * 表示将 T* 转换为 T 的间接寻址。但这并没有说明任何关于 UB 的事情。

然后经常引用 3.7.3.2/4 说在非空指针上使用释放函数会使指针无效，以后使用无效指针是 UB。但是在上面的代码中没有任何关于释放的内容。

UB如何在上面的代码中推导出来？

Answer 1

第 4.1 节看起来像一个候选(强调我的):

An lvalue (3.10) of a non-function, non-array type T can be converted to an rvalue. If T is an incomplete type, a program that necessitates this conversion is ill-formed. If the object to which the lvalue refers is not an object of type T and is not an object of a type derived from T, or if the object is uninitialized, a program that necessitates this conversion has undefined behavior. If T is a non-class type, the type of the rvalue is the cv-unqualified version of T. Otherwise, the type of the rvalue is T.

我敢肯定，只需在规范中搜索“uninitial”就能找到更多候选人。