类定义中的分号

Question

我正在读这个东西，这里是一个代码示例：

struct X {
  static bool f( int* p )
  {
    return p && 0[p] and not p[1:>>p[2];
  };
};

问题是：合规的编译器应产生多少错误：

我回答了一个，因为此代码等效于

struct X {
  static bool f( int* p )
  {
    return p && p[0] && ! p[1] > p[2];
  };
};

而且我在想，在静态函数定义之后加分号将是一个错误。但是萨特先生说0并解释了（除了我确实理解的事情）

函数声明的末尾允许使用“额外”分号。

我的问题是：

标准中的哪些文本允许这样做？
这仅指成员函数吗？
分号可以出现在两个成员之间还是在类定义的任何其他位置？

struct X { int a;;;;int b; //Legal? };

Answer 1

是的，在类说明符中的函数声明后明确允许使用分号。结果，当前在C ++ 0x草案中，以下内容也有效：第一个分号属于函数定义，第二个分号属于类说明符，委托给函数定义非终结符。

struct A {
  void f() = delete;;
};

但是三个分号是非法的。和具有主体的函数定义之后的两个分号一样。规范中的相应文字为处的语法9.2[class.mem]。

函数定义之后的分号已在C 03中被允许，但在函数定义后的命名空间范围内不允许使用分号。C 0x通过引入空声明来解决此问题。但是，只有当您在类主体外部使用函数定义后有分号时，这些命令才会出现。

Sutter在函数声明的末尾谈论“额外”分号，但这并不完全正确。因为以下语法无效

struct A {
  void f();; // invalid!
};

类说明符中的多余分号仅在function-definition之后有效。另外，作为检查时的检查，9.2当函数定义是模板时无效

struct A {
  template<typename T> void f() { }; // invalid!
};

这是因为它由模板声明（最终将自身最终将其余文本解析为函数定义）进行解析，而类说明符;之后没有附加的声明。