缺省参数
- 常规缺省参数
- 类型模板参数缺省值的规矩:如果某个模板参数有缺省值,那么从这个有缺省值的模板参数开始,后面的所有模板参数都得有缺省值。
- 案例1:
//TC的泛化版本
//template <typename T,typename U>
template <typename T=int, typename U=int>
struct TC
{
TC()
{
cout << "TC泛化版本的构造函数" << endl;
}
void functest1()
{
cout << "functest1泛化版本" << endl;
}
};
- 调用:
TC<> mytc5; //使用了缺省模板参数,所以<>中啥也不用提供
TC<double> mytc6; //<>中第一个类型不使用缺省参数,第二个类型使用缺省参数
- 输出:
TC泛化版本的构造函数
TC泛化版本的构造函数
- 常规缺省参数
- 类模板片特化版本中的类型模板参数不可以有缺省值。
//TC的特化版本
//template <typename T = char> //报错
template <typename T>
struct TC<T, int>
{
};
- 后面的模板参数依赖前面的模板参数
template <typename T,typename U = T*>
struct TC
{
//....
};
- 调用:
TC<double> mytc5;
TC<double,int> mytc6;
- 可以给一个参数,后面一个参数则为double *;
- 在模板声明中指定缺省参数
//声明1,指定了V和W
template <typename T,typename U, typename V = int,typename W = char>
struct TC;
//声明2,指定U
template <typename T, typename U = char, typename V, typename W>
struct TC;
//定义泛化版本的TC
template <typename T, typename U, typename V, typename W>
struct TC
{
//...
};
- 调用:
TC<int> mytc;
- 第二、三、四个模板参数采用缺省值,所以<>里只提供了一个类型模板实参
类型别名
- 考虑到类型名比较长,所以 一般都用typedef ,或者using给这些类型名起一个额外的别名来简化书写。
- C++11开始支持using这种用法,建议使用using
typedef TC<int, float> IF_TC;
using IF_TCU = TC<int, float>;
- 使用:
IF_TC mytc10
IF_TCU mytc1
- IF_TC等价于TC<int, float> ,所以整个代码行等价于:TC<int, float> mytc10;
- IF_TCU等价于TC<int, float>
非类型模板参数
//template <typename T , typename U ,size_t arrsize=8>
template <typename T, typename U, auto arrsize = 8>
struct TC
{
T m_arr[arrsize];
void functest2();
};
//template <typename T, typename U, size_t arrsize>
template <typename T, typename U, auto arrsize>
void TC<T,U, arrsize >::functest2()
{
cout << "functest2泛化版本" << endl;
}
- 注:这个arrsize是在编译器期间,编译器就会传递进来arrsize的大小来确定数组m_arr的大小。
- 调用:
TC<double, double> mytc30; //缺省的第三个模板参数是8
for (size_t i = 0; i < 8; ++i)
{
mytc30.m_arr[i] = static_cast<double>(i);
}
cout << mytc30.m_arr[7] << endl; //7
TC<double, double, 18> mytc31;
mytc31.m_arr[10] = 16.8;
cout << mytc31.m_arr[10] << endl; //16.8
- 数值是常量。类型一般也限制在整型、指针类型等等。(参见函数模板)
- 全局指针不能作为函数参数,可改为使用数组
template <const char *p>
struct TC2
{
TC2()
{
printf("TC2::TC2执行了,p= %s\n", p);
}
};
//const char* g_s = "hello"; //全局指针,调用会报错
const char g_s[] = "hello";
- 调用:
TC2<g_s> mytc40;
- 显示结果:
- 字符串常量也无法作为模板参数
- 针对上面的模板进行如下调用,编译器报错。:
TC2<"hello"> mytc41;