在C中有可能覆盖一个虚函数,但是只有通过超类调用函数时才有虚拟调度(即,当它被调用为静态类型的子类时)?我知道这不是发生了什么,但是有什么办法可以实现一些接近的事情吗?
想要这个的原因是我有两个类暴露了一个flush()函数.在我的程序中绝大多数时候,我直接在我知道类型的子类对象上调用flush(),所以我不需要虚拟调度.然而,我想在混合中添加一个超类,所以很少见,我可以将一个类的一个实例的引用传递给doSomethingThenFlush()函数,这将实际上调用flush().
我知道我可以使用模板而不是虚拟函数,我知道我可以有两个不同的函数(例如,flushVirtual(),它只是调用flushNonVirtual(),并且在不需要虚拟调度的地方调用flushNonVirtual().但是,这两者似乎有点像在很大程度上是句法的问题上抛出代码.有没有更优雅的方式来实现这一点?
也许更重要的是,有没有人知道为什么虚拟在C中继承?
struct Base { virtual ~Base(){} virtual void func(); }; struct Derived : public Base { void func(){} }; void callVirtually(Base &base) { base.func();//this will use virtual dispatch } void callStatically(Derived &derived) { derived.func();//I don't want/need this to use virtual dispatch } int main() { Derived derived; callVirtually(derived); callStatically(derived); }
解决方法
@H_404_13@ 在C 03,不正如其他人所说,它是一个编译器优化(和一个经常使用的)去虚拟化他调用,只要它可以评估对象的运行时类型.
然而,在C 0x中,我们得到两个新的关键字:override和final,两者都可以应用于成员函数(final也可以应用于一个类).
> override:指定此函数覆盖基类中的虚函数,当不是这种情况时,有用的可以被警告
> final:指定这个函数(virtual)不能在子类中覆盖.
你的班级会变成:
struct Derived : public Base { void func() final {} };