为什么C++ 11'auto'关键字不适用于静态成员？

Question

class Foo {
 public:
  static const char *constant_string;
};

auto Foo::constant_string = "foo";

int main(void) {
};

编译:gcc(Ubuntu/Linaro 4.6.3-1ubuntu5)4.6.3像这样:

gcc -std=c++0x ./foo.cc 
./foo.cc:6:11: error: conflicting declaration ‘auto Foo::constant_string’
./foo.cc:3:22: error: ‘Foo::constant_string’ has a previous declaration as ‘const char* Foo::constant_string’
./foo.cc:6:11: error: declaration of ‘const char* Foo::constant_string’ outside of class is not definition [-fpermissive]

这是auto关键字的预期行为,还是gcc +中的错误

Answer 1

它被语言所禁止:

[C++11: 7.1.6.4]:

¹的auto 类型说明符意味着一个变量的类型所声明应从其初始化或一个函数声明来推断应包括一个尾返回型.

²该auto 类型说明符可以用具有一个函数声明出现拖尾返回型在这样的声明符是有效的任何上下文(8.3.5).

³否则,变量的类型是从其初始化程序推导出来的.声明的变量的名称不应出现在初始化表达式中.auto在块(6.3),命名空间范围(3.3.6)和for-init-statement(6.5.3)中声明变量时,允许使用此方法.auto应显示为一个DECL-说明符在DECL说明符-SEQ和DECL说明符-SEQ应该跟随一个或多个初始化声明符,其中每一个应具有一个非空的初始值设定.

⁴ 该auto 类型说明符还可以用于在声明变量条件的选择语句(6.4)或循环语句(6.5),在类型说明符-SEQ的新型-ID或类型-ID的一个新的表达式(5.3.4)中,在用于工作范围变换声明,并在声明静态数据成员与支架-或等于初始值设定,该范围内出现构件的规范类定义的(9.4.2) .

⁵ 在本节未明确允许的上下文中使用的程序auto格式不正确.

很难证明是负面的,但auto在你的情况下,标准中根本没有明确的规则允许.

但是,相同的规则意味着以下内容有效:

struct Foo {
   static constexpr auto constant_string = "foo";
};

int main() {}

(注意,类型Foo::constant_string是,char const* const而不是,比如说char const[3]; 这是使用的效果auto.)

Answer 2

Visual C++ 接受

decltype(Foo::constant_string) Foo::constant_string = "foo";