子对象作为参数

child object as a parameter

本文关键字：参数 对象      更新时间：2023-10-16

我想做如下事情：

virtual void Aircraft::getImage(GenericImage&)=0;
void Drone::getImage(Image&);

哪里 Image是GenericImage的子类 Drone是Aircraft的一个子类。

如何要求 Drone 类具有getImage(any subclass of genericImage&)方法，而不会让编译器抱怨genericImage和Image不是一回事？我希望最终用户/开发人员能够使用自己的图像格式定义自己的无人机类，该格式扩展genericImage但无论他们创建什么，他们都必须提供从无人机获取图像的功能。

不要采用 out 参数，只需返回图像即可。允许返回类型是协变的。这意味着，只要Image实际上公开从GenericImage派生，就可以了：

virtual GenericImage& Aircraft::getImage() = 0;
virtual Image& Drone::getImage();
不可能以

这种方式更改参数，也不应该这样做，因为它通常会违反 Liskov 替换原则 (LSP(：根据定义，Aircraft::getImage可以接受任何GenericImage，其中包括 GenericImage 的任意子类。子类必须符合该接口，因此还必须接受任何GenericImage。但是，您明确希望指定它仅接受特定的子类型 Image 。

请注意，返回类型的情况有所不同，因为它们表示函数生成的东西而不是函数接受的东西(你可能会说你的getImage也产生，但C++不知道 out 参数的概念，你确实必须将现有对象传递给 getImage 才能用图像数据填充它(。由于对于返回类型，转到派生类型不会违反 LSP，C++确实允许它(该功能称为协变返回类型(。因此，解决方案是在函数中分配图像对象并返回该对象(最好使用指针 - 不幸的是，智能指针不适用于协变返回类型 - 来指示发生的分配(。也就是说，您的函数将读取

class Aircraft
{
  virtual GenericImage* getImage() = 0;
};
class Drone: public Aircraft
{
  virtual Image* getImate() { return new Image(); }
};

但是，您很可能只会使用基类接口，因此我宁愿只使用接口中的GenericImage，而是利用智能指针：

class Aircraft
{
  virtual std::unique_ptr<GenericImage> getImage() = 0;
};
class Drone: public Aircraft
{
  virtual std::unique_ptr<GenericImage> getImate() { return new Image(); }
};
相关文章：