面试题：C++ 中 SFINAE 在模板实例化时如何处理函数重载

SFINAE 原则在函数重载中的作用：
- 在 C++ 模板实例化时，SFINAE 原则规定，如果在替换模板参数过程中导致类型错误，这不是一个硬错误（不会导致编译失败），而是该模板被视为不可行的重载候选。这使得编译器在重载解析过程中能够更灵活地选择合适的函数模板实例化。
- 例如，在函数重载中，编译器会尝试为每个函数模板实例化参数。如果某个模板的参数替换导致类型不匹配等错误，基于 SFINAE 原则，该模板对应的函数不会导致编译错误，而是从重载候选集中被排除，编译器继续在其他可行的重载候选中寻找最佳匹配。
举例说明编译器如何选择合适的函数实例化：

#include <iostream>
#include <type_traits>

// 模板函数 1
template <typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
print_type(T t) {
    std::cout << "This is an integral type: " << t << std::endl;
}

// 模板函数 2
template <typename T>
typename std::enable_if<!std::is_integral<T>::value, void>::type
print_type(T t) {
    std::cout << "This is not an integral type: " << t << std::endl;
}

int main() {
    int num = 10;
    double dbl = 3.14;

    print_type(num);
    print_type(dbl);

    return 0;
}

在这个例子中：

当调用 print_type(num) 时，num 是 int 类型，是整数类型。对于第一个模板函数 print_type(T t)，std::is_integral<T>::value 为 true，其 std::enable_if 的条件满足，该模板函数是可行的重载候选。对于第二个模板函数，std::is_integral<T>::value 为 true，!std::is_integral<T>::value 为 false，其 std::enable_if 的条件不满足，基于 SFINAE 原则，该模板函数从重载候选集中排除。所以编译器选择第一个模板函数进行实例化并调用。
当调用 print_type(dbl) 时，dbl 是 double 类型，不是整数类型。对于第一个模板函数，std::is_integral<T>::value 为 false，其 std::enable_if 的条件不满足，基于 SFINAE 原则，该模板函数从重载候选集中排除。对于第二个模板函数，std::is_integral<T>::value 为 false，!std::is_integral<T>::value 为 true，其 std::enable_if 的条件满足，该模板函数是可行的重载候选。所以编译器选择第二个模板函数进行实例化并调用。

星途面试题库

面试题：C++ 中 SFINAE 在模板实例化时如何处理函数重载

知识考点

面试题答案