为何全局static变量默认初始化为0，类中static成员变量却不自动初始化？

全局声明的static int counter; // 会被默认初始化为0会被自动初始化为0，但将该变量作为类的静态成员变量时，却不能自动初始化，必须在类外部完成初始化操作，示例代码如下：

class Test {
    static int counter;  // 此处仅为声明，未初始化
};
// 必须在类外部完成定义（及初始化）
Test::counter = 0; 

已知静态变量存储在BSS段中且默认初始化为0，因此疑惑：为何类中的静态成员变量不遵循此规则？

核心原因是类内部的静态成员声明不是定义，而全局的static变量是声明+定义：

1. 单定义规则（ODR）约束：C++要求程序中每个静态存储期的变量必须有且仅有一个定义。类的定义通常放在头文件中，如果允许在类内部直接定义静态成员，所有包含该头文件的源文件都会生成这个变量的定义副本，链接时会出现重复定义错误。把定义放在类外部（通常是源文件里），能保证整个程序只有一个变量实体，符合规则。
2. 存储空间分配逻辑：类本质是一种类型模板，编译器不会仅通过类内部的声明就为静态成员分配存储空间。外部的显式定义才会触发存储空间的分配——而一旦分配到BSS段，它依然会被默认初始化为0，你甚至可以只写Test::counter;（不带初始化），它一样会被默认置0，只是语法上要求必须有这个外部定义。

另外，C++17及以后引入了inline static特性，允许在类内部直接定义静态成员，无需外部初始化：

class Test {
    inline static int counter; // C++17+支持，默认初始化为0，无需外部定义
};

这是因为inline变量允许多个编译单元存在定义，链接时会自动合并为一个实体，规避了ODR冲突问题。

内容的提问来源于stack exchange，提问作者Run