Как встроить виртуальный с множественным наследованием

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

ли решает компилятор встраивать или не до эвристики он закодированный ... но нет никакой причины, почему он не должен встраивать вызовы к foo::eval, bar::eval и baz::eval от FooBarBaz::eval, так как квалификация отключает динамическую отправку.

То есть, когда компилятор встречается с квалифицированным вызовом foo::eval, он выполнит окончательный переопределитель для этой функции-члена a с уровнем foo. Он не будет использовать vtable (который будет в конечном итоге в бесконечной рекурсии в любом случае, так как конечный подмены будет FooBarBaz::eval.

Кроме этого, вы должны прочитать о виртуального наследования, то FooBarBaz имеет подобъектов типа base, возможно, не то, что вы хотите ...