3

鉴于：

class Base:
{
  public:
  ...
  Base operator+( const Base& other );
  Base& scale( float num );
}

class Derived : public Base:
{
  public:
  ...
  Derived( const Base& other );
  float super_math_wizardry();
}

//A user can do the following:

Base b1,b2,b3;
Derived d1,d2,d3;

b3 = b1 + b2;
d3 = d1 + d2;

b3 = b1.scale( 2.0f );
d3 = d1.scale( 3.0f ); //scale returns Base& type that is converted to Derived

float x,y;

x = (d1+d2).super_math_wizardry(); //compiler type error since d1+d2 returns Base type
y = (d1.scale(4.0f)).super_math_wizardry(); //similar compiler error

x = Derived(d1+d2).super_math_wizardry(); //works
y = Derived(d1.scale(4.0f)).super_math_wizardry(); //works

有没有办法让前两个语句工作而无需重新实现 Derived 中的每个 Base 方法（使 Derived 方法调用 Base 方法并返回 Derived 类型）并且不需要用户进行强制转换/调用复制构造函数？

编辑：所有 Derived 对象都在 Base 对象集中（类继承需要），但并非所有 Base 对象都在 Derived 对象集中。它们具有相同的数据成员，但 Derived 对象具有分配给这些数据成员之一的常量值（所有 Derived 对象具有相同的常量值）。

有许多特定于 Base 或 Derived 的方法，但大多数运算符和 set/get 访问器在 Base 和 Derived 对象上具有相同的定义行为。我想要做的事情是当我在 Derived 对象上调用 Base 方法时返回 Derived 或 Derived& （因为这些操作是在数学上定义的），同时在调用 Base 方法时仍然得到 Base 或 Base&在 Base 对象上。

上下文：Base 是一个 Matrix 类，而 Derived 是一个 Vector（列）类。Derived( const Base& other ) 构造函数用于从单列 (nx1) 矩阵中显式获取向量。

所以我想要：

x = (d1+d2).super_math_wizardry(); //works
y = (b1+b2).super_math_wizardry(); //fails (although possibly at run-time since a nx1 Matrix is a column vector)
4

2 回答 2

3

鉴于您的上下文，我认为您遇到的根本问题是通知编译器Derived对象集在operator+. 我知道，你知道，但是 C++ 语言中没有特殊的快捷方式来表达它。您确实需要实施Derived Derived::operator+(const Derived&) const.

我可能会做Derived(const Base &other)构造函数explicit。如果 的尺寸错误，它可能会引发异常other，因此用户不应该期望隐含地发生这种情况。他们需要知道这是正确的，所以他们可能不得不说他们希望它发生。

于 2012-06-12T20:10:15.003 回答
2

那么简短的回答是，不。

这些函数的返回类型为 Base。您要求编译器执行的操作与执行操作没有什么不同

Derived d1;
Base* b = &d1;
b->super_math_wizardry(); // This is also wrong since we don't know that b can be
                          // a derived class

根本没有办法做到这一点，因为语言无法知道上述和

Base* b1 = new Base();
b1->super_math_wizardry(); // This is just plain wrong
于 2012-06-12T20:07:49.640 回答