c++ - 为 "abstract"父类(super class)使用复制构造函数

Question

我有一个名为 RealAlgebraicNumber 的“抽象”父类(super class)和两个名为 IntervalRepresentation 和 NumericRepresentation 的继承类。 IntervalRepresentation 和 NumericRepresentation 都有一个复制构造函数，它们工作正常。

我这样使用 shared_ptr:

typedef std::tr1::shared_ptr<RealAlgebraicNumber> RealAlgebraicNumberPtr;

在程序的另一部分，我想使用抽象父类(super class) RealAlgeraicNumber 的复制构造函数:

RealAlgebraicPoint RealAlgebraicPoint::conjoin (const RealAlgebraicNumber& N)
{
    vector<RealAlgebraicNumberPtr> v (mNumbers.begin(), mNumbers.end());
    v.push_back(RealAlgebraicNumberPtr(new RealAlgebraicNumber(N)));
    return RealAlgebraicPoint(v);
}

我根本没有为 RealAlgebraicNumber 定义复制构造函数。我不知道它应该做什么。编译器对代码没问题，但不幸的是，当我像这样测试 conjoin 时:

vector<RealAlgebraicNumberPtr> v;
v.push_back(RealAlgebraicNumberPtr(new NumericRepresentation(2)));
RealAlgebraicPoint PPP (v);
PPP.print();
PPP = PPP.conjoin (NumericRepresentation(3));
PPP.print();

输出是:

( 2 )( 2 无效 )

打印是这样定义的:

void RealAlgebraicNumberFactory::print (const RealAlgebraicNumberPtr& A)
{
    IntervalRepresentationPtr irA = std::tr1::dynamic_pointer_cast<IntervalRepresentation> (A);
    NumericRepresentationPtr nrA = std::tr1::dynamic_pointer_cast<NumericRepresentation> (A);
    if (irA != 0)
        cout << irA->Interval();
    else if (nrA != 0)
        cout << static_cast<numeric>(*nrA);
    else
        cout << "null";
}

我使用循环调用静态打印函数并将表示放在 ( ) 之间。

我按照 Cat Plus Plus 提出的方式进行了尝试:RealAlgebraicNumber 中的虚方法，

virtual std::tr1::shared_ptr<RealAlgebraicNumber> clone();

例如实现数值表示

RealAlgebraicNumberPtr NumericRepresentation::clone()
{
    return RealAlgebraicNumberPtr(new NumericRepresentation(*this));
}

然后在连接中像这样使用它:

RealAlgebraicPoint RealAlgebraicPoint::conjoin (const RealAlgebraicNumber& N)
{
    vector<RealAlgebraicNumberPtr> v (mNumbers.begin(), mNumbers.end());
    v.push_back(RealAlgebraicNumberPtr(N.clone()));
    return RealAlgebraicPoint(v);
}

现在编译器提示:

RealAlgebraicPoint.cpp: In member function 'GiNaC::RealAlgebraicPoint  GiNaC::RealAlgebraicPoint::conjoin(const GiNaC::RealAlgebraicNumber&)':
RealAlgebraicPoint.cpp:66:48: error: passing 'const GiNaC::RealAlgebraicNumber' as 'this' argument of 'virtual std::tr1::shared_ptr<GiNaC::RealAlgebraicNumber> GiNaC::RealAlgebraicNumber::clone()' discards qualifiers

我不明白!怎么了？

编辑:好的!它与 const 和 virtual 有关。

谢谢!

约阿希姆

Answer 1

如果您没有定义复制构造函数，编译器将生成一个默认复制构造函数，进行逐成员复制。您可能想要的是多态克隆，以保留类型并调用适当的复制构造函数。为此，添加一个新的虚拟成员，例如virtual RealAlgebraicNumber* clone();，并在每个子类中覆盖它以执行 return new T(*this); — 然后你的 conjoin 将看起来像这样:

RealAlgebraicPoint RealAlgebraicPoint::conjoin (const RealAlgebraicNumber& N)
{
    vector<RealAlgebraicNumberPtr> v(mNumbers.begin(), mNumbers.end());
    v.push_back(RealAlgebraicNumberPtr(N.clone()));
    return RealAlgebraicPoint(v);
}