调用隐式删除的复制构造函数

Question

我有以下设置：

class MyClass {
 public:
  static MyClass Clone(const MyClass& other) { 
    return MyClass(other, 10);
  }

  static MyClass CreateNormal(int x, int y) {
    return MyClass(int x, int y);
  }

  // There are a few more factory functions.

 private:
  // Constructor 1
  MyClass(int x, int y) : b_(x, y) {}

  // Constructor 2
  MyClass(const MyClass& other, int c) : b_(other.b_, c) {}

  // And a lot more constructors.


  // NotMyClass has its copy constructor deleted.
  NotMyClass b_;
}

int main() {
  MyClass A(1,2);

  MyClass B = MyClass::Clone(A); // ERROR
}

有没有办法在不修改NotMyClass 的情况下解决这个问题？ 发生错误是因为 MyClass 的复制构造函数被隐式删除。有没有办法可以使用 std::Move() 来解决这个问题？

我不能删除工厂函数，因为实际的类有很多构造函数，需要工厂函数来清晰和理解。

Answer 1

假设 c++11 标准的可用性，您可以延长工厂方法返回的右值引用的生命周期，而不是构造一个新对象，如下所示：

MyClass   A(1, 2);
MyClass&& B = MyClass::Clone(A);

附录： 正如 patatahooligan 在下面的评论中所指出的，您的 MyClass::Clone 版本本身可能存在复制构造函数调用。这可以/需要重写为

MyClass MyClass::Clone(const MyClass& other) {
    return {other, 10};
}

一旦 C++17 出现强制复制省略，所有这些都将完全没有必要，所以你可以期待。

---

在 C++03 中，尽管解决方案更长并且需要更多代码，但仍然可以实现预期的结果。我提供了两种选择：

我建议不要创建一组静态方法，而是使用标签调度来表示不同的构造函数含义。这是通过使用具有明确名称但不包含数据的类型参数重载构造函数来实现的。

struct clone_tag {};
class MyClass {
public:

    MyClass(int x, int y) : b_(x, y) {}
    MyClass(const MyClass& self, clone_tag) : b_(self.b_, 10) {}
private:

    NotMyClass b_;
};

int main() {
    MyClass   A(1, 2);
    MyClass   B(A, clone_tag());
}

或者这甚至可以达到真正的工厂模式，其中构建工厂和对象的最终构建是分开的。这显然需要更多时间来设置，但可以提高代码质量，具体取决于不同构造函数路径的实际数量。

class MyClass {
public:
    struct Clone {
        Clone(const MyClass& self) : self(self) {}
        const MyClass& self;
    };
    struct Init {
        Init(int x, int y) : x(x), y(y) {}
        int x, y;
    };

    MyClass(Init i) : b_(i.x, i.y) {}
    MyClass(Clone c) : b_(c.self.b_ , 10) {}
private:
    MyClass(const MyClass& other, int c) : b_(other.b_, c) {}

    NotMyClass b_;
};


int main() {
    MyClass   A = MyClass::Init(1, 2);
    MyClass   B = MyClass::Clone(A);
}

---

再想一想，我意识到给出三个不同的选择可能会比一个不太精确的简短答案造成更多的混乱。因此，我尝试按所需重构工作的顺序列出它们，尽管这只是对您的真实代码库的猜测。