SFINAE

SFINAE 是 C++ 模板元编程中的核心原则，它使编译器能够在编译期间选择最合适的函数模板或类模板特化。其原理是：当编译器尝试将模板实参代入模板时，如果代入结果产生无效的类型或表达式，这一失败并不会立即被当作编译错误处理；相反，编译器会静默丢弃该特化，继续寻找其他可行的候选，从而实现基于类型特征（type traits）及其他编译期属性的条件编译。