C++基类B的foo()内调用虚函数foo_x、foo_y是否存在未定义行为

你给出的最小可运行代码中，基类B的foo()定义本身没有问题，在基类非构造/析构函数内调用自身虚函数的逻辑是合法的，虚函数会根据调用对象的实际类型完成调度，你对vtable调度的理解是正确的，最小示例可以得到预期结果也验证了这一点。

• 悬空引用/指针问题：你的B类存储的是const float& floating引用，C类存储的是const int* integer指针，二者都依赖外部对象的生命周期。最小示例中I、F和C类实例生命周期一致不会出问题，但大型项目中很容易出现将局部变量的指针/引用传入C构造函数，外部对象销毁后再调用foo()就会触发未定义行为，结果不可预测。
• 函数参数求值顺序问题：C++17标准之前，函数参数的求值顺序是未指定的。你foo()内部的return A(foo_x(), foo_y());代码，编译器可以自由选择先执行foo_x()还是先执行foo_y()。如果你的实际业务中foo_x()、foo_y()存在对mutable成员的修改等副作用，不同的求值顺序会直接导致结果不一致。而你单独调用两个函数时是严格按你书写的顺序执行，自然能得到预期结果。
• 构造/析构函数内调用问题：如果你的实际代码中是在基类B或者派生类C的构造/析构函数内调用foo()，此时虚函数不会调度到最终派生类的实现：构造阶段派生类部分还未完成初始化，vtable指针指向的是当前构造阶段类的虚表，此时调用纯虚的foo_x()/foo_y()会直接触发未定义行为。
• 对象切片问题：如果调用foo()的对象是经过切片的基类值对象（比如写了B b = C(...)这类代码），虚函数会直接调度到B类的实现，调用纯虚函数会触发未定义行为。
• 多线程数据竞争问题：如果integer指向的内容、floating引用的内容会被其他线程修改，且没有加同步保护，那么foo()内部连续调用两个虚函数的间隔中数据可能被修改，而你单独调用两个函数的时机和间隔不同，也会出现结果不一致的情况。

内容的提问来源于stack exchange，提问作者uhwo