显式停止后期绑定

Question

如果我们创建一个指向其子类对象的基类类的对象指针，那么我们使用虚拟关键字进行后期绑定 所以，在后期绑定的情况下，我们的代码是这样的：-

#include<iostream>
using namespace std;
struct A{
    virtual void print() {
        cout<<"function1";
    }
};

struct B : public A{
    void print(){
        cout<<"function2";
    } 
};

struct C : public B{
    void print(){
        cout<<"function3";
    } 
};

int main(){
    A* a = new C();
    A* p = new B();
    a->print();
    p->print();
} 

现在我的问题是：当我们在基类中使用 virtual 关键字时，在基类中创建的派生类的所有功能都将变为虚拟。 在多级继承中，有什么方法可以阻止类 c 的函数是虚拟的？ 有什么办法可以打破这个虚函数链？ 抱歉有任何错误，但我尽力了..☺️☺️

Answer 1

不可能在子类中使已经是virtual 的函数不是virtual。

虚拟性是顶级基类的属性，而不是子类的属性。一旦方法被标记为virtual，并且指向该类的指针在调用时必须对该函数使用动态调度，因为该指针可能指向已覆盖该行为的子类。

考虑这段代码：

A a;
B b;
C c;

A * ap = &a;
A * bp = &b;
A * cp = &c;

ap->print(); // 'function1'
bp->print(); // 'function2'
cp->print(); // 'function3'

这里，print 的调用不能告诉编译时调用哪个函数，它们绝对必须使用动态调度。

但是，您可以使 C::print 的行为类似于 A::print

struct C : public B {
    void print() {
        A::print();
    }
};

结果：

ap->print(); // 'function1'
bp->print(); // 'function2'
cp->print(); // 'function1'

如果A::print() 的行为发生变化，C::print() 会反映这些变化。

这仍然是可覆盖的，除非您使用如下所述的 final 关键字。

---

原答案：

我相信您正在寻找 final 说明符。 不过，它仅适用于 C++11。

引用 en.cppreference 关于final specifier 的页面：

在虚函数声明或定义中使用时，final 确保函数是虚拟的并指定它可能不是 被派生类覆盖。程序格式不正确（a 编译时错误），否则。

以及他们给出的示例的变体，展示了您的问题的解决方案：

struct A
{
    virtual void foo();
};

struct B : A
{
    void foo() final; // B::foo is overridden and it is the final override
};

struct C : B
{
    void foo() override; // Error: foo cannot be overridden as it's final in B
};