有关标准中虚拟功能描述的问题

问题描述

#include <iostream>
struct A { 
    virtual void f(){
        std::cout<<"1\n";
    } 
};
struct B : A {

};
struct C : A { 
    void f(){
        std::cout<<"abc\n";
    } 
};
struct D : B,C { 

}; 
int main(){
  D mostDerived{};
  D* ptr = &mostDerived;
  B* bptr = ptr;
  A* aptr = bptr;
  aptr->f();
}

考虑上面的代码，outcome是1。但是，由于标准所说，我对此结果感到怀疑：
class.virtual#def:final_overrider

为方便起见，我们说任何虚函数都将覆盖自身。除非其中S是基类子对象的最派生类（如果有），类对象S 的虚拟成员函数C :: vf是最终的重写器。声明或继承另一个重写vf的成员函数。

class.derived#def:inheritance

除构造函数外，基类的成员被称为由派生类继承。基类的构造方法也可以按照[namespace.udecl]中的描述进行继承。

IIUC，将B和A中类型C的基类子对象分别视为A1，A2。在我的示例中，最派生的类是D，根据上述规则，对于类B，最终的替代者是A::f，它是从A继承的类C，最终的替代者是C::f，它是在类C中声明的，对于类D，它是从B和C派生的，因此它将继承B和C的这些成员。由于C::f覆盖A::f，因此根据规则unless **the most derived class of which S is a base class subobject** (if any) declares or **inherits another member function that overrides vf**，将A1视为S（即A1是...的子对象类D），其中D继承了another member function that overrides vf的{​​{1}}。这意味着，子对象C::f的最终替代应该为A1，因此，我想知道为什么不是C::f而不是abc的结果？

另一个问题是：

1

struct A { virtual void f(){ std::cout<<"1\n"; } }; struct B : A { void f(){} }; struct C : A { void f(){} }; struct D : B,C { }; 和B::f都覆盖了虚函数C::f，但它们彼此不覆盖，因此A::f继承了哪个功能？还是两者都由D继承？

如果我错过了什么，如何正确阅读以上规则。还是对于第一个问题，上述规则是否确实不清楚以至造成误解？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）