类型元编程与编译器常量表达式

类型元编程类型元编程也是元编程的一种重要应用通过模版来处理和生成类型。C 的很多标准库广泛使用类型元编程特别是 std::type_traits 头文件中。下面举个例子根据条件选择不同类型。#include iostream #include type_traits // 定义一个条件选择器 templatebool Condition, typename TrueType, typename FalseType struct Conditional { typedef TrueType type; }; // 特化条件选择器 templatetypename TrueType, typename FalseType struct Conditionalfalse, TrueType, FalseType { typedef FalseType type; }; int main() { typedef Conditional(sizeof(int) 4), long long, int ::type SelectedType; SelectedType value 42; std::cout Selected type size sizeof(value) std::endl; }这个例子中类型选择器 Conditional 模板根据条件选择不同类型当 Condition 为 true 时type 定义为 TrueType,否则为 FalseType。在 main 函数中进行了类型推导SelectedType 根据 sizeof(int) 的结果选型如果 int 大于 4 个字节则选择 long long,否则选择 int。编译器常量表达式C11 引入了 constexpr 关键字允许在编译时计算常量表达式。这种功能在元编程中非常有用可以用于编译时期的优化和验证。比如实现一个编译期斐波那契数列#include iostream constexpr int Fibonacci(int n) { return (n 1) ? n : (Fibonacci(n - 1) Fibonacci(n - 2)); } int main() { constexpr int fib Fibonacci(10); std::cout Fibonacci(10) fib10 std::endl; // 输出55return 0; }Fibonacci 函数使用 constexpr 修饰后意味着它就可以在编译器进行运算。编辑器会在编译时展开这个函数并计算结果减少运行时开销。