“指针来自整数/整数来自指针而不强制转换”问题

Question

int* p = 0x12345678;

类似地，这段代码给出了“initialization make integer from pointer with a cast”：

int* p = ...;
int i =  p;

如果我在变量声明的行外做同样的操作，那么消息是一样的，但说的是“赋值”而不是“初始化”：

p = 0x12345678; // "assignment makes pointer from integer without a cast"
i = p;          // "assignment makes integer from pointer without a cast"

使用其他流行编译器进行的测试也会给出错误/警告消息：

null

int* p = 0;

为什么不呢？

Answer 1

不，它不是有效的C而且从来都不是有效的C。这些例子就是所谓的违反标准的约束。

标准不允许初始化/分配一个指针给一个整数，也不允许将一个整数给一个指针。您需要用强制转换手动强制类型转换：

int* p = (int*) 0x1234;

int i = (int)p;

如果不使用强制转换，则代码不是有效的C并且不允许编译器在不显示消息的情况下让代码通过。具体地说，这是由简单转让规则C17 6.5.16.1§1规定的：

6.5.16.1简单分配

约束条件

应符合下列条件之一：

null

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

任何指针类型都可以转换为整数类型。除了前面指定的，结果是实现定义的。如果结果不能在整数类型中表示，则该行为是未定义的。结果不需要在任何整数类型的值范围内。

足部提示：