c++ - 当类内成员初始化是强制性的

Question

什么时候类内成员初始化是严格强制的？

类内成员初始化的规则很复杂，我们可以通过对非静态成员使用 Ctor 初始化列表并在类外定义静态成员来避免这种情况。恕我直言，这也将声明和定义分开。

Answer 1

如果静态常量成员在需要常量表达式的上下文中在类中使用，则它必须具有初始化程序。例如，

struct S {
  static const int N = 4;
  int arr[N]; // okay
};

const int S::N;

struct T {
  static const int N;
  int arr[N]; // error
};

const int T::N = 4;