빈 클래스의 생성자를 호출하면 실제로 메모리가 사용됩니까?

Question

내가

class Empty{ 
    Empty(int a){ cout << a; } 
} 

같은 클래스가 그리고 나는 그것이

int main(){ 
    Empty(2); 
    return 0; 
} 

를 사용하여 호출 가정 윌 어떤 메모리는 "빈"객체의 생성에 대한 스택에 할당되는이 원인? 분명히 인수를 스택에 푸시해야하지만 추가 오버 헤드가 발생하지는 않습니다. 기본적으로 정적 멤버로 생성자를 사용하고 있습니다.

내가 이것을하고 싶은 이유는 템플릿 때문입니다. T의 유형을 지정하지 않아도 동안 나를, 그래서 하나 개의 템플릿 매개 변수를 전문으로 얻을

int main(){ 
    int a = 1; 
    FuncName<1>(a); 
} 

같은 것을 쓸 수있는

template <int which> 
class FuncName{ 
    template <class T> 
    FuncName(const T &value){ 
     if(which == 1){ 
      // specific behavior 
     }else if(which == 2){ 
      // other specific behavior 
     } 
    } 
}; 

처럼 실제 코드가 보인다. 또한, 나는 컴파일러가 생성자 안에서 다른 브랜치들을 최적화 할 수 있기를 바라고있다. 이것이 사실인지 또는 확인하는 방법을 아는 사람이라면 크게 환영 할 것입니다. 상황에 템플릿을 던지더라도 위에서 "빈 클래스"문제가 변경되지 않는다고 가정했습니다. 맞습니까?

Answer 1

인용 Stroustrup :

빈 클래스의 크기가 0이 아닌 이유는 무엇입니까? 두 개의 다른 오브젝트의 주소가 서로 다른지 확인하십시오. 같은 이유로 "new"는 항상 다른 객체에 대한 포인터를 반환합니다. 고려 :

는

class Empty { }; 

void f() 
{ 
    Empty a, b; 
    if (&a == &b) cout << "impossible: report error to compiler supplier"; 

    Empty* p1 = new Empty; 
    Empty* p2 = new Empty; 
    if (p1 == p2) cout << "impossible: report error to compiler supplier"; 
} 

빈 기본 클래스는 별도의 바이트로 표현 될 필요가 있다고 재미있는 규칙이있다 :

struct X : Empty { 
    int a; 
    // ... 
}; 

void f(X* p) 
{ 
    void* p1 = p; 
    void* p2 = &p->a; 
    if (p1 == p2) cout << "nice: good optimizer"; 
} 

이 최적화가 안전하고 가장 유용 할 수 있습니다. 프로그래머는 빈 클래스를 사용하여 오버 헤드없이 매우 간단한 개념을 표현할 수 있습니다. 현재 컴파일러 중 일부는이 "빈 기본 클래스 최적화"를 제공합니다.

Answer 2

경우에 따라 다를 수 있습니다. 당신이 말하는 경우 :

Empty e; 
Empty * ep = & e; 

분명히 물건이 할당되어야합니다.

Answer 3

시도해보십시오. 대부분의 컴파일러는 출력 최적화를 요청하면 이러한 임시 객체를 제거합니다. 다음 시도

void empty1 (int x) 
{ 
    using namespace std; 

    int a; 
    Empty e1 (x); 
    int b; 

    cout << endl; 
    cout << "empty1" << endl; 
    cout << hex << int (&x) << " " << dec << (&x - &a) << endl; 
    cout << hex << int (&a) << " " << dec << (&a - &b) << endl; 
} 

과 :

분해가 너무 복잡하다면, 다음과 같은 개체의 수가 다른 두 개의 함수를 작성하고 그들을 둘러싼 객체의 스택 위치에 어떤 차이가 있는지, 같은 것을 8 개의 Empties가 생성 된 empty8 기능과 비교할 때 실행됩니다. x86에서 g ++을 사용하면 빈 공간의 주소를 가져 가면 스택에서 x와 a 사이의 위치를 ​​얻을 수 있습니다. 따라서 출력에 x가 포함됩니다. 개체 저장소가 소스 코드에서 선언 된 것과 동일한 순서로 종료된다고 가정 할 수 없습니다.