对函数式编程来说，list是其中最基础也是最重要的数据结构。通过list可以轻易地构造出tree，map等复杂数据结构，所以必须熟悉list的结构和算法。
在C++模板元编程中，一切操作对象已经统一到类型上，所以我们需要的是一个针对类型的list数据结构，这就是TLP库中的TypeList。
TypeList最初由Andrei Alexandrescu在《Modern C++ Design》一书中介绍，这里我基于C++11标准对其进行了改写，并丰富了它的高阶算法。得益于C++11标准，新的实现要比原来的简单清晰很多，而且算法也更加丰富。
对函数式编程来说，list是其中最基础也是最重要的数据结构。通过list可以轻易地构造出tree，map等复杂数据...
针对list的高阶算法，是允许用户在使用时传入别的元函数做参数的元函数。在函数式语言里对于list的高阶元函数（如...
使用TypeList可以一次对一组类型进行操纵，关于如何应用它是一个非常有想象力的事情。例如我们可以用TypeLi...
有了list的结构定义，我们就可以为其定义相关算法了。由于list是递归结构，所以其算法也都是递归算法。 一般情况...
在函数式语言中list基本都是递归式结构，类似：{elem, {elem, {elem, ...}}}。 可以看到...
Typelist解析 Typelist是类型元编程的核心数据结构，不同于大多数运行期数据结构，typelist不允...
从本节开始我们将模板元编程当做一门独立的函数式语言来讨论它的方方面面。 所谓元编程，就是指可以产生程序的程序。由于...
本节开始我们通过使用C++模板元编程去解决一些实际问题，来展示模板元编程针对现实问题的使用方法和设计技巧。本节中的...
模板可以被递归调用，在模板递归的过程中，可以执行前面我们提到的两种编译期计算：数值计算和类型计算。 下面我们用模板...
我们继续演进前面那个无聊的类型计算的例子，来得出元函数的定义。 前面我们实现了PointerOf，它对于传进的任意...
本文标题：C++11 模板元编程 - TypeList
本文链接：https://www.haomeiwen.com/subject/tcfiettx.html
网友评论