如果找到函数，则启用复制构造函数

Question

我有一个围绕 Foo* 的 RAII 包装器，其中 Foo 是一个库。

这个类看起来很像这样：

struct Handle{
  Foo* p;
  Handle(): p(foo_new()){}
  Handle(Handle&& f): p(std::exchange(f.p, nullptr)){}
  Handle(const Handle& f){
    p = foo_clone(f.p);
  }
};

为简洁起见，省略了错误处理和赋值运算符。

现在的问题是，foo_clone 在 1 个库版本中可用，但不是更早的版本，并且包装器应该支持两者。没有*_VERSION 宏可供我检查，因此我需要在 C++ 中而不是预处理器中进行检查。

我想到了类似的东西：

template<class T, decltype(foo_clone(std::declval<T>().p)) = nullptr>
Handle(const T& f){...}

但这不起作用：定义的 move-ctor 要求我逐字添加一个复制 ctor 作为Handle(const Handle&)，似乎不允许使用模板欺骗，否则编译器会认为 copy-ctor 被隐式​​删除。

我能做什么？

Answer 1

你不能确实 SFINAE 那个不应该是模板的特殊成员。

所以你可以模板类本身：

// I let you implement traits has_foo_clone<T>


template <typename T, bool = has_foo_clone<T>::value>
struct HandleImpl
{
  T* p;
  HandleImpl(): p(foo_new()) {}
  HandleImpl(HandleImpl&& f): p(std::exchange(f.p, nullptr)){}
  HandleImpl(const HandleImpl& f){ p = foo_clone(f.p); }
};

template <typename T>
struct HandleImpl<T, false>
{
    T* p;
    HandleImpl(): p(foo_new()) {}
    HandleImpl(HandleImpl&& f): p(std::exchange(f.p, nullptr)){}
    HandleImpl(const HandleImpl& f) = delete;
};

using Handle = HandleImpl<Foo>;

在 C++20 中，感谢 requires “丢弃”方法，您可能会做得更好：

template <typename T>
struct HandleImpl
{
  T* p;
  HandleImpl(): p(foo_new()) {}
  HandleImpl(HandleImpl&& f): p(std::exchange(f.p, nullptr)){}
  HandleImpl(const HandleImpl& f) requires(has_foo_clone<T>::value) { p = foo_clone(f.p); }
};

using Handle = HandleImpl<Foo>;