C 11向后兼容性(将整数常数转换为指针)

C标准允许将零整数常量隐式转换为任何类型的指针.

以下代码无效,因为值v在此不是常数:

float* foo()
{
    int v = 0;
    return v;    // Error
}

但以下代码是正确的:

float* foo()
{
    const int v = 0;
    return v;    // Ok in C++98 mode,error in C++11 mode
}

问题是:为什么gcc和clang(尝试不同的版本)在c 98/03模式下正确编译代码,但是在c 11/14模式(-std = c 11)中编译时返回警告/错误?我试图找到C11工作草案的变化,但没有成功.

英特尔编译器16.0和VS2015编译器在这两种情况下都不显示任何错误和警告.

解决方法

GCC和Clang的行为与-std = c 11不同,因为C 11改变了空指针常量的定义,然后C 14再次改变了它,参见Core DR 903,它改变了C 14中的规则,这样只有文字是空指针常量.

在C 03 4.10 [conv.ptr]说:

A null pointer constant is an integral constant expression (5.19) rvalue of integer type that evaluates to zero.

这允许各种表达式,只要它们是恒定的,并且评估为零.枚举,虚假,(5 – 5)等等…这在C 03代码中引起了很多问题.

在C 11中说:

A null pointer constant is an integral constant expression (5.19) prvalue of integer type that evaluates to zero or a prvalue of type std::nullptr_t.

而在C 14中,它说:

A null pointer constant is an integer literal (2.14.2) with value zero or a prvalue of type std::nullptr_t.

这是一个更加限制性的规则,更有意义.

相关文章

/** C+⬑ * 默认成员函数 原来C++类中,有6个默认成员函数: 构造函数 析构函数 拷贝...
#pragma once // 1. 设计一个不能被拷贝的类/* 解析:拷贝只会放生在两个场景中:拷贝构造函数以及赋值运...
C类型转换 C语言:显式和隐式类型转换 隐式类型转化:编译器在编译阶段自动进行,能转就转,不能转就编译...
//异常的概念/*抛出异常后必须要捕获,否则终止程序(到最外层后会交给main管理,main的行为就是终止) try...
#pragma once /*Smart pointer 智能指针;灵巧指针 智能指针三大件//1.RAII//2.像指针一样使用//3.拷贝问...
目录<future>future模板类成员函数:promise类promise的使用例程:packaged_task模板类例程...