C++不可复制，除非有时

Question

我发现使类不可复制对我的代码质量有很大帮助。最初我使用 boost::noncopyable 执行此操作，但我发现 VC++ 编译器错误不如私有成员那么有用（双击会导致代码中的错误位置）。

T(T const&);
T& operator=(T const&);

事实上，它提醒我很多情况下类没有作为参考传递到它们应该传递的地方。如此之多，以至于我非常希望收到警告，即使是在类上，我只需要复制构造一次。

有没有好的方法可以做到这一点？例如，我正在考虑将上述两个方法保留为私有，并添加一个公共 T(T const&,bool dummy) 构造函数以在我真正想要复制构造时调用。或者也许可以将上述两种方法公开，并在复制构造时以某种方式激活编译器警告，从而在我确实想要的地方抑制警告。

或者也许有一个更好的方法？

Answer 1

不确定这是否正是您想要的，但如果您将复制构造函数标记为显式，则该类无法按值传递或复制初始化，但您可以使用直接初始化进行复制构造。

您可能希望将赋值运算符保持为私有，也许 NonAssignable 基对此很有用。

Answer 2

我认为你自己命名了一个完美的方式。

我刚刚记得我曾经在我工作的另一个代码库中玩过一个巧妙的（？）小技巧：

struct T
{
    friend class SomeClientThatCanConstructT;
    T(T const&);

  private:
     T(T const&);           
};

---

正如评论中所讨论的，以下内容不会飞

_{您可以选择显式名称（如 CopyConstruct）并依赖 RVO 来实现同样高效：}

struct T
{
     inline T CopyConstruct() const     { return *this; }
     inline T& AssignTo(T& dst) const   { return dst = *this; }
     inline T& AssignFrom(const T& src) { return *this = src; }

  private:
     T(T const&);
     T& operator=(T const&);
};

Answer 3

您可以默认构造一个 T，然后添加一个 assign 方法来使用。但这似乎并不完全最佳，表明您可能需要检查您的复印需求。

Answer 4

我不喜欢限制类型的想法（CopyConstructible 是整个 stdlib 中广泛使用的概念），因为它可能会被滥用。如果您可以从另一个实例构造一个对象，那么它应该是可复制构造的。它还会分散读者对重要代码的注意力，而没有任何实际目的。

也许复制构造函数触发的调试模式下的警告或断言确实是您正在寻找的？