变量模板是C++14引入的类型参数化常量，语法为template<typename T> constexpr T name = expr;，支持特化、取地址和非类型模板参数，比宏和constexpr函数更安全高效。
变量模板是 C++14 引入的最直接、最安全的泛型常量定义方式——它不是宏，不是函数，就是一个真正意义上的「类型参数化的变量」。
怎么写一个基础的 constexpr 变量模板
核心就是 template<typename T> + constexpr + 类型明确的初始化表达式。编译器据此在实例化时生成对应类型的常量对象。
- 必须用
constexpr（或至少const），否则无法参与常量表达式，也失去编译期求值意义 - 初始化值需能隐式转换为
T，比如T(3.14159)比裸写3.14159更稳妥，避免float实例化时被截断为double字面量 - 不能省略模板参数列表；
template<>是特化语法，不是定义语法
template<typename T> constexpr T pi = static_cast<T>(3.14159265358979323846);
之后可直接写 pi<float>、pi<long double>，无需 :: 或 ()。
为什么不能用宏或 constexpr 函数代替
宏没有类型、不进命名空间、无法 SFINAE；constexpr 函数虽能工作，但语义上它是「调用」，而常量本不该有调用开销或栈帧概念。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 宏：
#define PI 3.14159→ 所有地方都展开为double，float pi_f = PI;隐式降精度，且无类型检查 - constexpr 函数：
template<typename T> constexpr T get_pi() { return T(3.14159); }→ 每次使用都要加()，编译器可能仍保留函数符号（即使内联），且无法用于非类型模板参数上下文（如std::array<int, get_pi<int>()>合法，但直觉上反常） - 变量模板：
pi<float>就是变量名，支持取地址（&pi<float>）、可用于非类型模板参数、能参与 ADL
如何对特定类型做全特化
当某类型需要完全不同的值（比如 const char* 返回字符串字面量，或 int 用精确最大值），就用全特化。注意：特化必须在变量模板定义之后、首次使用之前声明，且不能重复定义。
- 特化写法是
template<> constexpr T pi<T> = ...，其中T必须是具体类型 - 不能对引用、cv 限定类型（如
const int）特化，只能对顶层类型（int）特化 - 如果原模板是
constexpr，特化也必须是constexpr，否则链接失败
template<> constexpr const char* pi<const char*> = "3.14159"; template<> constexpr int pi<int> = 3;
容易踩的坑：static_assert 和 ODR 违规
变量模板本身不违反一次定义规则（ODR），但特化若在多个 TU 中定义（未加 inline 或未放在头文件中正确组织），会触发 LNK2005 或类似错误。
- C++17 起推荐给变量模板加
inline（尤其非constexpr的），C++14 中则必须确保特化只在一个 TU 中定义，或全部放进头文件并依赖 include guard -
static_assert(pi<float> > 3.14f, "...")是合法的，但static_assert(pi<auto_ptr<int>> == 0, "...")会失败——因为auto_ptr不支持隐式构造，初始化表达式不成立 - 别试图偏特化变量模板（如
template<typename T> constexpr T pi<T*>），C++ 标准禁止变量模板偏特化
真正麻烦的不是语法，而是特化时机和链接模型——很多问题直到链接阶段才暴露，而且错误信息往往不指向变量模板本身。
