C++ 11中的纯虚函数

Question

在C++ 98中,空指针由文字表示0(或实际上是值为零的任何常量表达式).在C++ 11中,我们更喜欢nullptr.但这对纯虚函数不起作用:

struct X
{
    virtual void foo() = nullptr;
};

为什么这不起作用？这不是很有意义吗？这只是一个疏忽吗？它会被修复吗？

Answer 1

因为语法说0,不是表达式或其他一些非终端匹配nullptr.

0一直只有工作.即使0L是不正确的,因为它与语法不匹配.

编辑

铛允许= 0x0,= 0b0和= 00(2013年12月31日).这是不正确的,当然应该在编译器中修复.

Answer 2

函数的= 0符号virtual并非字面上的"赋值为空",而是一种实际上具有欺骗性的特殊符号:也可以实现纯虚函数.

使用各种上下文关键字,允许abstract而不是= nullptr并且abstract成为上下文关键字会更有意义.

Answer 3

这就是如何定义语法,如果我们查看草案C++标准部分的9.2 Class成员,相关的语法如下:

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

语法特别指出pure-specifier是= 0而不是整数文字或表达式,似乎没有留下任何摆动空间.如果我尝试这样的事情:

virtual void foo() = 0L;

要么:

virtual void foo() = NULL ;

gcc 告诉我:

错误:在';'之前无效的纯说明符(仅允许'= 0')代币

并clang说:

错误:函数初始化器看起来不像纯粹的说明符

虽然以下两者都有效:

#define bar 0
//...
virtual void foo() = bar;

它似乎也clang允许八进制文字,十六进制文字和二进制文字零,这是不正确的行为.

更新

显然Visual Studio接受NULL任何零整数文字包括0L,0x0,00等......虽然它不接受nullptr.

Answer 4

= 0那里有一个固定的含义.那里并不是真正的整数零.因此,您不能简单地替换它.

Answer 5

nullptr无论如何(或大多数点)的全部要点是只能分配给(或用于初始化)指针.

在这种情况下,您没有初始化或分配指针,因此在这种情况下您可以使用它甚至没有意义.

Answer 6

所述= 0语法不使用初始化一个指针,它只是在句法指示提供virtual是纯的.

因此= 0,声明纯virtuals 的语法不变.