如何使用多重继承内联虚拟

Question

请不要抨击我，或者说我问这个问题是错误的，或者说多重继承是邪恶的。这个问题是为了更好地理解 C++ 编译器是如何工作的。我知道inline 语句用于提示编译器用源代码替换函数调用，编译器可以选择是否内联函数。如果您可以强制使用inline 功能，那会很棒，但这并不是我真正要解决的问题。我想要做的是能够创建一段代码，在一个地方编写并由编译器复制并粘贴到其他地方。我编写的代码如下所示：

struct base 
{
    virtual double eval() = 0; // should be no eval function for the
};

struct foo : public base
{
    virtual double eval() overrides
    {
          return //foo eval
    }
};

struct bar : public base
{
    virtual double eval() overrides
    {
          return //foo eval
    }
};

struct baz : public base
{
    virtual double eval() overrides
    {
          return //baz eval
    }
};

struct FooBarBaz : public foo, public bar, public baz
{
    virtual double eval() final
    {
          return foo::eval() + bar::eval() + baz::eval();
    }
};

编译器会生成与此等价的东西：

struct base 
{
    virtual double eval() = 0; // should be no eval function for the
};

struct foo : public base
{
    virtual double eval() overrides
    {
          return //foo eval
    }
};

struct bar : public base
{
    virtual double eval() overrides
    {
          return //foo eval
    }
};

struct baz : public base
{
    virtual double eval() overrides
    {
          return //baz eval
    }
};

struct FooBarBaz : public foo, public bar, public baz
{
    virtual double eval() final
    {
          return /*foo eval*/ + /*bar eval*/ + /*baz eval*/
    }
};

有人告诉我，使用<type_traits> 是解决此问题的方法，如果这是真的，我想知道如何获得所需的结果。如果没有，我想知道如何做到这一点

Answer 1

编译器是否决定内联取决于它已编码的启发式算法……但没有理由不内联来自FooBarBaz::eval 的对foo::eval、bar::eval 和baz::eval 的调用，因为限定条件禁用动态调度。

也就是说，当编译器遇到限定调用foo::eval 时，它将执行该成员函数的最终覆盖程序foo 的级别。它不会使用vtable（无论如何都会以无限递归结束，因为最终的覆盖器将是FooBarBaz::eval。

除此之外，您应该阅读虚拟继承，FooBarBaz 有 3 个base 类型的子对象，可能不是您想要的...