在 C++ 中将指针变量分配给 const int？

Question

我想知道是否有人可以向我解释以下内容：如果我写，

int i = 0;
float* pf = i;

我会收到编译错误（gcc 4.2.1）：

error: invalid conversion from ‘int’ to ‘float*’

有道理 - 它们显然是两种完全不同的类型。但如果我写

const int i = 0;
float* pf = i;

它编译没有错误。为什么“const”在赋值的右侧会产生影响？ “const”关键字的想法不就是能够对常量值强制类型约束吗？

我能想到的任何解释都感觉有点虚假。 事实

const int i = 1;
float* pf = i;

而且我的解释都没有解释无法编译的 。有人能提供解释吗？

Answer 1

您的第二个示例恰好包含在 §4.10/1 (C++03) 中指定的转换规则中：

空指针常量是整数类型的整型常量表达式 (5.19) 右值，其计算结果为零。空指针常量可以转换为指针类型；结果是该类型的空指针值，并且可以与指向对象的指针或指向函数类型的指针的所有其他值区分开。