C++派生类对象复用返回基类对象的非虚运算符的实现方法

你对继承复用的边界存在一个非常普遍的初学者偏差：

• 继承支持的代码复用，本质是复用已经实现的针对基类成员的操作逻辑，从来不是自动让基类函数的返回值适配成任意派生类类型。
• 你当前实现的基类operator+从设计层面就明确只生成、只返回Creature类型对象，编译阶段这个函数根本不知道Reptile类的存在，自然不可能凭空生成一个包含Reptile专属成员的派生类对象，也就没办法隐式转换成Reptile类型。编译器的报错本质是在拦截这种存在安全隐患的类型转换。

不需要推翻已经写好的基类逻辑，只要在派生类中做一层极薄的类型适配，就能100%复用已经实现的坐标求和逻辑，完全不重复写计算代码：

• 给Reptile类补充和基类同参数签名的operator+重载
• 函数内部直接调用基类已经实现好的坐标求和+=逻辑，不需要重写任何坐标计算代码

示例代码：

// Reptile类的成员函数实现
Reptile Reptile::operator+(const Position& source) const
{
    // 生成和当前Reptile对象完全一致的副本，所有派生类专属成员值保持不变
    Reptile result = *this;
    // 直接复用基类的坐标求和逻辑，零代码重复
    static_cast<Creature&>(result) += source;
    return result;
}

很多初学者会在这里产生认知矛盾：既然派生类继承了基类的坐标成员，为啥基类函数不能直接操作派生类对象？

从设计逻辑上，基类的实现完全不知道派生类有哪些专属成员。比如后续你给Reptile增加“爬行速度”“鳞片密度”这些爬行动物专属属性，基类的operator+既不知道这些成员的存在，也不知道运算后这些属性应该取什么值，就算强行返回一个Reptile类型对象，这些专属成员也全是未初始化的垃圾值，完全不具备安全性。

你刚才的实现适配，恰恰是继承复用的正确打开方式：所有涉及基类成员（坐标）的计算逻辑全部复用基类已写好的代码，你只需要保证返回的对象是包含所有派生类成员的合法对象即可，不需要重复开发坐标计算的轮子。

内容的提问来源于stack exchange，提问作者Michel H