详解C++ 模板编程

2023-07-17 00:31:03 80

类型模板

类型模板包括函数模板和类模板，基本上是C++开发人员接触模板编程的起点。

下面代码演示了函数模板和类模板的使用方法：

//函数模板
template
Tadd(constT&a,constT&b){
returna+b;
}

//类模板
template
classPoint{
private:
Tx[3];
...
};

类型模板以template开始声明，尖括号内的typename关键字可用class替代。类型模板中typename和class具有相同含义，均表示参数类型。实践中typename语义更广泛，表示其后续的参数T是一个类型，不限定于类，建议使用。类型参数T可换成其他任意有意义的合法变量。

C++14新增变量模板：

//变量模板
template
constexprTpi=T(3.1415926535897932385L);

尖括号之于模板犹如小括号之于函数：函数通过小括号()定义和调用，模板使用尖括号<>定义(需template关键字声明)和实例化。上面演示了类型模板定义，下面代码介绍模板实例化：

inta=1,b=2;
//实例化函数模板
std::cout<<"addresult:"<(a,b)<();

doubleradius=.5;
//实例化变量模板
autoarea=pi*radius*radius;

同函数一样，模板可以有默认值：

//默认类型为int
template
Tadd(constT&a,constT&b){
returna+b;
}

//默认类型为double
template
classPoint{
private:
Tx[3];
...
};

与函数不同，对于函数模板，如果能从参数推断出模板类型，则可略去尖括号模板实例化参数：

inta=1,b=2;
//合法调用，编译器能根据ab推断出参数类型
std::cout<<"addresult:"<(a,b)<
然而对于类模板，即使有默认参数，也不能省略尖括号(但是可以省去参数)：
template
structPoint{
Tx[3];
};

//合法声明
autop=Point();
//合法声明，类型使用默认的double
autop2=Point<>();
//非法声明，缺少模板调用标志尖括号
autop3=Point();
类型参数模板在实际中使用最多，STL库中vector、map等容器、algorithm中的许多算法都用到了模板。
非类型参数模板


另一类常用模板是非参数模板，用来替代某个具体的值。例如：
//N维空间向量
template
structVector{
doublex[N];
};

//实例化
autov=Vector<100>();
...其他操作
需要注意的是，非类型参数模板能使用的类型十分有限，只有(signed/unsigned)整数、char和枚举这几种类型可用（参考switch语法）。
同类型模板一样，非类型参数模板也可以有默认值，但应用到类模板实例化也不能省略尖括号。
类型模板和非类型参数模板可以结合一起用：
template
structPoint{
Tx[N];
};
类型模板解决了类型问题，非类型参数模板解决了值的问题，实际中应用也十分广泛。作为递归的经典场景，斐波那契数列可以用非类型模板解决：
template
structFib{
staticconstexprintvalue=Fib::value+Fib::value;
};
//模板特化
template<>
structFib<1>{
staticconstexprintvalue=1;
};
//模板特化
template<>
structFib<0>{
staticconstexprintvalue=0;
};

//调用
std::cout<<"Fib(10):"<::value<
这个例子出现了”模板特化”，接下来介绍。
模板特化/偏特化
定义模板后，希望在特定条件下使用单独的模板，这便是模板特化。上文中斐波那契数列定义的templatestructFib是母模板，接下来又定义了0和1两个特化模板(子模板)，指示编译器遇到Fib<0>和Fib<1>的情况，使用这两组单独定义。需要注意的是特化模板的template参数为空，具体模板参数放到了模板名称处，类似于模板实例化。
对多个模板参数的情形，如果只特化某个模板参数，便是偏特化。例如：
//泛型模板定义
templatestructAdd;
//特化模板
template<>structAdd{...};
//偏特化模板
templatestructAdd{....};
模板特化/偏特化类似于函数重载，能针对特殊情况进行特别处理。
模板匹配与SFINAE
模板特化使得同一个模板名称有了多个定义，代码具体调用时会遇到模板匹配问题。理解模板匹配机制的关键便是SFINAE，这也是进阶模板编程的必备知识点。
SFINAE是Substitutionfailureisnotanerror的缩写，翻译过来便是：匹配(替换)失败不是错误。
怎么理解这句话呢？
对于上面的斐波那契数列数列代码，编译器遇到Fib<10>::value的代码，(可能)先会尝试匹配Fib<0>，发现匹配不上，这是一个Substitutionfailure，但不是error，所以编译器继续尝试其他可能性。接着匹配Fib<1>，同样发现匹配不上，忽略这个Substitutionfailure继续尝试Fib，OK，这一次没问题，编译成功。
如果是Fib<-1>::value，编译器达到最大递归深度也找不到一个合适的匹配模板，这是一个error，因此编译失败。

