将子类传递给接受其超类的函数

Question

假设我有三个课程 - Animal、Cat 和 Dog，其中 Cat 和 Dog 是 Animal 的子类（这听起来像第一堂课，但它不是我的作业承诺，只是简化真正的代码）

Dog* spike = new Dog(); 
Cat* puss = new Cat();   

int main(int argc, char** argv)
{
    function(spike, puss);
    return 0;
}

void function(Animal *pet, Animal *pet2)
{
   magic->andSoForth();
}

现在这会产生以下错误：

Cannot convert parameter 1 from 'Dog *' to 'Animal'
  No constructor could take the source type,
    or constructor overload resolution was ambiguous

将参数更改为完全匹配会产生类似的错误，只是它说它不能从一个类转换为同一个类。

我已经成功地调用了从超类继承的子类函数和成员，所以我知道这在逻辑上应该可以工作。我只是不知道这种语言要我以什么扭曲的方式扭曲逻辑。

编辑

解决方案恰好是：指针混淆了所有人。

• 声明指针。
• 将指针作为参数发送给不处理指针的函数。

在我的示例中，我将“非指针”发送到需要指针的函数，我只是切换了它。现在它工作正常。

Answer 1

当您动态分配一个新对象时，您会得到一个指向该对象的指针。所以你需要像这样将它存储在一个指针中：

Dog* spike = new Dog();
Cat* puss = new Cat();

然后您可以将spike 或puss 传递给Animal* 类型的任何参数，假设Dog 和Cat 确实继承自Animal。这是 C++ 中多态的基础知识：

类型为“pointer to cv D”的纯右值，其中D是类类型，可以转换为类型为“pointer to cv”的纯右值> B”，其中B 是D 的基类（第10 条）。

当然，您可以立即将它们存储为Animal*：

Animal* spike = new Dog();
Animal* puss = new Cat();

别忘了delete他们。更好的是，根本不要使用new：

Dog spike;
Cat puss;
void function(const Animal&, const Animal&);
function(spike, puss);

Answer 2

合理假设您遇到的问题是将指针分配给非指针，反之亦然。但是您的代码不是真正的代码，而且您的错误消息显然不是真正的错误消息。所以这都是猜测，特别是那些已经发布的答案说“就是这样”（可能是，但不一定，不确定性完全是你自己的错）。

---

编辑：OP 在我发布此内容 10 秒后更改了问题的代码。

代码仍然与声称的错误消息不一致。

随着这个问题的变化，我不会追究它。

---

现在，该做什么了……

---

不要使用new。

经验丰富的 C++ 程序员有时会以受控方式使用 new，并使用合适的代码进行包装。不称职的 C++ 程序员经常理所当然地使用new。但总的来说，你不需要它，而且它有问题，所以最好默认不要使用它。

然后，您的程序（您忽略显示）将如下所示：

#include <iostream>

struct Animal {};
struct Dog: Animal {};
struct Cat: Animal {};

void function(Animal const& pet1, Animal const& pet2 )
{
   //magicAndSoForth();
}

int main()
{
    Dog spike; 
    Cat puss;

    function( spike, puss );
}

Answer 3

你的function 原型几乎可以肯定地说

void function(Animal pet1, Animal pet2);

或类似的东西。 （我知道你有一个原型，因为function 出现在main 之后。如果你没有前向声明它，C++ 会抱怨它根本找不到function，而不是它采用了错误的类型args。）

问题是，你真正的function 需要指针。由于main 出现在真正的function 之前，因此它看不到这一点。它只看到一个接受实际Animals 的声明，因此它尝试使用它......但失败了，因为 Animal 指针不是 Animal。 （与原型不同的真正 function 在 C++ 中很好，因为可能会重载。据编译器所知，function(Animal, Animal) 存在于另一个翻译单元中，而您也只是在定义 function(Animal*, Animal*)。）

查看您的代码以查找function 的声明，并说明

void function(Animal *pet1, Animal *pet2);

与实际函数的签名相匹配。

PS：如果您已包含所有相关声明，这将更容易弄清楚。

PPS： 一个更好的主意是使用引用，例如 suggested by Alf。但无论如何，为了做到这一点，您必须首先修复原型不匹配（或使真正的函数出现在使用它的代码之前）

Answer 4

嗯，你需要做的就是这个

Animal *spike = new Dog();
Animal *puss = new Cat();

基本上，所有指针定义都必须属于基类，并且可以使用派生类指针进行初始化。

Answer 5

这就是它应该的样子。

Dog* spike = new Dog();
Cat* puss = new Cat();

function(*spike, *puss);

void function(Animal pet, Animal pet2)
{
   //magic
}

经过测试并且可以正常工作。