第二十四篇：C++模板元编程入门：constexpr与type_traits的编译期魔法

在C++的世界中，有一种被称为"模板元编程"（Template Metaprogramming，TMP）的技术，它能够让程序在编译期完成复杂的计算和类型操作。这种技术被誉为C++的"黑魔法"，今天我们将揭开这层神秘的面纱。

第一章：模板元编程的诞生与演进

1.1 偶然的发现：图灵完备的模板系统

模板元编程的发现颇具戏剧性。1994年，C++标准委员会成员Erwin Unruh在编写一个演示程序时，意外发现编译器能够在编译过程中产生质数序列的错误信息。这揭示了C++模板系统实际上是图灵完备的。

经典的Erwin Unruh质数生成器：

// 现代C++重写的类似示例
template<int p, int i>
struct