第8章：元编程与编译期求值

从“哪些事实能在编译期证明”开始

元编程不是把运行期代码机械搬到compiler，而是利用type、non-type template argument和constant expression生成类型、值或合法性证据。收益包括提前拒绝错误、消除不可能分支、针对具体类型生成代码；成本包括compile time、diagnostic complexity、binary size和过多实例化。

先预测一个条件是否真正只依赖compile-time input。配置来自network、file或用户操作时必须保留runtime path；type capability、array extent和literal通常可在编译期处理。constexpr允许编译期求值，不保证每次调用都发生在编译期；只有constant-evaluation context和满足规则的arguments才会得到常量结果。

template metaprogramming与static_assert

传统TMP通过class template specialization递归。base specialization终止递归，primary template组合前一步结果。static_assert把computed predicate变成编译期contract，错误在实例化点暴露，而不是让无效状态流到runtime。

template <std::size_t N>
struct Factorial
    : std::integral_constant<std::size_t, N * Factorial<N - 1>::value> {};
 
template <>
struct Factorial<0> : std::integral_constant<std::size_t, 1> {};
 
static_assert(Factorial<5>::value == 120);

TMP能生成specialized representation，但递归深度与实例化数量会增加compiler memory/time。type-dependent逻辑若可用普通constexpr function表达，后者通常更接近日常C++并产生更清晰diagnostic。metaprogram只应编码确实需要type-level结果的部分。

type traits与decltype读取类型事实

type traits把type property编码为type/value，例如is_integral_v<T>、is_trivially_copyable_v<T>、remove_reference_t<T>。它们适合选择合法实现或优化路径，但标准trait只承诺定义中的property；trivially copyable不等于业务上可任意serialize，不同process/ABI仍有padding、endianness和version问题。

decltype(expr)根据表达式形式和值类别得到type；对unparenthesized name与一般表达式规则不同，额外括号可能让结果变成reference。std::declval<T>()只在unevaluated context构造“假想表达式”，无需真的创建T，就能检查member operation的类型。

template <class T, class = void>
struct has_reserve : std::false_type {};
 
template <class T>
struct has_reserve<
    T,
    std::void_t<decltype(std::declval<T&>().reserve(std::size_t{}))>>
    : std::true_type {};
 
static_assert(has_reserve<std::vector<int>>::value);
static_assert(!has_reserve<std::list<int>>::value);

trait结果只是expression well-formed证据，不证明semantic或complexity。检测到reserve(n)不保证调用后capacity恰等于n，也不保证操作便宜。capability-based generic code必须同时写清语义precondition。

enable_if、SFINAE与is_detected

template argument substitution遇到某些依赖类型/表达式失败时，candidate可从overload set移除而不是让整个program立即报错，这就是SFINAE。std::enable_if_t<condition, T>把boolean condition映射为存在/不存在的type，常用于return type、template parameter或function parameter来约束candidate。

detection idiom把void_t + decltype模式抽象为is_detected<Operation, Args...>，统一询问expression是否well-formed。它能检测member、operator或nested type，并可取得detected result type。diagnostic与overload ambiguity仍需设计：多个enable_if条件同时为true会产生竞争，fallback太宽也可能吞掉真正错误。

现代concepts可更直接表达constraint，但理解traits/SFINAE仍有价值：第一版代码、标准库实现和C++17项目广泛使用它。升级时应保持同一semantic contract，不要仅把enable_if机械改写成名字更漂亮的constraint。

constexpr与if constexpr

constexpr variable必须由constant expression初始化；constexpr function既能编译期也能运行期调用。C++17 if constexpr要求condition可在编译期决定，在template instantiation中discard不选择的branch，因此branch可以包含只对当前type集合另一侧合法的代码。

template <class To, class From>
constexpr To safe_numeric_cast(From value) {
    static_assert(std::is_arithmetic_v<To> && std::is_arithmetic_v<From>);
 
    if constexpr (std::is_same_v<To, From>) {
        return value;
    } else {
        if (!std::in_range<To>(value)) {
            throw std::range_error("numeric cast out of range");
        }
        return static_cast<To>(value);
    }
}

上例用C++20的std::in_range说明检查点；C++17项目需自行正确处理signed/unsigned和floating/integer边界，不能简单比较numeric_limits<To>::min/max后忽略conversion rules。if constexpr移除无效branch，但selected branch仍要正确，throw也使该调用在越界constant evaluation中失败。

preprocessor #if在token进入compiler前裁剪，适合平台/build feature；runtime if两侧都需编译，条件运行时求值；if constexpr拥有type context并在instantiation时选择。三者作用阶段不同，不能因为都写“if”就互换。

