인라인 개체 값의 의미가있는 방법 가상 함수

Question

템플릿 방법 디자인 패턴 다음과 같은 코드를 생각해

class A { 
    public: 
     void templateMethod() { 
      doSomething(); 
     } 
    private: 
     virtual void doSomething() { 
      std::cout << “42\n”; 
     } 
}; 
class B : public A { 
    private: 
     void doSomething() override { 
      std::cout << “43\n”; 
     } 
}; 

int main() { 
    // case 1 
    A a; // value semantics 
    a.templateMethod(); // knows at compile time that A::doSomething() must be called 

    // case 2 
    B b; // value semantics 
    b.templateMethod(); // knows at compile time that B::doSomething() must be called 

    // case 3 
    A& a_or_b_ref = runtime_condition() ? a : b; // ref semantics 
    a_or_b_ref.templateMethod(); // does not know which doSomething() at compile time, a virtual call is needed 
    return 0; 
} 

컴파일러는 인라인/할 수 있는지 궁금하고는 "해봐요을 (unvirtualize) "멤버 함수를 사용합니다. templateMethod()에 대해 3 가지 다른 바이너리 코드를 생성하는 경우 가능합니다. 하나는 인라인이없고 다른 하나는 A :: doSomething() 또는 B :: doSomething() 인라인 (케이스 3, 1 및 2에서 각각 호출해야 함)

표준에 따라 최적화가 필요한지 알고 있습니까? 어떤 컴파일러가 그것을 구현한다면? 나는 CRT 패턴과 가상이 같은 종류의 효과를 얻을 수 있지만 그 의도는 명확하지 않다는 것을 알고 있습니다.

Answer 1

표준은 일반적으로 최적화가 필요하지 않습니다 (때로는 허용되지 않는 경우도 있음). 그것은 결과를 명시하고 그것을 달성하는 최선의 방법을 찾아내는 것은 컴파일러에 달려 있습니다.

세 가지 경우 모두 templateMethod이 인라인 될 것으로 예상됩니다. 컴파일러는 자유롭게 추가 최적화를 수행 할 수 있습니다. 처음 두 경우에는 this의 동적 유형을 알고 있기 때문에 doSomething에 대해 비 가상 호출을 생성 할 수 있습니다. (나는 그 전화를 인라인하기를 기대한다.)

생성 된 코드를 보시고 직접 확인하십시오.

Answer 2

최적화는 컴파일러가 표준이 아닌 문제입니다. 최적화가 비 존경 또는 가상 기능의 원칙을 이끌어내는 경우 큰 문제가됩니다. 그래서 세번째 경우

:

// case 3 
A& b_ref = b; // ref semantics 
b_ref.templateMethod(); 

실제 객체는 B, 및 사용 포인터의 참조가 무엇이든 B 클래스에 정의 된 것이어야라는 실제 기능입니다.

그리고 제대로 43 내 컴파일러 표시 - 내가이 할 수 있기 때문에,