首页 / C++ / [C++模板]Loki中的Length和TypeAt使用C++11特性改进

[C++模板]Loki中的Length和TypeAt使用C++11特性改进

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了[C++模板]Loki中的Length和TypeAt使用C++11特性改进，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含5735字，纯文字阅读大概需要9分钟。

内容图文

C++模板变参实现Loki中的Length和TypeAt

一，原Loki中的Length和TypeAt模拟实现如下

1，模板文件

/**********************************                                                             
*
* Author : szyu
*
* Date : 2017.1.7
*
**************************************/

#ifndef __SZYU_LOKI__
#define __SZYU_LOKI__

#include <iostream>
#include <vector>

template <typename T, typename U>
class TypeList
{
public:
    typedef T Head;
    typedef U Tail;
};

class NullType;

#define TYPELIST_1(type1)               TypeList<type1, NullType>
#define TYPELIST_2(type1, type2)        TypeList<type1, TYPELIST_1(type2)>
#define TYPELIST_3(type1, type2, type3) TypeList<type1, TYPELIST_2(type2, type3)>

/*******************************************
*
* Loki Length
*
**********************************************/
template <typename T> class Length;

template <typename T, typename U>
class Length<TypeList<T, U> >
{
public:
    enum { value = 1 + Length<U>::value };
};

template <>
class Length<NullType>
{
public:
    enum { value = 0 };
};

/*******************************************
*
* Loki TypeAt
*
**********************************************/
template <typename T, unsigned int index> class TypeAt;

template <typename T, typename U, unsigned int index>
class TypeAt<TypeList<T, U>, index>
{
public:
    typedef typename TypeAt<U, index - 1>::Result Result;
};

template <typename T, typename U>
class TypeAt<TypeList<T, U>, 0>
{
public:
    typedef T Result;
};

#endif

2，测试用例

/**********************************                                                              
*
* Author : szyu
*
* Date : 2017.1.7
*
**************************************/

#include "loki.h"

void
test1()
{
    std::cout << "Length<TYPELIST_1(int)>..." << Length<TYPELIST_1(int)>::value << std::endl;
    std::cout << "Length<TYPELIST_2(int, int)>..." << Length<TYPELIST_2(int, int)>::value << std::endl;
    std::cout << "Length<TYPELIST_3(int, int, int)>..." << Length<TYPELIST_3(int, int, int)>::value << std::endl;

    std::cout << "************************************" << std::endl;
    std::vector<int> IntVector;

    std::cout << typeid(TypeAt<TYPELIST_3( double, std::string, std::vector<int>), 0>::Result).name() << std::endl;
    std::cout << typeid(TypeAt<TYPELIST_3( double, std::string, std::vector<int>), 1>::Result).name() << std::endl;
    std::cout << typeid(TypeAt<TYPELIST_3( double, std::string, std::vector<int>), 2>::Result).name() << std::endl;
    
    TypeAt<TYPELIST_3( double, std::string, std::vector<int>), 0>::Result var1;
    var1 = 10.10;
    
    TypeAt<TYPELIST_3( double, std::string, std::vector<int>), 1>::Result var2;
    var2 = "abc";

    TypeAt<TYPELIST_3( double, std::string, std::vector<int>), 2>::Result var3;
    var3 = IntVector;
}

int
main( int argc, char *argv[] )
{
    test1();

    return 0;
}

3，执行结果如下：

技术分享 650) this.width=650;" src="/upload/getfiles/default/2022/11/9/20221109023623769.jpg" title="屏幕快照 2017-01-07 11.48.07.png" />

二，使用C++11模板变参特性改进Length和TypeAt

在不使用模板变参会出现繁杂的TypeList嵌套问题，虽然使用宏定义能增加代码可读性，但是也因此需要定义大量的宏来支持。当出现几百个参数（极端）情况下，那需要定义几百个宏。显然比较麻烦。C++11提供了模板的变参的支持，故变参实现Length和TypeAt如下：

1，头文件

/**********************************                                                              
*
* Author : szyu
*
* Date : 2017.1.6
*
***********************************/

#ifndef __SZYU_LOKI__
#define __SZYU_LOKI__

#include <iostream>
#include <vector>

/***********************************
*
* Loki length
*
***************************************/
template <typename T, typename... Args>
class Length
{
public:
    enum { value = 1 + Length<Args...>::value };
};

template <typename T>
class Length<T>
{
public:
    enum { value = 1 };
};

/***********************************
*
* Loki TypeAt
*
***************************************/
template <unsigned int index, typename T, typename... Args>
class TypeAt
{
public:
    typedef typename TypeAt<index - 1, Args...>::Result Result;
};

template <typename T, typename... Args>
class TypeAt<1, T, Args...>
{
public:
    typedef T Result;
};

