c5035c045bb5

“C makes it easy to shoot yourself in the foot; C++ makes it harder, but when you do it...

c5035c045bb5

TypeList->高阶算法 这一章看不了~

C++11 模板元编程 - 构建DSL

C++是一门非常适合用来构建DSL(Domain Specific Language)的语言，它的多范式特点为它提供了丰富的工具，尤其是C++提供了： 一个静态类型系统； 近...

MagicBowen

8311 5 14

c5035c045bb5

在函数式语言中list基本都是递归式结构，类似：{elem, {elem, {elem, ...}}}。 可以看到，基本结构是一个二元组{Head, Tail}，Head是一...

c5035c045bb5

熟悉C++的程序员都知道，C++是一门多范式编程语言，支持面向过程、面向对象、泛型编程以及函数式编程范式。然而提到C++模板元编程，在很多人心里这却是C++里的黑魔法：它很难...

c5035c045bb5

熟悉C++的程序员都知道，C++是一门多范式编程语言，支持面向过程、面向对象、泛型编程以及函数式编程范式。然而提到C++模板元编程，在很多人心里这却是C++里的黑魔法：它很难...

c5035c045bb5

既然说可以把模板元编程当做一门独立的语言，那么针对这门语言，我们希望能有一个专门的xUnit测试框架。 传统的C++测试框架，如gtest，cppUnit等，主要针对运行期C...

c5035c045bb5

模板为C++提供了鸭子类型（Duck typing）的特性。所谓鸭子类型，指的是代码关注的不是对象的类型本身，而是它被如何使用的。例如，在使用鸭子类型的语言中，我们编写一个函...

c5035c045bb5

C++对模板的具现化采用尽量惰性的原则。只有当你使用了模板的内部定义，编译器才会为模板生成对应的定义。 所以对于元函数，当你不访问内部的Result对其求值，编译器是不会为其...

c5035c045bb5

"大量地使用模板会使得C++的编译速度超出寻常地慢" 那么运行时应该比命令式语言快点吧？毕竟能在编译期已经完成了很多计算

C++11 模板元编程 - 不可变性

C++中可以参与编译期计算的主要是类型和编译期常量，它们都是不可变的（immutable）。从这个角度来说，C++模板元编程是一种纯函数式语言，遵循引用透明性。也就是说函数没...

MagicBowen

2017 1 1

c5035c045bb5

函数式语言依赖模式匹配和递归完成类似命令式语言里分支选择和循环迭代的功能。模板元编程中可以完成模式匹配的两种方式上节已经介绍。本节介绍模板元编程中的递归。 前面在介绍编译期数...

c5035c045bb5

C++中可以参与编译期计算的主要是类型和编译期常量，它们都是不可变的（immutable）。从这个角度来说，C++模板元编程是一种纯函数式语言，遵循引用透明性。也就是说函数没...

c5035c045bb5

C++模板元编程中，编译器对模板的特化版本选择相当于是在做模式匹配，这个我们已经比较熟悉了。下面我们借助这一特性实现一个在模板元编程中最常使用的基础元函数IfThenElse...

c5035c045bb5

前言 模板的基础知识模板的类型参数模板的默认参数模板的模板参数模板的特化模板的非类型参数模板的编译期计算数值计算类型计算模板递归 C++模板元编程元函数高阶函数柯理函数(cu...