类内定义常量不能直接写const int x = 42;，因非静态const成员需在构造函数初始化列表中赋值，且非constexpr无法用于编译期上下文；应优先使用constexpr static。
类内定义常量为什么不能直接写 const int x = 42;
因为非静态数据成员不能带默认初始化（C++11 前完全不支持；C++11 起允许，但仅限于 constexpr 或字面量类型且需满足常量表达式），而普通 const 成员变量必须在构造函数初始化列表中赋值，无法在类定义里“直接定死”。你写 const int x = 42; 看似简洁，实际会触发编译错误：error: uninitialized const member 或更明确的 error: member 'x' must be initialized by a mem-initializer。
- 它不是编译期常量（
constexpr），不能用在需要常量表达式的地方（比如数组大小、模板非类型参数） - 每个对象都有一份副本，浪费空间，也不符合“类级别常量”的语义
- 不能取地址（除非显式定义在类外），导致调试或反射场景受限
static const 必须在类外定义吗？
取决于类型和使用方式。对于整型、枚举等字面量常量类型，如果只用于编译期上下文（如 int arr[MyClass::N];），C++11 起可省略类外定义，前提是声明时加 constexpr；否则，只要该常量被**ODR-used**（例如取地址、传引用、用于非模板/非 constexpr 上下文），就必须在类外提供定义。
- 只声明不定义 → 编译通过，但链接时报错：
undefined reference to 'MyClass::N' - 加
constexpr static const int N = 10;→ 类内即完整定义，无需类外重复，且能用于模板参数 - 仅
static const int N = 10;（无constexpr）→ 类内是声明，类外仍需const int MyClass::N;定义（即使不赋值，因为已有默认值）
constexpr static 和 static const 的关键区别
核心在于是否参与常量表达式计算。现代 C++ 推荐优先用 constexpr static，它既是编译期常量，又自动满足 ODR-use 规则，还支持用户自定义类型（只要满足 constexpr 构造要求）。
-
constexpr static int X = 42;：可在switch分支、模板实参、std::array大小中直接使用 -
static const int X = 42;：只能当运行时常量用；若未在类外定义，取地址（&MyClass::X）会链接失败 -
static constexpr std::string_view name = "abc";：合法（C++17 起），但static const std::string不行——后者不是字面量类型，也不能constexpr
模板类里的静态常量怎么写才不出错？
模板类中所有静态成员本质都是“每个实例化版本一份”，所以必须确保声明和定义逻辑对齐。最稳妥的方式是统一用 constexpr static，并在类内完成定义。
立即学习“C++免费学习笔记（深入）”；
- 错误写法：
template<typename t> struct A { static const int N = 42; }; template<typename t> const int A<t>::N;</t></typename></typename>→ 每个A<int></int>、A<double></double>都要单独定义，极易遗漏 - 正确写法：
template<typename t> struct A { static constexpr int N = 42; };</typename>→ 一行搞定，每个特化自动拥有自己的N，且无链接问题 - 若需非常量表达式值（比如运行时计算的固定值），可用
inline static（C++17）：inline static int M = compute_at_runtime();，保证只初始化一次
constexpr static，一旦在函数体内对它取地址并传给非 constexpr 函数，就可能意外触发 ODR-use —— 此时编译器不会报错，但链接器会找不着符号，尤其在分离编译（.h + .cpp）时特别隐蔽。 
