类模板与变量模板实现C++类型特性：客观选择依据探讨

两种实现示例 #

Pre-C++14 结构体模板写法 #

struct A {};

template <typename T> struct is_A : std::false_type {};
template <typename T> struct is_A<A<T>> : std::true_type {};

C++14+ 变量模板写法 #

struct A {};

template <typename T> constexpr bool is_A = false;
template <typename T> constexpr bool is_A<A<T>> = true;

二者的客观差异（除简洁性外） #

两种实现并非完全等价，以下是偏好某一种的客观理由：

• 兼容性要求：结构体模板兼容C11及更早版本，而变量模板是C14才引入的特性。如果需要支持旧编译器或遗留代码场景，必须选择结构体形式。
• 扩展能力差异：结构体模板可以附带额外的类型或成员。比如继承std::integral_constant后，天然拥有type（对应std::bool_constant<value>）成员，后续还能添加自定义的typedef、constexpr函数等；而变量模板本质只是一个编译期常量值，无法附加任何额外的类型或成员信息。
• 元编程适配性：传统元编程工具（如std::enable_if、std::conditional）多基于类型操作。结构体模板的特化是类型层面的特化，能直接适配这类工具；变量模板如果要参与类型层面的元编程，必须额外包装成std::bool_constant<is_A<T>>才能使用，增加了冗余代码。
• 复杂特化灵活性：结构体模板在处理嵌套模板、非类型模板参数特化、多特性组合（如继承多个特性结构体）时更灵活。比如可以通过继承多个std::integral_constant派生的结构体，组合出复合特性；变量模板无法实现继承或组合式的扩展。
• 编译错误排查：在复杂元编程场景下，结构体模板的编译错误信息通常更清晰——编译器会明确提示结构体特化的匹配情况；而变量模板的错误往往直接指向值的不匹配，排查问题的成本更高。

标准库中的选择逻辑 #

• <type_traits>中的老特性保留结构体形式，是为了向后兼容旧标准，同时这类特性大多需要附带type成员以支持更广泛的元编程场景。
• 像borrowed_range<T>这类较新的特性采用变量模板，是因为它们仅需提供一个编译期布尔值，且新标准默认基于C++14+环境，无需考虑旧兼容性，简洁性成为优先选择。

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