C++基础::变量模板(variable template)

既然允许C++模板类(class template)的存在,允许C++函数模板(function template)的存在,也应当允许变量模板(variable template)的存在。

引入

变量模板,标准C++14(C++11是C++14的一个subset子集,)的一个新的语法特性。C++新标准引入变量模板的主要目的是为了简化定义(simplify definitions)以及对模板化常量(parameterized constant)的支持

C++14之前的语法规则不允许使用模板声明的方式声明一个变量

template<typename T>
T var;              // not allowed in pre-C++14
var<int> = 5;           // == (int var = 5;)

它足够新,以至于相当多的编译器还未完全支持,比如windows下的vs2013。本文涉及的代码统一在C++的一个在线ide——ideone中进行编译(选择这个编译器的目的主要在于它对C++14标准的支持)。


这里写图片描述
在线编译器c++标准可选

条条大陆通罗马,此路不通(C++14标准之前),我们虽然有一些另外的替代方案,但这些方案,往往冗余度过高且形式比较复杂。

workaround 1

第一种替代方案是,使用类模板的constexpr static数据成员的方式:

template<typename T>
struct PI
{
    constexpr static T pi = T(3.1415926535897932385);
    // 这里必须使用关键字constexpr,而不可以是const
    // const 常量必须在编译器得到确定
    // 自C++11起,constexpr可以让表达式核定于编译期
}

// duplicate declaration
template<typename T>
constexpr T PI<T>::pi;

int main(int, char**)
{   
    std::cout << PI<int>::pi << std::endl;  
                                        // 3
    std::cout << PI<double>::pi << std::endl;   
                                        // 3.14159
    return 0;
}

这种做法,因为constant是一种ODR(One Definition Rule)的定义规则。对constant的两次声明是有必要的,一次在类模板体内,一次在类模板体外,如上代码所示。

workaround 2

另外一种解决方案是使用constexpr函数模板的形式,该函数返回期待的类型。

template<typename T>
T PI()
{
    constexpr T pi = T(3.1415926535897932385);
    return pi;
}

int main(int, char**)
{
    std::cout << PI<int>() << std::endl;
    std::cout << PI<double>() << std::endl;
    return 0;
}

variable template

现在,有了C++新标准对变量模板的支持,操纵一个可变类型的常量可以得到显著的简化,

// old version
PI<int>::pi     // constexpr static data member
PI<int>()       // constexpr function

// new version
PI<int>
template<typename T>
constexpr T PI = T(3.1415926535897932385);
template<typename T>
T area(T r)
{
    return PI<T>*r*r;
}

int main(int, char**)
{
    std::cout << PI<int> << std::endl;
    std::cout << area(2.0) << std::endl;    
                // 函数模板的自动类型推导
    return 0;
}

当然我们亦可以将变量模板应用到一个非常量变量上来;

tempalte<typename T>
T val = T(3.1415926535897932385);

int main(int, char**)
{
    val<float> = 0.6180339887498948482;
    std::cout << val<float> << std::endl;   
                // 使用新赋的值
    std::cout << val<double> << std::endl;
                // 使用默认值
    return 0;
}

References

[1] <Introduction to Variable Templates of C++14>

评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

五道口纳什

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值