使用 boost::shared_ptr 时的多态性

Question

如果我有一个带有父类 A 和子类 B 和 C 的继承层次结构，我如何通过 boost::shared_ptr 使用多态性，以便函数

virtual void my_func(boost::shared_ptr<A> x) = 0;

可以实现为

void my_func(boost::shared_ptr<B> x);

和

void my_func(boost::shared_ptr<C> x);

？即使有 shared_ptr 概念，多态性是否仍然有效？

（很高兴知道这是否适用于 std::shared_ptr 以及 boost）

Answer 1

在 C++ 中重写函数时，参数类型必须与基类中的相同。唯一允许的变化是，如果基类返回指针或引用，则覆盖函数可能具有协变返回类型。

对于参数类型，任何潜在的变化都取决于它是什么类型的参数：

• 输入参数需要是逆变的：如果您知道更特殊的类可以处理它们，则可以允许传入更通用的参数。
• 输出参数必须是协变的：任何调用都可以处理基类型的对象，即，当知道类是特殊的时，可以获得更特殊的东西是可以的。
• C++ 没有指示输入或输出参数，即参数始终是输入和输出参数。因此，它们是不变的。