对“抽象”超类使用复制构造函数

Question

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

我是这样使用 shared_ptr 的：

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

在程序的另一部分，我想使用抽象超类 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 null )

打印是这样定义的：

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));
}

然后在 conjoin 中这样使用：

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

如果你没有定义一个复制ctor，编译器会生成一个默认的，做成员复制。您可能想要的是多态克隆，以保留类型并调用适当的复制 ctor。为此，添加一个新的虚拟成员，例如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);
}