Question

我有一个类A（来自我无法控制的库），其中包含私有拷贝构造函数和clone方法，以及派生类B来自A。我也想为clone实施B。

天真的方法

#include <memory>

class A { // I have no control here
  public:
    A(int a) {};

    std::shared_ptr<A>
      clone() const
      {
        return std::shared_ptr<A>(new A(*this));
      }

  private:
    A(const A & a) {};
};

class B: public A {
  public:
    B(int data, int extraData):
      A(data),
      extraData_(extraData)
    {
    }

    std::shared_ptr<B>
    clone() const
    {
      return std::shared_ptr<B>(new B(*this));
    }

  private:
    int extraData_;
};

int main() {
  A a(1);
}

然而，失败了，因为A的复制构造函数是私有的：

main.cpp: In member function ‘std::shared_ptr<B> B::clone() const’:
main.cpp:27:42: error: use of deleted function ‘B::B(const B&)’
     return std::shared_ptr<B>(new B(*this));
                                      ^
main.cpp:17:7: note: ‘B::B(const B&)’ is implicitly deleted because the default definition would be ill-formed:
 class B: public A {
       ^
main.cpp:14:5: error: ‘A::A(const A&)’ is private
     A(const A & a) {};
     ^
main.cpp:17:7: error: within this context
 class B: public A {

可能有一种方法可以将A::clone()用于B::clone()，但我不确定这是如何完全正常的。任何提示？

Answer 1

我认为你的B根本没有公众成员，这是一个错字，而且您在public:的定义之前错过了B::B(int,int)。

您A所代表的班级的作者显然希望它成为可复制但不可复制构造。这表明他或她想要所有生活在堆上的实例。但相反，有公众构造函数A::A(int)。你确定你是对的吗？

假设班级能够透露足够的信息，这似乎是合理的关于给定实例构成另一个实例。例如，推杆 A上的一点点肉体：

class A {
public:
    A(int a) 
    : data_(a){};

    std::shared_ptr<A>
    clone() const
    {
        return std::shared_ptr<A>(new A(*this));
    }

    int data() const {
        return data_;
    }

private:
    A(const A & a) {};
    int data_;
};

如果这是真的，那么公共构造函数只会渲染它绕过私有的，未定义的复制构造函数是不方便的：

A a0(1);
A a1{a0.data()};     // Inconvenient copy construction

所以我不太相信A忠实地代表了这个问题类。然而，从表面上看，你需要回答的问题是：你甚至可以不方便地复制构建 A？

如果没有，那么你就被困住了。如果是这样，那么你可以使用不方便的副本构造A以明确定义B的传统复制构造函数，这就是你所需要的。 E.g。

class B: public A {
public:
    B(B const & other)
    : A(other.data()),extraData_(other.extraData_){}    

    B(int data, int extraData):
    A(data),
    extraData_(extraData)
    {
    }

    std::shared_ptr<B>
    clone() const
    {
        return std::shared_ptr<B>(new B(*this));
    }

    int extradata() const {
        return extraData_;
    }

private:
    int extraData_;
};

#include <iostream>

int main()
{
    B b(1,2);
    std::shared_ptr<B> pb = b.clone();
    std::cout << pb->data() << std::endl;
    std::cout << pb->extradata() << std::endl;
    return 0;
}

Answer 2

您需要使A的复制构造函数受到保护，以便派生类可以使用它：

protected:
    A(const A & a) { /*...*/ }

希望有所帮助。

Answer 3

B的复制构造函数的默认定义格式错误的原因是 - 如果允许的话 - 它将调用私有（因此B无法访问）并且未定义复制构造函数A。

使A的复制构造函数受保护或公开，因此B可以访问它。另一个（非常糟糕的）选项是将类B声明为A的朋友。所有可能性还需要您为A的复制构造函数提供定义。

隐式删除了复制构造函数，因为默认定义不正确

3 个答案: