对"abstract"超类使用复制构造函数

Use copy constructor for "abstract" super class

本文关键字：复制 构造函数 超类 abstract      更新时间：2023-10-16

我有一个"抽象"超类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定义复制构造函数。我不知道它应该做什么。编译器对代码很好，但不幸的是，当我测试这样的连接时:

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

在例如NumericRepresentation中的实现

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
我不明白!什么错了吗?

编辑:ok，很好!它与const和虚函数有关。

谢谢!

Joachim

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