가상 함수 만 포함 된 클래스의 크기가 영향을받는 이유는 무엇입니까?

Question

class classWithNoVirtualFunction 
{ 
    public: 
     int a; 
     void x() 
     { 
      char c; 
      c = 'a'; 
     } 
}; 

class classWithOneVirtualFunction 
{ 
public: 
    int   a; 
    virtual void x() {} 
}; 

class classWithTwoVirtualFunctions 
{ 
public: 
    int   a; 
    virtual void x() {} 
    virtual void y() {} 
}; 

int main() 
{ 
    cout << "\nclassWithNoVirtualFunction's size: " << sizeof (classWithNoVirtualFunction);  
    cout << "\nclassWithOneVirtualFunction's size: " << sizeof (classWithOneVirtualFunction); 
    cout << "\nclassWithTwoVirtualFunctions's size: " << sizeof (classWithTwoVirtualFunctions); 

    cout << "\nvoid*'s size : " << sizeof (void*); 
} 

위의 코드, C의 생각은 ++ 말한다 W.R.T :

적어도 하나의 데이터 멤버 필요한이 예. 데이터 멤버가 없으면 C++ 컴파일러는 각 개체가 고유 한 주소를 가져야하므로 크기가 아닌 개체를 강제로 적용하게됩니다. 크기가 0 인 객체 배열에 대한 인덱싱을 생각하면 을 이해할 수 있습니다. "더미"멤버는 이 0 인 객체에 삽입됩니다.

내 질문 : 지금, 나는 을 이해 할 수없는 나는 우리가 제로 회원들과 가상 함수와 클래스가있는 경우이 발생하는 방법을 정확하게 & &. 몇 가지 프로그래밍 예제로 설명하십시오.

Answer 1

클래스에 하나 이상의 가상 함수가 포함되어있을 때마다 컴파일러에서 각 객체에 런타임 유형 정보를 추가해야합니다. 구현은 보통 컴파일러에 의해 정의되고 사용자로부터 숨겨진 구조를 참조하는 각 객체에 하나의 포인터를 추가합니다. type_info 객체에 대한 포인터와 vtable은 함수의 동적 디스패치에 사용됩니다.

비 정적 데이터 멤버가없고 하나 이상의 가상 함수가없는 클래스의 경우 각 객체의 크기는 객체 별 RTTI 정보 (하나의 포인터)의 크기이며, 0이면 컴파일러에서 추가 공간을 추가하지 않습니다. 견적이 말하는 것은 T의 모든 유형에 대해 sizeof(T) != 0이며 동적 기능이있는 유형이 해당 요구 사항에 적합합니다. 크기가 0 인 유형에서만 컴파일러는 객체 1을 크게 만들 수밖에 없습니다.

Answer 2

C++ 표준은 클래스의 전체 레이아웃을 정의하지 않습니다. 이것은 컴파일러 벤더에 달려 있습니다. 그러나 C++ 표준은 일부 보증을합니다. 예를 들어, 완전한 객체의 크기는 항상 0보다 큽니다. 이 규칙에 대한 이유는 Thinking in C++에서 인용 한 텍스트에 암시됩니다. 간단한 클래스의 가상 함수는 이고 일반적으로은 객체의 동적 유형을 식별하는 추가 숨겨진 포인터 멤버로 구현되므로 객체의 동적 유형에 대한 올바른 함수를 호출 할 수 있습니다. 이 추가 숨겨진 멤버가 클래스 크기에 추가되기 때문에 컴파일러는 클래스에 0이 아닌 크기가되도록 패딩을 둘 필요가 없습니다.

하지만 대부분 구현에 대한 세부 정보이므로 걱정하지 않아도됩니다. C++ 표준이 보장하는 것에 의존한다면, 괜찮을 것입니다.