函数参数类型擦除使泛型函数可以在运行时接受不同类型的参数，同时保持对类型信息的访问。通过使用 std::any 类，可以存储和获取类型信息，并使用 sfinae 在特定类型值上执行操作。

C++ 函数参数类型擦除：管理泛型代码中的类型信息

在 C++ 中，泛型函数允许您编写可应用于各种类型参数的代码。然而，在将泛型函数与需要特定类型信息的代码一起使用时可能会出现问题。函数参数类型擦除由此产生。

类型擦除的原理

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

类型擦除是指在运行时擦除类型信息的过程。在 C++ 中，这意味着在编译时确定类型参数，但在运行时对其进行清除。这允许泛型函数接受不同类型的参数，而无需将类型信息传递给函数。

要实现类型擦除，您可以使用 C++ 的 std::any 类。它是一个万能容器，可存储不同类型的值。可以通过使用 std::any::type() 和 std::any::emplace() 方法来获取和存储类型信息。

实战案例

假设我们有一个泛型函数 process(), 它接受一个值并对其执行某些操作。我们要使用它来处理不同类型的数值。

template <typename T>
void process(const T& value) {
  // 在此对值执行操作
}

现在，我们可以使用 std::any 来传递不同的类型值给函数：

int value_int = 42;
float value_float = 3.14;

std::any any_int(value_int);
std::any any_float(value_float);

process(any_int);
process(any_float);

在函数 process() 中，我们可以使用 std::any::type() 获取值类型，然后使用类型条件表达式（SFINAE）在不同类型值上执行特定操作：

template <typename T>
void process(const std::any& value) {
  if constexpr (std::is_same_v<T, int>) {
    // 处理 int 型值
  } else if constexpr (std::is_same_v<T, float>) {
    // 处理 float 型值
  }
}

通过这种方式，我们可以编写处理各种类型值的泛型代码，同时保持对类型信息的访问。