정적 클래스 멤버에 대한 정의되지 않은 참조

다음 코드가 컴파일되지 않는 이유를 누구나 설명 할 수 있습니까? 적어도 g ++에서 4.2.4.

그리고 더 흥미로운 것은 MEMBER를 int로 캐스팅 할 때 왜 컴파일됩니까?

#include <vector>

class Foo {  
public:  
    static const int MEMBER = 1;  
};

int main(){  
    vector<int> v;  
    v.push_back( Foo::MEMBER );       // undefined reference to `Foo::MEMBER'
    v.push_back( (int) Foo::MEMBER ); // OK  
    return 0;
}

실제로 클래스 정의 다음에 어딘가에 정적 멤버를 정의해야합니다. 이 시도:

class Foo { /* ... */ };

const int Foo::MEMBER;

int main() { /* ... */ }

정의되지 않은 참조를 제거해야합니다.

새로운 C ++ 기능의 흥미로운 충돌과 수행하려는 작업으로 인해 문제가 발생합니다. 먼저 push_back서명을 살펴 보겠습니다 .

void push_back(const T&)

유형의 객체에 대한 참조가 필요합니다 T. 이전 초기화 시스템에서 이러한 멤버가 존재합니다. 예를 들어 다음 코드는 정상적으로 컴파일됩니다.

#include <vector>

class Foo {
public:
    static const int MEMBER;
};

const int Foo::MEMBER = 1; 

int main(){
    std::vector<int> v;
    v.push_back( Foo::MEMBER );       // undefined reference to `Foo::MEMBER'
    v.push_back( (int) Foo::MEMBER ); // OK  
    return 0;
}

그 값이 저장된 실제 객체가 있기 때문입니다. 그러나 위와 같이 정적 const 멤버를 지정하는 새로운 방법으로 전환하면 Foo::MEMBER더 이상 객체가 아닙니다. 다음과 비슷한 상수입니다.

#define MEMBER 1

그러나 전 처리기 매크로의 어려움없이 (그리고 유형 안전). 즉, 참조를 기대하는 벡터는 벡터를 얻을 수 없습니다.

정의가 어떻게 든 필요한 경우 C ++ 표준에는 정적 const 멤버에 대한 정의가 필요합니다.

주소가 사용되는 경우와 같이 정의가 필요합니다. push_backconst 참조로 매개 변수를 취하므로 컴파일러는 엄격하게 멤버의 주소가 필요하며 네임 스페이스에서 정의해야합니다.

명시 적으로 상수를 캐스트하면 임시를 작성하는 것이 표준의 특수 규칙에 따라 참조에 바인딩 된 임시입니다.

이것은 정말 흥미로운 경우이며, 실제로 std가 상수 멤버와 동일한 동작을 갖도록 변경되도록 문제를 제기 할 가치가 있다고 생각합니다!

이상한 방식으로 이것은 단항 '+'연산자를 합법적으로 사용하는 것으로 볼 수 있습니다. 기본적으로의 결과 unary +는 rvalue이므로 rvalue를 const 참조에 바인딩하는 규칙이 적용되며 정적 const 멤버의 주소를 사용하지 않습니다.

v.push_back( +Foo::MEMBER );

Aaa.h

class Aaa {

protected:

    static Aaa *defaultAaa;

};

Aaa.cpp

// You must define an actual variable in your program for the static members of the classes

static Aaa *Aaa::defaultAaa;

캐스트가 작동하는 이유는 모릅니다. 그러나 Foo :: MEMBER는 Foo가 처음로드 될 때까지 할당되지 않으며, 절대로드하지 않으므로 할당되지 않습니다. 어딘가에 Foo에 대한 참조가 있다면 아마도 효과가있을 것입니다.

C ++ 11을 사용하면 위와 같은 기본 유형이 가능합니다.

class Foo {
public:  
  static constexpr int MEMBER = 1;  
};

이 constexpr부분은 정적 변수 와 달리 정적 표현식 을 작성하며 매우 간단한 인라인 메소드 정의처럼 작동합니다. 그러나이 접근 방식은 템플릿 클래스 내부에 C- 문자열 constexprs를 사용하여 약간 흔들렸다.

두 번째 질문과 관련하여 push_ref는 매개 변수로 참조를 사용하므로 클래스 / 구조체의 정적 const 멤버에 대한 참조를 가질 수 없습니다. static_cast를 호출하면 임시 변수가 작성됩니다. 그리고이 객체에 대한 참조를 전달할 수 있으며 모든 것이 잘 작동합니다.

또는 적어도 이것을 해결 한 동료가 그렇게 말했습니다.