SFINAE

SFINAE 是 C++ 模板元编程的核心原则，它使编译器能够在编译期间选择最合适的函数或类模板特化。它利用了这样一种理念：当编译器尝试将模板参数代入模板，而代入结果导致无效类型或表达式时，这种失败不会立即被视为编译错误。相反，编译器会静默丢弃该特化，并继续搜索其他可行的选项，从而允许基于类型特征和其他编译时属性进行条件编译。