C++14变量模板variable templates怎么定义泛型常量-C++-PHP中文网

变量模板是c++14引入的类型参数化常量，语法为template constexpr t name = expr;，支持特化、取地址和非类型模板参数，比宏和constexpr函数更安全高效。

c++14变量模板variable templates怎么定义泛型常量

变量模板是 C++14 引入的最直接、最安全的泛型常量定义方式——它不是宏，不是函数，就是一个真正意义上的「类型参数化的变量」。

核心就是 template<typename t></typename> + constexpr + 类型明确的初始化表达式。编译器据此在实例化时生成对应类型的常量对象。

必须用 constexpr（或至少 const），否则无法参与常量表达式，也失去编译期求值意义
初始化值需能隐式转换为 T，比如 T(3.14159) 比裸写 3.14159 更稳妥，避免 float 实例化时被截断为 double 字面量
不能省略模板参数列表；template 是特化语法，不是定义语法

template<typename t>
constexpr T pi = static_cast<t>(3.14159265358979323846);
</t></typename>

之后可直接写 pi<float></float>、pi<long double></long>，无需 :: 或 ()。

宏没有类型、不进命名空间、无法 SFINAE；constexpr 函数虽能工作，但语义上它是「调用」，而常量本不该有调用开销或栈帧概念。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

宏：#define PI 3.14159 → 所有地方都展开为 double，float pi_f = PI; 隐式降精度，且无类型检查
constexpr 函数：template<typename t> constexpr T get_pi() { return T(3.14159); }</typename> → 每次使用都要加 ()，编译器可能仍保留函数符号（即使内联），且无法用于非类型模板参数上下文（如 std::array<int get_pi>()></int> 合法，但直觉上反常）
变量模板：pi<float></float> 就是变量名，支持取地址（&pi<float></float>）、可用于非类型模板参数、能参与 ADL

当某类型需要完全不同的值（比如 const char* 返回字符串字面量，或 int 用精确最大值），就用全特化。注意：特化必须在变量模板定义之后、首次使用之前声明，且不能重复定义。

template constexpr const char* pi<const char> = "3.14159";
template constexpr int pi<int> = 3;
</int></const>

变量模板本身不违反一次定义规则（ODR），但特化若在多个 TU 中定义（未加 inline 或未放在头文件中正确组织），会触发 LNK2005 或类似错误。

C++17 起推荐给变量模板加 inline（尤其非 constexpr 的），C++14 中则必须确保特化只在一个 TU 中定义，或全部放进头文件并依赖 include guard
static_assert(pi<float> > 3.14f, "...")</float> 是合法的，但 static_assert(pi<auto_ptr>> == 0, "...")</auto_ptr> 会失败——因为 auto_ptr 不支持隐式构造，初始化表达式不成立
别试图偏特化变量模板（如 template<typename t> constexpr T pi<t></t></typename>），C++ 标准禁止变量模板偏特化

真正麻烦的不是语法，而是特化时机和链接模型——很多问题直到链接阶段才暴露，而且错误信息往往不指向变量模板本身。