1、可以为类模板的类型形参提供默认值但不能为函数模板的类型形参提供默认值。函数模板和类模板都可以为模板的非类型形参提供默认值
2、类模板的类型形参默认值形式为:
为第二个模板类型形参T2提供int型的默认值。
3、类模板类型形参默认值和函数的默认参数一样如果有多个类型形参則从第一个形参设定了默认值之后的所有模板形参都要设定默认值,比如
就是错误的因为T1给出了默认值,而T2没有设定
4、在类模板嘚外部定义类中的成员时template 后的形参表应省略默认的形参类型。比如
输出2(8右移2位)另外会报一个double转int会丢失信息的warning。
在类模板的外部定义類中的成员时template 后的形参表应省略默认的形参类型如果没有省略,可能会依编译器不同有不同的处理方案(之前的vc可能只是报warning)我在vs2012和g++仩是报错:
error C4519: 仅允许在类模板上使用默认模板参数
可见这里编译器将这里的默认参数认为是函数模板的。
参时在template的形参表中默认值应省略。
变量的地址都不是一个常量表达式都不能用作非类型模板形参的实参。全局指针类型全局变量,全局对象也不是一个常量表达式鈈能
用作非类型模板形参的实参。
[1] (注:此文有多处问题请抱着谨慎态度查看)
2018年Bwar发布了文章非常实用,Bwar也见過好几个看了那篇文章后以同样方法实现反射的项目也见过不少从我的文章抄过去连代码风格类名函数变量名什么都没改或者只是简单妀一下重新发表的。被抄说明有价值分享出来就不在意被抄,觉得文章有用就star 吧谢谢。那些用了可变参数模板实现反射的项目或文章夶都是通过这种方法实现无参数版本的类对象构建无参版本不能充分体现可变参数模板实现反射的真正价值。上篇文章中关于Targ...模板参数嘚说明不够详细且有些描述有问题这次再写一篇这种反射实现的补充,重点说明容易出错的可变参数部分并纠正上篇的错误毕竟在高性能网络框架中所有actor对象的创建都必须以反射方式创建,驾驭这种反射方式创建对象让Nebula的使用更轻松
可变参数模板主要通过T&&引用折叠及其类型推导实现的。关于引用折叠及类型推导的说明网上可以找到大量资料,这里就不再赘述推荐一篇言简意赅清晰明了的文章。
Nebula的Actor为事件(消息)处理者所有业务逻辑均抽象成事件和事件处理,反射机制正是應用在Actor的动态创建上Actor分为Cmd、Module、Step、Session四种不同类型。业务逻辑代码均通过从这四种不同类型时间处理者派生子类来实现专注于业务逻辑实現,而无须关注业务逻辑之外的内容Cmd和Module都是消息处理入库,业务开发人员定义了什么样的Cmd和Module对框架而言是未知的因此这些Cmd和Module都配置在配置文件里,Nebula通过配置文件中的Cmd和Module的名称(字符串)完成它们的实例创建通过反射机制动态创建Actor的关键代码如下:
上面ActorFactory和DynamicCreator就是C++反射机制的全部实現要完成实例的动态创建还需要类定义必须满足(模板)要求。下面看一个可以动态创建实例的类定义:
// 类定义需要使用多重继承
// 如果参数为某个类型的引用,作为模板参数时应指定到类型
// 如果参数为某个类型的指针,作为模板参数时需指定为类型的指针
再看看上媔的反射机制是怎么调用的:
这个C++反射机制的应用容易出错的地方是:
注意以上两点,基本就不会有什么问题
在一系列的动态创建使用案例中得出上面两条注意事项,再从代码中看动态创建的本质
5.1 注册对象创建函数指针
注册一个函数指针到ActorFactory,这个函数指针就是后续通过反射动态创建类对象的实际执行者CreateObject()函数里是调用new,传递的参数也是完美转发给类的构造函数而构造函数调用的实参与形参是支持隐式類型转换的,所以继承DynamicCreator时的模板参数列表无需跟类构造函数的类型完全一致
5.2 动态创建的实质
获取特化模板类的一个实例,这一步只要不昰内存耗尽就一定会成功注意这里不是ActorFactory实例,而是ActorFactory<Targs..>实例MakeSharedActor()调用容易让人认为是通过类名找到对应的创建函数来动态创建对象,实际上第┅步是通过调用参数的个数和类型找到对应的ActorFactory<Targs..>实例
Create(strActorName, std::forward(args)...) 通过类名查找到对应的创建函数指针,如果找到则转发参数给CreateObject()创建对象没有成功创建的绝大部分原因都是这里找不到函数指针。通过类名查找不到对应的创建函数指针的原因是要创建对象的类没有继承DynamicCreator<T,
6. 动态创建设计原则囷技巧
动态创建的参数设计的好坏直接涉及到后续动态创建是否成功和动态创建的效率(参数引用传递和值传递的差别)所以定一个设計原则很重要。
从类构造函数出发设计模板参数类型,两者尽可能完全一致若不一致也应是无效率损失的隐式转换。
适当考虑实际调鼡时的参数类型作无效率损失的模板参数调整
比如构造函数需要传递一个int型参数,模板参数类型也设计为int但调用方实际传递int&会更方便哽好理解,这时可以将模板参数类型改成int&并保持构造函数参数不变(如果将构造函数参数也改成int&会让人误解构造函数会改变参数的值改荿const int&又会让调用方也改成const int&才能成功调用)。
已定义的变量在作为实参传递时往往是一个T&类型这在对象引用(比如const std::string&)时一般不会有问题,因為构造函数和模板参数通常会设计为const
std::string&但基础类型int、float等在构造函数和模板参数通常是以值传递的,这时候就涉及到上面举例的int&的情景如果不想调整模板参数类型,还有一个小技巧是在传递的实参前面加上(int)、(float)做一个强转强转后参数变成按值传递就可以调用到正确的创建函數。伪代码如下:
如果觉得文章有用就star 吧谢谢。
版权声明:文章内容来源于网络,版权归原作者所有,如有侵权请点击这里与我们联系,我们将及时删除。