#endif

2，测试用例

/**********************************                                                              
*
* Author : szyu
*
* Date : 2017.1.6
*
***********************************/

#include "TypeList.h"

void
test1()
{
    std::cout << "Length<int>..." << Length<int>::value << std::endl;
    std::cout << "Length<int, int>..." << Length<int, int>::value << std::endl;
    std::cout << "Length<int, int, char>..." << Length<int, int, char>::value << std::endl;

    std::cout << "********************************" << std::endl;
    std::vector<int> IntVector;

    std::cout << typeid(TypeAt<1, int, std::string, std::vector<int> >::Result).name() << std::endl;
    std::cout << typeid(TypeAt<2, int, std::string, std::vector<int> >::Result).name() << std::endl;
    std::cout << typeid(TypeAt<3, int, std::string, std::vector<int> >::Result).name() << std::endl;

    TypeAt<1, int, std::string, std::vector<int> >::Result var1;
    var1 = 10;
    
    TypeAt<2, int, std::string, std::vector<int> >::Result var2;
    var2 = "ssss";

    TypeAt<3, int, std::string, std::vector<int> >::Result var3;
    var3 = IntVector;
}

int
main( int argc, char *argv[] )
{
    test1();

    return 0;
}

3，执行结果

技术分享 650) this.width=650;" src="/upload/getfiles/default/2022/11/9/20221109023624074.jpg" title="屏幕快照 2017-01-07 11.56.29.png" />

TypeAt的实现中，由于变参要位于最后一个参数，故把位置参数移到了模板第一个参数。

住：

Loki中Length和TypeAt的具体说明参见《c++设计新思维》

本文出自 “11988200” 博客，请务必保留此出处http://11998200.blog.51cto.com/11988200/1889957

原文：http://11998200.blog.51cto.com/11988200/1889957

内容总结

以上是互联网集市为您收集整理的[C++模板]Loki中的Length和TypeAt使用C++11特性改进全部内容，希望文章能够帮你解决[C++模板]Loki中的Length和TypeAt使用C++11特性改进所遇到的程序开发问题。如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。

内容手机端

扫描二维码推送至手机访问。

本文链接：https://qyyshop.com/info/1147071.html

来源：【匿名】

【上一篇】【tips】C++求vector中的最大最小值【下一篇】c++有个库什么的吗?

更多 ►

【[C++模板]Loki中的Length和TypeAt使用C++11特性改进】教程文章相关的互联网学习教程文章

Coding之路——重新学习C++(8)：神奇的模板【代码】

1.解析一个正确的模板类　　(1)首先，我们想创造一个模板，可以先针对一个特定的类型参数设计它的行为方式，然后在对抽象的一般类型进行推广。例如我们可以先设计String<char>类的具体实现，然后再推广到String<C>类模板。　　(2)类模板的名字是不能重载的。所以，如果在某个作用域内声明了一个类模板，就不能有其他同样名字的实体了。template<class T> class String{/*...*/}; class String {/*...*/}; ...

Tarjan 求强连通分量 C++模板【代码】

1 #include<bits/stdc++.h>2usingnamespace std;3constint maxn=5005;4int N,M;5int stac[maxn],top=0;//Tarjan算法中的栈 6bool instac[maxn];//检查是否在栈中 7int dfn[maxn];//深度优先搜索访问次序 8int low[maxn];//能追溯到的最早的次序 9int tot=0;//有向图强连通分量个数10int index=0;//索引号11 vector<int>to[maxn]; 12 vector<int> kin[maxn];//获得强连通分量结果13int inkin[maxn];//记录每个点在第几号强连通分量里...

C++11 可变参数模板构造string列表【代码】

#include <iostream> #include <cstdint> #include <list> #include <string>template<typename T> typename std::enable_if<std::is_integral<T>::value, std::string>::type to_string(const T & val) {return std::to_string(val); } template<typename T> typename std::enable_if<std::is_floating_point<T>::value, std::string>::type to_string(const T & val) {return std::to_string(val); } template<typename T> typen...

关于C++编译链接和模板函数【代码】

一，关于编译链接编译指的的把编译单元生成目标文件的过程链接是把目标文件链接到一起的过程编译单元：可以认为是一个.c或者.cpp文件。每个编译单元经过预处理会得到一个临时的编译单元。预处理会间接包含其他文件还会展开宏调用。每个编译单元编译成目标文件后会暴露自己内部的符号。（比如有个fun函数，就会暴露出于fun函数对应的符号，其他的函数和变量也是一样的。但是也有不会暴露出去的，比如加了static修饰的函数或变量）每...

c++ 行为型模式_模板(Template Method)【代码】【图】