heterogeneous containers的类型集合

heterogeneous containers保存不同类型值，但“不同”有多种边界。std::tuple<Ts...>是compile-time fixed positions/types；variadic template可遍历parameter pack并为每个位置生成代码。std::variant<Ts...>是closed alternatives，一次只active一个type；std::any是open set type erasure，runtime才检查具体type。

using Field = std::variant<std::int64_t, double, std::string>;
 
std::string render(const Field& field) {
    return std::visit(
        [](const auto& value) {
            using T = std::decay_t<decltype(value)>;
            if constexpr (std::is_same_v<T, std::string>) return value;
            else return std::to_string(value);
        },
        field);
}

tuple适合字段位置有静态意义的product type；variant适合closed sum type并支持exhaustive visitor；any适合plugin metadata等open extension boundary，但可能allocation且any_cast有runtime failure。不要用tuple index替代有名字的domain type，也不要用any绕开本可静态列举的alternatives。

reflection、safe cast与compile-time hash

C++17没有通用standard reflection，可通过traits表、member pointer tuple、registration macro或generated metadata暴露有限结构。这样的“反射”只看到显式注册内容，需处理inheritance、private member、rename和schema version。compile-time metadata能生成serializer/dispatcher，但不能凭空读取任意class布局。

safe cast的目标不是包装static_cast，而是在compile time拒绝不支持的type pair，并在runtime检查依赖value的range/tag。downcast可用dynamic_cast承接polymorphic RTTI contract；numeric cast检查range与signedness；variant extraction用get_if。不同cast风险不同，不应由一个unchecked模板统一隐藏。

compile-time hash可把string literal在constant evaluation中变成integer ID，用于switch-like dispatch或registry key。hash不是unique proof：collision仍可能发生，外部输入还需比较原string或使用collision resolution；跨版本持久化也要固定algorithm与encoding。

constexpr std::uint64_t fnv1a(std::string_view text) {
    std::uint64_t value = 14695981039346656037ull;
    for (const unsigned char byte : text) {
        value ^= byte;
        value *= 1099511628211ull;
    }
    return value;
}
 
static_assert(fnv1a("render") == fnv1a(std::string_view{"render"}));

compile-time hash把重复计算移出runtime并可参与case/table generation，但binary中仍需处理untrusted runtime key。若只用hash决定类型或权限，collision会变成correctness/security bug。生成registry时可static_assert已知keys互异，runtime仍保留secondary equality。

编译期性能也要测量

每个template argument组合可能产生新instantiation，带来compile time、object file与instruction-cache成本。specialization有利于inline/vectorization，也可能code bloat。用compiler time trace、binary size、symbol map和runtime profile共同判断；把type-independent核心移到non-template function、限制instantiation set或explicit instantiation都是可选手段。

metaprogram的错误成本还包括diagnostic。把低层substitution failure包在named trait/concept后，用static_assert给出domain message；为unsupported type写negative compile tests。可维护性不是性能之外的问题，因为难以验证的元程序更容易留下隐藏runtime fallback或实例化爆炸。

第8章实验协议

1. 分别用TMP recursion、constexpr function计算同一常量，比较diagnostic和compile trace。
2. 为traits/detection覆盖有member、无member、private/incompatible signature与proxy return。
3. 用enable_if构造两个候选，验证条件互斥并保留明确fallback error。
4. 对if constexpr的两种type实例化，确认discarded branch可含另一侧专属operation。
5. 比较tuple、variant、any的object size、visit/cast、allocation与failure path。
6. 为safe numeric cast覆盖signed/unsigned、boundary、NaN、fraction与constant evaluation。
7. 对compile-time hash的closed keys做collision static check，runtime key保留equality验证。
8. 扩大template type组合，记录compile time、binary size、hot code与runtime收益。

小结

• template metaprogramming在instantiation期间计算type/value，static_assert把结果变成contract
• integral_constant和type traits把编译期值/类型事实统一成可组合接口
• decltype、void_t、enable_if与is_detected判断expression是否well-formed，但不证明语义
• constexpr允许常量求值；if constexpr按type/value条件丢弃未选实例化分支
• tuple/variadic表示静态异构product，variant表示closed alternatives，any表示open runtime type set
• C++17 reflection依赖显式metadata；safe cast必须匹配numeric、RTTI或variant风险
• compile-time hash仍会碰撞，外部key必须保留collision resolution
• 编译期工作也消耗compile time、binary size和diagnostic预算