C++定义一个函数，如果另一个函数不存在

在 C++11 及以上版本中，您可以使用以下模式以简单的方式进行成员检测:

template <typename MyClass>
auto swap(MyClass &lhs, MyClass &rhs) -> decltype (lhs.swap(rhs), void())
{
    std::cout << "Swapping LHS with RHS by calling the member function!\n";
    lhs.swap(rhs);
}

也就是说，通过使用后期返回类型，我们可以在 lhs 中使用名称 rhs 和 decltype ，并且可以使用逗号运算符链接 decltype 中的多个表达式。如果包含的表达式无效，decltype 将无法进行类型检查，但这不会引发编译器错误，而是触发 SFINAE，因为它在类型解析期间遇到。

上面的代码工作完美，只要:

MyClass 不是我们当前类的 CRDT 子类，因为在这种情况下，由于继承，当前类首先被编译，因此还不能访问子类中定义的成员。

这不能用来做相反的事情:如果另一个函数不存在，只定义一个函数实现。

这就是这个问题的内容:

如果另一个成员函数不存在，如何才能定义(n 重载模板)函数？

例如，上面的示例定义了一个包装 swap(lhs, rhs) 函数的 lhs.swap(rhs)。但是，在 lhs.swap(rhs) 不存在的情况下，我想创建一个替代变体，而不是调用 lhs.swap(rhs) ，而是调用 std::swap(lhs, rhs) 。

请注意，我不想在这里使用 ADL 查找，因为这就是重点:这个想法是为任何仅(可能)定义了 swap(lhs, rhs) 函数的类提供 lhs.swap(rhs) 函数。

如何做到这一点？

最佳答案

为此，您需要使用 std::enable_if 。

这是一个例子。为简单起见，我使用相同方法的不同公式来检测成员的存在，并将其包装在 trait has_member_swap 中。

template <typename... T> struct make_void { typedef void type; };
template <typename... T> using void_t = typename make_void<T...>::type;

template <typename, typename, typename = void>
struct has_member_swap : std::false_type { };
template <typename T1, typename T2>
struct has_member_swap<T1, T2,
  void_t<decltype( std::declval<T1&>().swap(std::declval<T2&>()) )>
> : std::true_type { };

template <typename T>
std::enable_if_t<has_member_swap<T,T>::value> swap(T& lhs, T& rhs) {
  lhs.swap(rhs);
}

template <typename T>
std::enable_if_t<!has_member_swap<T,T>::value> swap(T& lhs, T& rhs) {
  std::swap(lhs,rhs);
}

std::void_t 从 c++17 开始可用。

关于C++定义一个函数，如果另一个函数不存在，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/42101566/