首页 > 代码库 > variadic template (2)
variadic template (2)
在上一部分中,完成了一个简单的使用可变模板函数printf1 的编写以及初步尝试,以下是我对可变模板类的理解以及初步使用记录。
上一部分中,可变模板函数是通过 不断地调用类似递归的操作来完成对 parameter pack 不断解包(我感觉拆分更贴切一点)实现。
而可变模板类 则是通过不断的继承自身,并不断实例化此模板参数的类定义,并提升为父类的方法实现。(表达的有点不清楚,可以跳过这一句直接看下面的描述)
可变模板类定义为:
template<typename... Elements> class tuple; template<typename Head,typename... Tail> class tuple<Head,Tail...>:public tuple<Tail ...>{ Head head; public: Head get_head(){return head;} void set_head(Head he){head=he;} }; template<> class tuple<>{ };
当我们定义一个 对象 :tuple<int,char,string> tu;
这一句话实际完成的工作有(假设这是第一次使用这个模板类):
- 首先要实例化 tuple<int,Tail ..(char,string)> 因为它需要继承模板参数为tuple<char ,Tail ...(string)>类,
- 若tuple<char ,Tail ...(string)>存在则返回1,否则实例化 tuple<char ,Tail ...(string)>类,他继承自 tuple<string,Tail ...(NULL)>类
- 若tuple<string,Tail ...(NULL)>存在则返回2,否则实例化 tuple<string,Tail ...(NULL)>,它继承自tuple<>,此类已存在直接创建
-
#include<iostream> #include<string> #include<exception> #include<stdexcept> using namespace std; template<typename... Elements> class tuple; template<typename Head,typename... Tail> class tuple<Head,Tail...>:public tuple<Tail ...>{ Head head; public: Head get_head(){return head;} void set_head(Head he){head=he;} }; template<> class tuple<>{ }; class A { public: int num; }; int main() { tuple<string,int,A> tu; tu.set_head("aklsjdf;l"); tu.tuple<int,A>::set_head(23); cout << tu.get_head() << endl; cout << tu.tuple<int,A>::get_head() << endl; A a; a.num=2323; tu.tuple<A>::set_head(a); cout << tu.tuple<A>::get_head().num << endl; return 0; }
调用方法直接使用作用于操作符即可,跟普通的调用父类同名方法一样。
variadic template (2)
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉: 投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。