c++ - 派生时方法应该始终是虚拟的吗？

Question

标题说明了一切(我不确定何时使用 virtual 关键字)。在这种情况下，函数 SaySomething() 应该是 virtual 吗？ (或者也许只有在使用指针时才应该是 virtual？)

#include <iostream>

class A{
    public:
        void SaySomething(){
            std::cout << "aaaaaa";
        }
};

class B : public A{
    public:
        void SaySomething(){
            std::cout << "bbbbbbb";
        }
};

int main(){
    A objectA;
    B objectB;

    objectA.SaySomething();
    std::cout << std::endl;
    objectB.SaySomething();

    return 0;
}

Answer 1

从技术上讲，在这种情况下，函数 B::SaySomething 不需要是 virtual:编译器知道每个对象的运行时类型，因此它在这两种情况下都会调用正确的方法。

但是，它与基类中的 A::SaySomething 同名但没有覆盖它这一事实可能会误导代码的读者。如果您打算隐藏而不是覆盖 B 类中的 A::SaySomething，那么最佳做法是为成员函数指定一个不同的名称。

这是一个重要的情况:

B b;
A &ab(b);
b.SaySomething();  // Calls B::SaySomething
ab.SaySomething(); // Calls A::SaySomething

更改引用同一对象的方式时的行为会更改方法的行为，这并不是代码读者所期望的。如果您将 A::SaySomething 设为虚拟，则这两个调用将产生相同的行为。