标签: metaprogramming

与该标签相关的所有文章 "metaprogramming".

• 现代 C++(四)：模板元编程从 SFINAE 到 Concepts

  2025年8月7日
  现代 C++

  C++ 模板元编程（TMP）的本质是把编译器当成纯函数式解释器：类型是值、模板是函数、偏特化是模式匹配。SFINAE 是语言规则的副作用被滥用成约束机制的历史遗留，C++17 if constexpr + C++20 Concepts 把"编译期分支"和"约束表达"从巫术升级为一等公民，错误信息从 200 行模板栈变成一行说明。业务代码 95% 用不到深度 TMP，但读标准库和调试模板错误必须看得懂。