备注：理解上面的话需要对编译过程稍加了解，编译过程会输出许多信息，编译器一般只有遇到error才会终止编译，比较常见的warning则不会。模板匹配中的Substitution可能连warning都算不上，不会影响编译器继续尝试匹配

理解SFINAE是看懂稍微深奥点模板代码的基本功，重点便是：不怕你模板多，就怕找不到合适的模板。
两阶段编译


有了模板(元)编程，C++源码编译可以分为前期和后期，构成两阶段编译。前期是模板的天下，编译器扫描模板实例化语句，生成运算结果和具体代码；后期编译器介入，再编译生成机器码。
模板代码运行在编译期，因此有如下特点：

没有实例化的模板代码，即使有语法错误，编译器也不会检查和报错。对按代码行数考核KPI的C++码农，这绝对是福音，新增template代码十万行，瞎编乱写都可以，只要不实例化，永远能编译通过，编译后的文件大小(一般)不变，也不影响现有代码运行；
对于常量，编译前期直接计算，没有运行时开销。上文中的斐波那契数列值在编译期便已经计算出来了；


无法运行期动态调用代码。例如下面的要求做不到：

template
structPoint{doublex[N];};
//根据输入动态生成类,无法实现和编译成功
intn;
std::cin>>n;
autop=newPoint();

模板和多态/虚函数(理念)冲突。多态/虚函数的关键是运行期动态调用代码，而模板在编译期确定，因此两者理念上是冲突的。所以，如果你想一个成员函数既是模板函数，又是虚函数，怎么做实现预期？




C/C++编译有个预处理过程，只是做简单字符串替换，没有具体运算，与模板生成代码不同

在编译前期，除了模板代码被解释执行，其他代码信息都在，因此模板代码拥有类似反射/自省的能力，这也是C++元编程功能强大的原因之一。
C++11中的变化


C++11带来了许多新特性和重大更新，可以认为C++11是一门新的语言。就模板来说，主要更新点如下：
1.可以使用staticconstexprint代替早期模板代码中的enum。网上许多斐波那契数列代码都是基于早期C++，一律使用enum方式定义字段；
2.可以使用using代替typedef。这是using语句能力的重大更新，早期我们定义类型或者别名都需要typedef，自C++11开始，简单使用using就可以达到相同效果。
3.C++14引入了变量模板，上文已介绍。
模板优缺点
上文根据自己理解和实践简要介绍了C++模板编程的相关概念，本节总结一下C++模板的优缺点：
C++模板编程优点：

减少代码输入，提高代码重用和编程效率；
支持鸭子类型(Ducktyping)的特性，使用便利，功能强大；
某些情况下能减少运行期开销；
能实现元编程，C++高手必备之路；



C++模板编程缺点：

语法看起来是hack黑科技，代码可读性差，编写繁琐；
模板代码调试困难，生成的错误信息也晦涩难懂。你可以还记得刚开始使用STL模板的map等数据类型报错的恐怖提示？
编译时间增加。



感谢阅读，欢迎指正！
以上就是详解C++模板编程的详细内容，更多关于C++模板编程的资料请关注毛票票其它相关文章！
声明：本文内容来源于网络，版权归原作者所有，内容由互联网用户自发贡献自行上传，本网站不拥有所有权，未作人工编辑处理，也不承担相关法律责任。如果您发现有涉嫌版权的内容，欢迎发送邮件至：czq8825#qq.com（发邮件时，请将#更换为@）进行举报，并提供相关证据，一经查实，本站将立刻删除涉嫌侵权内容。

详解C++ 模板编程

热门推荐

随机推荐