c++ - SFINAE 离开了一个拷贝构造函数

Question

在某些条件下，我希望 SFINAE 去掉类模板的复制构造函数和复制赋值运算符。但是如果我这样做，就会生成一个默认的复制构造函数和一个默认的赋值运算符。 SFINAE 是基于我作为类模板参数传递的标签完成的。问题是，SFINAE 仅适用于模板，而复制构造函数/赋值运算符不能是模板。是否有解决方法？

Answer 1

此解决方案使用有条件不可复制的基类(通过将复制构造函数和复制赋值运算符显式标记为已删除)。

template <bool>
struct NoCopy;

template <>
struct NoCopy<true>
{
   // C++11 and later: marking as deleted. Pre-C++11, make the copy stuff private.
   NoCopy(const NoCopy&) = delete;
   NoCopy& operator=(const NoCopy&) = delete;
   protected:
      ~NoCopy() = default; // prevent delete from pointer-to-parent
};

template <>
struct NoCopy<false>
{
   // Copies allowed in this case
   protected:
      ~NoCopy() = default; // prevent delete from pointer-to-parent
};

示例用法:

template <typename Number>
struct Foo : NoCopy<std::is_integral<Number>::value>
{
   Foo() : NoCopy<std::is_integral<Number>::value>{}
   {
   }
};

int main()
{
   Foo<double> a;
   auto b = a; // compiles fine
   Foo<int> f;
   auto g = f; // fails!
}

注意:NoCopy 的析构函数被声明为 protected 以避免虚拟继承(感谢@Yakk 的提示)。