编辑“︁C++14 变量模板”︁

{{DISPLAYTITLE:C++14变量模板}}

'''变量模板'''（Variable Templates）是C++14引入的一项重要特性，它允许程序员定义模板化的变量，从而简化泛型编程中的常量表达。本文将详细介绍变量模板的概念、语法、应用场景及实际示例。

== 概述 ==
在C++14之前，若需要在模板中定义常量，通常需使用类模板的静态成员或函数模板返回常量值。变量模板的引入使得这一过程更加直观和简洁。变量模板允许直接定义模板化的变量，其类型和值均可参数化。

变量模板的语法如下：
<syntaxhighlight lang="cpp">
template<typename T>
constexpr T variable_name = value;
</syntaxhighlight>

其中：
* <code>template<typename T></code> 声明模板参数。
* <code>constexpr</code> 表示变量是编译时常量（可选，但常用于常量表达式）。
* <code>T</code> 是模板参数类型。
* <code>variable_name</code> 是变量名。
* <code>value</code> 是变量的初始值。

== 基本示例 ==
以下是一个简单的变量模板示例，定义了一个表示圆周率的变量模板：
<syntaxhighlight lang="cpp">
#include <iostream>
#include <cmath>

template<typename T>
constexpr T pi = T(3.1415926535897932385L);

int main() {
    std::cout << "float pi: " << pi<float> << std::endl;
    std::cout << "double pi: " << pi<double> << std::endl;
    std::cout << "long double pi: " << pi<long double> << std::endl;
    return 0;
}
</syntaxhighlight>

输出：
<pre>
float pi: 3.14159
double pi: 3.14159
long double pi: 3.14159
</pre>

解释：
* <code>pi<float></code>、<code>pi<double></code> 和 <code>pi<long double></code> 分别实例化了不同精度的圆周率值。
* 由于使用了 <code>constexpr</code>，这些值在编译时确定。

== 变量模板与函数模板对比 ==
在C++14之前，实现类似功能通常需使用函数模板：
<syntaxhighlight lang="cpp">
template<typename T>
constexpr T get_pi() {
    return T(3.1415926535897932385L);
}
</syntaxhighlight>

变量模板的优势在于：
1. 语法更简洁，无需通过函数调用获取值。
2. 更适合用于需要全局常量的场景。

== 实际应用场景 ==
变量模板在泛型编程中非常有用，以下是几个典型应用场景：

=== 1. 数学常量 ===
定义通用的数学常量（如自然对数底e）：
<syntaxhighlight lang="cpp">
template<typename T>
constexpr T e = T(2.7182818284590452353L);
</syntaxhighlight>

=== 2. 单位转换系数 ===
定义单位转换系数（如弧度与角度转换）：
<syntaxhighlight lang="cpp">
template<typename T>
constexpr T degrees_to_radians = pi<T> / T(180.0);
</syntaxhighlight>

=== 3. 类型相关的配置参数 ===
定义与类型相关的配置参数（如默认容差）：
<syntaxhighlight lang="cpp">
template<typename T>
constexpr T default_tolerance = T(1e-6);
</syntaxhighlight>

== 高级用法 ==
变量模板可以与其他C++特性结合使用，例如：

=== 1. 变量模板的部分特化 ===
可以对变量模板进行部分特化，以适应特定类型：
<syntaxhighlight lang="cpp">
template<typename T>
constexpr T max_value = T();

template<>
constexpr int max_value<int> = INT_MAX;

template<>
constexpr double max_value<double> = DBL_MAX;
</syntaxhighlight>

=== 2. 变量模板与SFINAE ===
结合SFINAE（Substitution Failure Is Not An Error）限制模板实例化：
<syntaxhighlight lang="cpp">
#include <type_traits>

template<typename T, typename = std::enable_if_t<std::is_integral_v<T>>>
constexpr T zero = T(0);
</syntaxhighlight>

== 注意事项 ==
1. 变量模板通常应声明为 <code>constexpr</code> 或 <code>inline</code>（C++17起支持）以避免重复定义问题。
2. 变量模板的初始化表达式必须是常量表达式（若使用 <code>constexpr</code>）。
3. 变量模板不能用于非静态成员变量。

== 总结 ==
变量模板是C++14中一项强大的特性，它简化了泛型编程中常量的定义和使用。通过变量模板，可以更直观地表达类型相关的常量值，并与其他模板特性结合实现更灵活的代码设计。

{{C++14特性导航}}

[[Category:编程语言]]
[[Category:C++]]
[[Category:C++141720 特性]]