variable template（变量模版）

定义

C++14引入了变量模板（variable template），它类似于函数模板，但是定义的是变量而不是函数。变量模板使得我们可以以模板的方式定义一系列不同类型的变量，从而提高代码的通用性和可重用性。

示例

下面是一个简单的例子，说明了如何使用变量模板

#include <iostream>

// 变量模板定义
template<typename T>
 T pi = T(3.1415926535897932385);

int main() {
    // 使用变量模板
    double pi_double = pi<double>;
    float pi_float = pi<float>;
    int pi_int = pi<int>;
    std::cout << "Double precision PI: " << pi_double << std::endl;
    std::cout << "Single precision PI: " << pi_float << std::endl;
    std::cout << "int precision PI: " << pi_int << std::endl;
    return 0;
}

编译运行

在这个例子中，pi是一个变量模板，用于定义不同类型的圆周率。在main函数中，我们通过在尖括号中指定类型来实例化这个变量模板，从而得到不同类型的圆周率。

在C++17之前，变量模板必须以constexpr修饰，并且要求变量类型必须能够在编译时确定。但是，从C++17开始，这个限制被放宽了，不再要求变量模板必须是constexpr。

变量模板可以用于定义一系列常量，使得代码更加通用和可重用。它们在某些情况下可以替代宏定义或constexpr函数，提供更加类型安全和灵活的解决方案。