c++++函数重载和sfinae技术重载函数定义具有相同名称但参数类型不同的多个函数。允许在不同情况下使用具有相同名称和语义的函数。sfinae（依赖类型函数）基于模板函数的参数类型选择不同的函数版本。利用特殊的模板函数（sfinae函数），其返回类型在某些情况下会编译失败。通过检查函数返回值的类型推断参数类型。实战案例展示了使用重载函数和sfinae专门化来执行整型和浮点型求和操作。

C++ 函数重载和 SFINAE 技术

函数重载

函数重载是指具有相同名称但具有不同参数类型的多个函数。它允许我们在不同情况下使用具有相同名称和语义的函数。

// 重载函数
int sum(int a, int b) { return a + b; }
double sum(double a, double b) { return a + b; }

SFINAE: 依赖类型函数

SFINAE（通过失败推断名称）是一种技术，它允许我们基于模板函数的参数类型选择不同的函数版本。它使用了一种特殊的模板函数，称为 SFINAE 函数。

立即学习“C++免费学习笔记（深入）”；

SFINAE 函数具有一个返回类型，该类型在某些情况下会失败编译。通过检查函数返回值的类型，我们可以推断出传递给函数的参数的类型。

例如，我们可以使用 SFINAE 来专门化 sum 函数：

// SFINAE 专门化
template <typename T>
typename std::enable_if<std::is_integral<T>::value, int>::type
sum_int(T a, T b) { return a + b; }

template <typename T>
typename std::enable_if<std::is_floating_point<T>::value, double>::type
sum_double(T a, T b) { return a + b; }

上述代码中：

• std::is_integral 和 std::is_floating_point 是 SFINAE 函数，它们会根据参数类型返回 true 或 false。
• std::enable_if 是另一个 SFINAE 函数，它根据前面 SFINAE 函数的结果选择返回类型。

实战案例

// 实战案例
int main() {
  int a = 10, b = 20;
  double c = 30.5, d = 40.75;

  // 使用重载函数
  std::cout << "整型和: " << sum(a, b) << "n";
  std::cout << "浮点型和: " << sum(c, d) << "n";

  // 使用 SFINAE 专门化
  std::cout << "整型和: " << sum_int(a, b) << "n";
  std::cout << "浮点型和: " << sum_double(c, d) << "n";

  return 0;
}

输出：

整型和: 30
浮点型和: 71.25
整型和: 30
浮点型和: 71.25