C++11前非静态非const成员类内初始化为何违反ODR？

要搞懂这个问题，得拆明白两个核心点：ODR的约束本质，以及类内初始化在多翻译单元场景下的冲突。

1. ODR的核心要求 #

ODR（单一定义规则）的关键是：任何需要占用内存存储的实体，在整个程序中只能有一个定义。非静态非const类成员属于这类实体——它们是每个类对象的内存组成部分，实实在在占用存储空间。

2. 类定义的常规使用场景 #

C++里类的定义一般放在头文件中，会被多个.cpp文件（翻译单元）包含。比如你写了header.h存类定义，a.cpp和b.cpp都#include了这个头文件，那这两个翻译单元都会持有一份类定义的副本。

3. 假设允许类内初始化的冲突场景 #

如果C++11前允许非静态非const成员类内初始化，比如：

// header.h
class Bar {
    int val = 100; // 假设C++03允许这种写法
};

每个包含header.h的翻译单元，都会看到val = 100这个初始化语句。问题在于：这个初始化操作会被每个翻译单元当成val的「定义性初始化」——相当于每个翻译单元都生成了一段给val赋值100的代码。

而按照ODR，val作为有存储的实体，它的初始化逻辑只能有一个定义。现在多个翻译单元都有这份初始化代码，就等于同一个实体有了多个定义，直接违反了ODR。

4. C++11前的合法解决方式 #

在C++11之前，正确的做法是把成员初始化放在类外的构造函数里：

// header.h
class Bar {
    int val;
public:
    Bar();
};

// bar.cpp
#include "header.h"
Bar::Bar() : val(100) {}

这样初始化逻辑只存在于bar.cpp这一个翻译单元里，整个程序中val的初始化只有一个定义，完全符合ODR。

5. 为什么静态const成员可以例外？ #

C++11前允许静态const成员类内初始化，是因为这类成员通常被视为编译期常量，编译器可以直接把它们的值嵌入到代码中，不需要分配实际的内存存储（除非你取了它的地址）。既然没有需要存储的实体，自然不会触发ODR的约束。

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