将整数转换为指针是否总是定义良好？

Question

int main() {
    int *p;
    p = reinterpret_cast<int*>(42);
}

查找C++标准，我们有

C++17§6.9.2/3[碱化合物]

3指针类型的每个值都是下列值之一：

null

C++标准似乎没有更多地说明整数到指针的转换。查阅C17标准：

C17§6.3.2.3/5（强调地雷）

整数可以转换为任何指针类型。除了前面指定的，结果是实现定义的，可能没有正确对齐，可能没有指向引用类型的实体，并且可能是一个陷阱表示。68）

对我来说，似乎任何不适合[basic.compated]中列表的值都是陷阱表示，因此p=reexpert_cast (42)； 是ub。我说得对吗？是否还有其他原因使得p=reexpert_cast (42)； 未定义？

Answer 1

这不是UB，而是由实现定义的，您已经引用了原因(§8.2.10/5[expr.reinterpret.cast])。如果指针具有无效的指针值，并不一定意味着它具有陷阱表示形式。它可以有一个陷阱表示，编译器必须记录这一点。这里只有一个不安全派生的指针。

请注意，我们总是生成指针值无效的指针：如果一个对象被delete释放，那么指向该对象的所有指针都具有无效的指针值。

使用结果指针也定义了实现（不是UB）：