다중 상속을 사용하여 가상으로 인라인하는 방법

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(); 
    } 
}; 

컴파일러는이에 상응하는 무언가 생성 할 것이다 : 나는 <type_traits>을 사용하여이 문제되는 경우를 해결하는 방법이라고 들었다

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*/ 
    } 
}; 

을 원하는 결과를 얻는 방법을 알고 싶습니다. 그렇지 않은 경우이 작업을 수행하는 방법을 알고 싶습니다.

Answer 1

컴파일러가 인라인으로 결정했는지 여부는 코딩 된 휴리스틱 스에 달렸는지 여부에 관계없이 foo::eval, bar::eval 및으로 호출을 인라인하면 안됩니다. baz::eval에서 FooBarBaz::eval 자격으로 인해 동적 발송이 비활성화됩니다.

즉 컴파일러가 foo::eval 호출을 만날 때 해당 멤버 함수에 대한 최종 재정의자를 foo 수준으로 실행합니다. 그것은 FooBarBaz 유형의 3 하위 객체를 가지고, 그보다 최종 overrider이 FooBarBaz::eval이 될 것이기 때문에, 어쨌든 무한 재귀에 끝날 것 vtable (.

다른, 당신은 약 가상 상속을 읽어야 사용하지 않습니다 base, 아마 당신이 원하는 게 아니 겠지 ...