详解C++11中模板的优化问题
1. 模板的右尖括号
在泛型编程中，模板实例化有一个非常繁琐的地方，那就是连续的两个右尖括号（>>）会被编译器解析成右移操作符，而不是模板参数表的结束。我们先来看一段关于容器遍历的代码，在创建的类模板 Base 中提供了遍历容器的操作函数 traversal():
// test.cpp
#include <iostream>
#include <vector>
using namespace std;
template <typename T>
class Base
{
public:
void traversal(T& t)
{
auto it = t.begin();
for (; it != t.end(); ++it)
{
cout << *it << " ";
}
cout << endl;
}
};
int main()
{
vector<int> v{ 1,2,3,4,5,6,7,8,9 };
Base<vector<int>> b;
b.traversal(v);
return 0;
}
如果使用 C++98/03 标准来编译上边的这段代码，就会得到如下的错误提示：
test.cpp:25:20: error: '>>' should be '> >' within a nested template argument list
Base<vector<int>> b;
根据错误提示中描述模板的两个右尖括之间需要添加空格，这样写起来就非常的麻烦，C++11改进了编译器的解析规则，尽可能地将多个右尖括号（>）解析成模板参数结束符，方便我们编写模板相关的代码。
上面的这段代码，在支持 C++11 的编译器中编译是没有任何问题的，如果使用 g++ 直接编译需要加参数 -std=c++11
2. 默认模板参数
在 C++98/03 标准中，类模板可以有默认的模板参数：
#include <iostream>
using namespace std;
template <typename T = int, T t = 520>
class Test
{
public:
void print()
{
cout << "current value: " << t << endl;
}
};
int main()
{
Test<> t;
t.print();
Test<int, 1024> t1;
t1.print();
return 0;
}
但是不支持函数的默认模板参数，在C++11中添加了对函数模板默认参数的支持:
#include <iostream>
using namespace std;
template <typename T = int, T t = 520>
class Test
{
public:
void print()
{
cout << "current value: " << t << endl;
}
};
int main()
{
Test<> t;
t.print();
Test<int, 1024> t1;
t1.print();
return 0;
}
通过上面的例子可以得到如下结论：当所有模板参数都有默认参数时，函数模板的调用如同一个普通函数。但对于类模板而言，哪怕所有参数都有默认参数，在使用时也必须在模板名后跟随 <> 来实例化。
另外：函数模板的默认模板参数在使用规则上和其他的默认参数也有一些不同，它没有必须写在参数表最后的限制。这样当默认模板参数和模板参数自动推导结合起来时，书写就显得非常灵活了。我们可以指定函数模板中的一部分模板参数使用默认参数，另一部分使用自动推导，比如下面的例子：
#include <iostream>
#include <string>
using namespace std;
template <typename R = int, typename N>
R func(N arg)
{
return arg;
}
int main()
{
auto ret1 = func(520);
cout << "return value-1: " << ret1 << endl;
auto ret2 = func<double>(52.134);
cout << "return value-2: " << ret2 << endl;
auto ret3 = func<int>(52.134);
cout << "return value-3: " << ret3 << endl;
auto ret4 = func<char, int>(100);
cout << "return value-4: " << ret4 << endl;
return 0;
}
测试代码输出的结果为:
return value-1: 520
return value-2: 52.134
return value-3: 52
return value-4: d
根据得到的日志输出，分析一下示例代码中调用的模板函数：
auto ret = func(520);
函数返回值类型使用了默认的模板参数，函数的参数类型是自动推导出来的为 int 类型。
auto ret1 = func<double>(52.134);
函数的返回值指定为 double 类型，函数参数是通过实参推导出来的，为 double 类型
auto ret3 = func<int>(52.134);
函数的返回值指定为 int 类型，函数参数是通过实参推导出来的，为 double 类型
auto ret4 = func<char, int>(100);
函数的参数为指定为 int 类型，函数返回值指定为 char 类型，不需要推导
当默认模板参数和模板参数自动推导同时使用时（优先级从高到低）：
如果可以推导出参数类型则使用推导出的类型
如果函数模板无法推导出参数类型，那么编译器会使用默认模板参数
如果无法推导出模板参数类型并且没有设置默认模板参数，编译器就会报错。
看一下下面的例子：
#include <iostream>
#include <string>
using namespace std;
// 函数模板定义
template <typename T, typename U = char>
void func(T arg1 = 100, U arg2 = 100)
{
cout << "arg1: " << arg1 << ", arg2: " << arg2 << endl;
}
int main()
{
// 模板函数调用
func('a');
func(97, 'a');
// func(); //编译报错
return 0;
}
程序输出的结果为:
arg1: a, arg2: d
arg1: 97, arg2: a
分析一下调用的模板函数 func()：
func('a')：参数 T 被自动推导为 char 类型，U 使用的默认模板参数为 char 类型
func(97, 'a');：参数 T 被自动推导为 int 类型，U 使用推导出的类型为 char
func();：参数 T 没有指定默认模板类型，并且无法自动推导，编译器会直接报错
模板参数类型的自动推导是根据模板函数调用时指定的实参进行推断的，没有实参则无法推导
模板参数类型的自动推导不会参考函数模板中指定的默认参数。
到此这篇关于详解C++11中模板的优化问题的文章就介绍到这了,更多相关C++11模板优化内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！
相关文章
其实这两个东西挺难理解的，应该也没有那么重要，了解一下好了，主要还是要多多理解数组指针的运算2013-08-08
这篇文章主要为大家详细介绍了C++实现简易通讯录管理系统，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2022-06-06
在本篇文章里小编给大家整理的是一篇关于C++中隐式类型转换学习笔记内容，有兴趣的跟着小编来学习下吧。2020-02-02
这篇文章主要为大家详细介绍了如何溧阳C语言实现绘制LoveBeat爱心曲线，文中的示例代码讲解详细，感兴趣的小伙伴可以跟随小编一起学习一下2023-03-03
在C语言中字符串数组是用来存储多个字符串的,可以通过字符数组或指针数组的方式定义,这篇文章主要介绍了C语言定义字符串数组的相关资料,文中通过代码介绍的非常详细,需要的朋友可以参考下2024-11-11
这篇文章主要为大家介绍了C语言操作符进阶教程(表达式求值隐式类型转换方法)2022-02-02
这篇文章主要为大家详细介绍了Qt网络编程实现TCP通信，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2022-08-08
这篇文章主要介绍了 使用C语言实现本地socke通讯,代码分为服务器代码和客户端代码，代码简单易懂，对大家的学习或工作具有一定的参考借鉴价值，需要的朋友可以参考下2021-12-12
这篇文章主要介绍了基于opencv实现视频中的颜色识别功能,文章详细介绍了颜色识别的原理及opencv中的颜色模型，基于c++代码实现颜色识别功能，需要的朋友可以参考下2022-07-07
类模版std::function是一种通用、多态的函数封装。function的实例可以对任何可以调用的目标实体进行存储、复制、和调用操作。本文主要聊聊它的实现原理，需要的可以参考一下2022-12-12
最新评论