为什么方法的"虚拟性"在C++中隐式传播？

Question

删除阻止虚拟方法传播的能力的原因是什么？

让我更清楚一点:在C++中,无论你在派生类中编写"virtual void foo()"还是"void foo()",只要在基类中,它就是虚拟的,foo被声明为虚拟.

这意味着通过派生*指针调用foo()将导致虚拟表查找(如果derived2函数覆盖foo),即使程序员不希望这种行为.

让我举一个关于如何停止虚拟传播有用的例子(对我来说看起来很明显):

template <class T>
class Iterator // Here is an iterator interface useful for defining iterators
{              // when implementation details need to be hidden
public:
    virtual T& next() { ... }
    ...
};

template <class T>
class Vector
{
public:
    class VectIterator : public Iterator<T>
    {
    public:
        T& next() { ... }
        ...
    };
    ...
};

在上面的示例中,Iterator基类可用于以更清晰和面向对象的方式实现"类型擦除"的形式.(有关类型擦除的示例,请参见http://www.artima.com/cppsource/type_erasure.html.)

但是,在我的示例中,可以直接使用Vector :: VectIterator对象(在大多数情况下将完成),以便在不使用接口的情况下访问真实对象.

如果没有传播虚拟性,即使从指针或引用调用Vector :: VectIterator :: next()也不是虚拟的,并且能够内联并高效运行,就像Iterator接口不存在一样.

Answer 1

C++ 11 final为此目的添加了contextual关键字.

class VectIterator : public Iterator<T>
{
public:
    T& next() final { ... }
    ...
};

struct Nope : VecIterator {
    T& next() { ... } // ill-formed
};