1) 意图定义一个操作中的算法骨架，而将一些步骤延迟到子类中。Template Method使得子类可以不改变一个算法的结构即可以重定义该算法的某些特定步骤2) 结构其中：AbstractClass(抽象类)定义抽象的原语操作，具体的子类将重定义它们以实现一个算法的各步骤；实现模板方法，定义一个算法骨架，该模板方法不仅调用原语操作，也调用定义在AbstractClass或其他对象中的操作ConcreateClass(具体类)定义原语操作以完成算法中与特定子类...

c++使用模板(template)封装Stack【代码】

1 #include <iostream>2 template<class Type>3class Stack4{5public:6 Stack(int MaxStackSize=100);7bool IsFull();8bool IsEmpty();9void StackFull(); 10void StackEmpty(); 11void Push(const Type& x); 12 Type Pop(Type& x); 13private: 14int top; 15 Type * stack; 16int MaxSize; 17}; 18 template<class Type> 19 Stack<Type>::Stack(int MaxStackSize):MaxSize(MaxStackSize)//构造函数 20{ 2...

c++模板学习【图】

1. 模板的概念。我们已经学过重载(Overloading)，对重载函数而言,C++的检查机制能通过函数参数的不同及所属类的不同。正确的调用重载函数。例如，为求两个数的最大值，我们定义MAX()函数需要对不同的数据类型分别定义不同重载(Overload)版本。//函数1.int max(int x,int y);{return(x>y)?x:y ;}//函数2.float max( float x,float y){return (x>y)? x:y ;}//函数3.double max(double x,double y){return (c>y)? x:y ;}但如果在主函数...

c++模板与泛型编程基础【代码】【图】

（1）定义函数模板（function template）函数模板是一个独立于类型的函数，可以产生函数的特定类型版本。// implement strcmp-like generic compare function template <typename T> int compare(const T &v1, const T &v2) {if (v1 < v2) return -1;if (v2 < v1) return 1;return 0; }模板定义以关键字template开始，后接尖括号括住的模板形参表。模板形参可以是表示类型的类型形参（type parameter），也可以是表示常量表达式的非...

C++ 模板类的实现为何放在.h中

主要原因：C++标准明确表示，当一个模板不被用到的时侯它就不该被实例化出来；如以下代码：main.cpp中调用到模板类A的方法A<int>::f，因A<int>::f在test.cpp中实现，编译器在#1处并不知道A<int>::f的定义，故寄希望于连接器，实际上test.cpp编译出来的test.obj文件中关于A::f一行二进制代码也没有，因为模板类A在test.cpp未被实例化，此时连接器就会报错。所以，必须把模板类的实现放在.h中，此时main.cpp中调用A<int>::f方法时，就...

求变量的数据类型，typeid,bool,C和C++的不同，new和delete,C++中的枚举，inline和可变参数模板，auto和函数模板，宽字符【图】

求变量的数据类型，通过函数typeid(变量名).name();获得变量的数据类型。案例如下：#include<iostream>#include<stdlib.h> voidmain(){ doubledb = 10.9; double *pdb= &db; autonum = pdb; //通过typeid的方式获得数据类型 std::cout<< typeid(db).name()<< std::endl; std::cout<< typeid(num).name()<< std::endl; std::cout<< typeid(pdb).name()<< std::endl; //typeid(db).name() db2 //decltype...

c++模板类学习简单

1、模板的概念我们已经学过重载(Overloading)，对重载函数而言,C++的检查机制能通过函数参数的不同及所属类的不同。正确的调用重载函数。例如，为求两个数的最大值，我们定义MAX()函数需要对不同的数据类型分别定义不同重载(Overload)版本。//函数1.int max(int x,int y) { return(x>y)?x:y ; }//函数2. float max( float x,float y){ return (x>y)? x:y ; }//函数3. double max(double x,double y) { return (x>y)? x:y ; }但如...

C++函数模板及实现原理【图】

C++为我们提供了函数模板机制。所谓函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称为函数模板。凡是函数体相同的函数都可以用这个模板来代替，不必定义多个函数，只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中的虚拟类型，从而实现了不同函数的功能。为什么要有函数模板下面，我们就通过一个例子来说明为什么需要有函数模...

Part10 泛型程序设计与C++标准模板库 10.1泛型程序设计及STL的结构【代码】【图】

1泛型程序设计的基本概念泛型程序设计：　　编写不依赖于具体数据类型的程序　　将算法从特定的数据结构中抽象出来，成为通用的　　C++的模板为泛型程序设计奠定了关键的基础术语：概念用来界定具备一定功能的数据类型。例如：　　将“可以比大小的所有数据类型（有比较运算符）”这一概念记为Comparable 　　将“具有公有的复制构造函数并可以用‘=’赋值的数据类型”这一概念记为Assignable 　　将“可以比大小、具有公有的复...