为什么需要在初始化时指定extern / static变量的类型？

Question

我不明白在初始化时需要指定extern / static变量的类型。 例如：

struct Test{
 static int i;
};
 Test::i = 2; //error
 int Test::i = 2; //ok

编译器不知道我是int类型吗？ 它只是编译器的特殊性，或者为什么类型的规范，int“需要？

Answer 1

我不明白在初始化时需要指定extern / static变量的类型。

因为语言设计者选择对变量声明和定义使用相同的语法。 该语法包括类型名称。 你是对的，在某些情况下，这个类型名称是多余的。 但是允许你把它遗漏可能有点令人困惑：它看起来像是一个任务，而不是一个定义。

编译器不知道我是int类型吗？

仅在已声明变量的情况下。 对于像这样的静态成员，情况必须如此，但不一定是全局变量。 您可以在一个源文件中声明它：

extern int i;

并在另一个中定义它

int i = 42;

没有使声明可用于定义。

Answer 2

这是基本语法的问题。

C ++文件由一系列声明组成。 变量声明的基本语法如下：

type identifier initializer _opt ;

我遗漏了很多细节，但这是基本的想法：文件范围内的内容必须是声明，变量声明必须以类型名称开头。

如果没有开头类型的名称，那么您将拥有一个简单的赋值语句 - 但这些语句只允许在函数内部，而不是在文件范围内，因为您已尝试在此处执行此操作。

Answer 3

这种“限制”可以简化为简单的语法：声明

Test::i = 2; //error

是一个由赋值表达式组成的表达式语句。 这实际上从未被解析为声明，无论Test::i是什么实体，并且调整语法来覆盖它将是非常复杂的并且没有任何好处。

Answer 4

下面是如果该整数的定义并没有指定的类型，将成为暧昧的有效的，可运行的代码示例N::X::i ，给出了使用本无歧义的struct是可能的结构，但没有什么相当于对力int X::i定义不匹配您提出的语法下的struct 。

#include <iostream>

namespace N
{
  struct X
  {
    static int i;
    struct i { int n_; };
  };
}

int n = 2;

namespace N
{
  int X::i (n);   // take int out and under current C++ rules
                  // it will be equivalent to the next line
                  // (which is equivalent to struct X::i n; btw)
  struct X::i (n); // but under your proposed rules, ambiguous
}

int main()
{
    std::cout << N::n.n_ << ' ' << N::X::i << '\n';
}

这有点令人费解，但最重要的是：没有提到的类型可能会破坏东西。

其他答案基本上与在其他情况下出现的变量定义的一致性 - 这是可取的但不是一个合理的技术驱动因素来决定问题中提出的简化。 当然，它可能不足以简化，或者可能被视为更多的混淆，从而阻止它被认真考虑用于标准化。