第一部分 基础 01 函数模板[https://www.jianshu.com/p/cc5c3ac1f468]02 类模板[https://ww...

浅实例化（Shallow Instantiation） 模板出错时通常伴随着冗长的诊断信息，真正的问题一般出现在一长串实例化之后 实例化f4()...

表达式模板是为了支持一种数值数组的类引入的技术。比如希望像内置类型一样对数组进行下列操作，要在支持这种紧凑写法的同时获得高效率，就需要通过表达式...

这里开发一个类似于std::variant[https://en.cppreference.com/w/cpp/utility/variant]...

基本Tuple设计 存储（Storage） N>0个元素的tuple可存储为一个单元素（首元素）和一个包含N-1个元素的tuple（尾），零元素...

Typelist解析 Typelist是类型元编程的核心数据结构，不同于大多数运行期数据结构，typelist不允许改变。比如添加一个元素到st...

值元编程（Value Metaprogramming） 常量表达式最初只能用 enum 来声明 C++98 允许在类内部初始化 static i...

函数对象[https://en.cppreference.com/w/cpp/named_req/FunctionObject]、指针[http...

空基类优化（EBCO） 布局原则 C++不允许类大小为0，比如数组元素为类时，若类大小为0则数组大小也是0，这会导致指针运算失效。虽然不能存在大...