用C++11语法改进模版细节_c++参数模板不能出现两个连续的右尖号-优快云博客

本文探讨了C++模板中的几个关键问题：模版右尖括号导致的编译错误及解决办法；C++11引入的模版别名简化类型定义的方法；以及函数模板默认模板参数的用法与示例。

1.模版右尖括号
2.模版别名
3.函数模版默认模板参数

1.模版右尖括号

早期的C++版本在模板中不支持连续的两个尖括号。Mingw中编译报错，vs中好像没发现这问题。如下代码

template <typename T>
struct Foo
{
    typedef T type;
};

template<typename T>
class A {...};

Foo<A<int>>::type x; //error 编译出错 “>>”被当成操作符处理了，右移操作，二义性
Foo<A<int> >::type x; //ok 注意空格

//C++11编译器解决了上述问题，但也要注意与老版本不兼容的例子
template <int T> struct Foo {...};
Foo < 100 >> 2 > x;//err 二义性
Foo<(100 >> 2)> x;//ok

2.模版别名

从C++11开始可以用关键字using进行类型或模版别名声明

typedef unsigned int uint_t;
using uint_t = unsigned int;

typedef std::map<std::string, int> map_int_t;
using map_int_t = std::map<std::string, int>; //效果等价，语法不同，更简洁

typedef void(*pFunc)(int, int);
using pFunc = void(*)(int, int);

//C++98/03
//定义
template<typename T>
struct func_t
{
    typedef void(*type)(T, T);
};
//使用
func_t::type xx_1;

//C++11
//定义
template <typename T>
using func_t = void(*)(T, T);
//使用 
func_t<int> xx2;

3.函数模版默认模板参数

template<typename T = int>
void func(void) {}         //C++ 98/03 : err    C++11:ok 

template<typename T>
struct identify
{
    typedef T type;
};

template<typename T = int>
void func(typename identify<T>::type val, T = 0)
{
    //...
}

int main(void)
{
    func(1);       //T推导为int
    func(1, 1.0);  //T推导为double
    return 0;   
}