C++14 变量模板

定义

• 变量模板定义一族变量或者类静态数据成员。

template < parameter-list > variable-declaration

定义举例

• 定义一族变量

template<class T>
constexpr T pi = T(3.1415926);

• 定义一族类静态数据成员

using namespace std::literals;
struct matrix_constants
{
    template<class T>
    using pauli = hermitian_matrix<T, 2>;
 
    template<class T> 
    static constexpr pauli<T> sigmaX = { { 0, 1 }, { 1, 0 } }; 
};

// 当然也可以在类外定义
struct limits {
    template<typename T>
    static const T min; 
};
template<typename T>
const T limits::min = {};

使用

• 指明类型

std::cout << pi<int>;

• 变量模板可以有默认模板实参

template<class T = double>
constexpr T pi = T(3.1415926);
std::cout << pi<>;
std::cout << pi<float>;

• 变量模板可以用非类型参数进行参数化

template<int N>
std::array<int, N> arr{};

• 变量模板可以通过处于命名空间作用域的模板引入

template<class T>
T circular_area(T r) 
{
    return pi<T> * r * r; 
}

• 在C++14引入变量模板前，参数化变量通常实现为类模板的静态数据成员或者constexpr函数模板

参考

• cppreference-variable template