int main() {
const int x = 0;
int* y = x; // line 3
int* z = x+x; // line 4
}
标准(C11§4.10/ 1)
A null pointer constant is an integral constant expression (5.19) prvalue of integer type that evaluates to
zero or a prvalue of typestd::nullptr_t. A null pointer constant can be converted to a pointer type; …
有四种可能性：
>第4行正常,但第3行没有.这是因为x和x x都是常量表达式,其值为0,但只有x x是prvalue.似乎gcc采用了这种解释(live demo)
>第3行和第4行都可以.虽然x是左值,但是应用了左值到右值的转换,使得prvalue常量表达式等于0.我的系统上的clang(clang-3.0)接受第3行和第4行.
>第3行和第4行都不正常.两条线上的clang-3.4错误(live demo).
>第3行没问题,但第4行没有. (包括为了完整性,即使我尝试的编译器没有表现出这种行为.)
谁是对的？是否取决于我们正在考虑的标准版本？
解决方法
A null pointer constant is an integer literal (2.14.2) with value zero or a prvalue of type
std::nullptr_t.
问题903涉及一个奇怪的角落情况,在模板参数是(可能是0)整数常量的某些情况下,不可能产生“正确的”重载分辨率.
显然考虑了一些可能的决议,但是
There was a strong consensus among the CWG that only the literal 0 should be considered a null pointer constant,not any arbitrary zero-valued constant expression as is currently specified.
所以,是的,这取决于编译器是否已经实现了DR 903的分辨率.
