为什么 MSVS 允许 NULL 作为纯虚函数说明符？答案

【问题标题】：why MSVS allows NULL as pure virtual function specifier?为什么 MSVS 允许 NULL 作为纯虚函数说明符？
【发布时间】：2016-01-06 08:32:01
【问题描述】：

考虑以下程序：

struct Test
{
    virtual void foo()=NULL;
};
int main()
{ }

g++ 4.8.1 给出如下预期错误：

[Error] invalid pure specifier (only '= 0' is allowed) before ';' token

Clang 给出以下错误：

error: initializer on function does not look like a pure-specifier

但是当我在 MSVS 2010 上尝试它时，它编译并运行良好。我认为 g++ & clang 在这种情况下是正确的。标准对此有何规定？我也使用 \Za 命令行选项禁用了编译器扩展，但 MSVS 仍然接受该代码。为什么它没有给出任何错误？

我还在 Online VC++ Compiler here 上尝试过，它最后一次更新是在 2015 年 7 月 8 日。这真的是 MSVS 2010 和 2015 中的错误吗？

【问题讨论】：

【解决方案1】：

根据MSDN，NULL 被定义为与0 足够接近以供MSVC++ 吞下的东西。就是这样。

尝试在该代码之前执行#undef NULL，它应该会正确中断编译。

【讨论】：

【解决方案2】：

NULL 被指定为实现定义的 C++ 空指针常量，它是一个整数常量表达式，其值为零或std::nullptr_t 类型的纯右值。因此，0、0L 或nullptr 都是NULL 的有效实现。

您的 Clang 和 GCC 版本可能将其定义为 0L 或 nullptr，而您的 MSVC 版本将其定义为 0。在这种情况下，预处理器会将NULL 替换为0，从而使您的程序结构良好。

【讨论】：

【解决方案3】：

9.2类成员部分的语法如下：

[...]
member-declarator:
 declarator virt-specifier-seqopt pure-specifieropt
[...]
pure-specifier:
  = 0
  ^^^

所以纯说明符必须是文字0。 NULL 最有可能被定义为 MSVC 的 0，但它不必定义为 0，另一种可能性是 0L，这是语法不允许的，这可能是 gcc 和 clang 使用的。

我们可以从18.2部分看到这一点：

宏 NULL 是本国际标准 194 中实现定义的 C++ 空指针常量

脚注说：

可能的定义包括 0 和 0L，但不包括 (void*)0。

4.10 部分说：

空指针常量是一个值为零的整数文字 (2.14.2)

排除(void*)0。

clang 和 MSVC accepted other integer literals 的早期版本，但看起来 clang 在最新版本中修复了这个问题。

【讨论】：