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

类型元编程

类型元编程也是元编程的一种重要应用，通过模版来处理和生成类型。C++ 的很多标准库广泛使用类型元编程，特别是 std::type_traits 头文件中。下面举个例子根据条件选择不同类型。

#include <iostream> #include <type_traits> // 定义一个条件选择器 template<bool Condition, typename TrueType, typename FalseType> struct Conditional { typedef TrueType type; }; // 特化条件选择器 template<typename TrueType, typename FalseType> struct Conditional<false, 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。

编译器常量表达式

C++11 引入了 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 修饰后，意味着它就可以在编译器进行运算。编辑器会在编译时展开这个函数并计算结果，减少运行时开销。