假设我有一个带有虚方法的接口,但其中一个参数是:
virtual void Delete(ParentClass *parentClass) = 0;如果我稍后在子类中实现它
void Delete(ChildClass *childClass)
{
};...why不是作为一个实现来工作的吗?
发布于 2012-08-27 22:22:24
由于函数原型不同(一个使用ParentClass,另一个使用ChildClass),它们不是相同的函数。相反,带有ChildClass参数的函数是重载的,并且不会覆盖Delete函数。
发布于 2012-08-27 23:04:03
C++03标准版: 10.3/2
如果虚拟成员函数
vf在类Base和类Derived(直接或间接派生自Base)中声明,则声明与vf具有相同名称和相同参数列表的成员,则Derived::vf也是虚拟的,它覆盖Base::vf。
请注意粗体文本。
仅当派生类函数具有与基类函数相同的签名( 除外)时,派生类函数才重写基类函数。由于您的函数Delete()在基类和派生类中不具有相同的签名,因此派生类函数不会覆盖基类函数,但您得到的仅仅是。
C++03标准版: 3.3.7/1:
名称可以通过在嵌套声明区域或派生类中显式声明相同的名称来隐藏。
发布于 2012-08-27 23:12:45
因为作为基类函数的参数接受的任何类型,也必须被该函数的重写所接受。这样可以防止出现以下错误:
struct BastardClass : ParentClass {} wrong;
Delete(&wrong);如果将其调度到需要ChildClass的重写,将导致它将对象解释为错误的类型。
(这称为逆方差-被更具体的类型覆盖的函数的参数不能比被覆盖的参数更具体。出于类似的原因,返回类型必须是协变的-由更具体的类型覆盖的函数指定的返回类型必须不低于特定类型。)
https://stackoverflow.com/questions/12143836
复制相似问题