C의 중첩 템플릿 함수에서 정적 멤버를 초기화하는 방법은 무엇입니까?

중첩 템플릿 함수 내에서 C 정적 멤버 초기화

정적 멤버 초기화는 특히 템플릿이 아닌 클래스에서 중첩된 도우미 구조체를 통해 수행할 수 있습니다. 그러나 이 접근 방식은 바깥쪽 클래스가 템플릿에 의해 매개 변수화될 때 문제가 발생할 수 있습니다. 특히, 기본 코드에서 도우미 개체에 액세스하지 않으면 중첩된 초기화 클래스가 인스턴스화되지 않을 수 있습니다.

벡터 초기화를 보여주는 다음의 간단한 예를 고려하세요.

<code class="cpp">struct A {
    struct InitHelper {
        InitHelper() { A::mA = "Hello, I'm A."; }
    };
    static std::string mA;
    static InitHelper mInit;

    static const std::string& getA(){ return mA; }
};
std::string A::mA;
A::InitHelper A::mInit;


template<class t>
struct B {
    struct InitHelper {
        InitHelper() { B<t>::mB = "Hello, I'm B."; }
    };
    static std::string mB;
    static InitHelper mInit;

    static const std::string& getB() { return mB; }
    static InitHelper& getHelper(){ return mInit; }
};
template<class t>
std::string B<t>::mB;
template<class t>
typename B<t>::InitHelper B<t>::mInit;</t></t></class></t></class></t></class></code>

g 4.4.1로 컴파일하면 몇 가지 관찰이 이루어집니다.

• [1]과 [2]가 주석 처리되어 있습니다. A = 안녕하세요, 저는 A입니다. 이것은 초기화가 의도한 대로 작동함을 나타냅니다.
• [1]을 주석 처리하지 않은 경우 A = 안녕하세요, 저는 A입니다. B = 이는 B::mB의 초기화가 트리거되지 않음을 보여줍니다.
• [1]과 [2]를 모두 주석 처리하지 않은 경우 A = 안녕하세요, 저는 A입니다. B = 안녕하세요, 저는 B입니다. 이는 B에 대한 액세스를 확인합니다. :mInit([2]를 통해)는 B::mB의 초기화를 시작합니다.
• [1]에 주석을 달고 [2]에 주석을 달지 않으면 segfault가 발생합니다. 도우미 자체에서 B::mB의 초기화가 조기에 시도되어 오류가 발생합니다.

이 동작은 ISO/IEC C 2003 표준(14.7.1)에 대한 컴파일러의 해석에서 비롯됩니다. 표준에서는 다음과 같이 규정합니다.

"클래스 템플릿이나 멤버 템플릿의 멤버가 명시적으로 인스턴스화되거나 명시적으로 특수화되지 않은 경우 특수화가 다음에서 참조될 때 멤버의 특수화가 암시적으로 인스턴스화됩니다. 특히 멤버 정의가 필요한 컨텍스트에서는 정적 데이터 멤버 자체가 정적 데이터 멤버의 정의가 필요한 방식으로 사용되지 않는 한 정적 데이터 멤버의 초기화(및 관련 부작용)가 발생하지 않습니다. "

주어진 예에서 정적 멤버가 getB() 또는 getHelper() 메서드를 통해 액세스될 때까지 초기화되지 않는 이유를 설명합니다. 기본 함수에서 클래스 템플릿이나 멤버 템플릿을 명시적으로 인스턴스화하면 해당 시점에서 강제로 초기화됩니다. 그러나 직접 액세스가 불가능한 시나리오의 경우 표준은 중첩된 템플릿 함수 내에서 정적 멤버를 초기화하기 위한 우아한 해결 방법을 지정하지 않습니다.

위 내용은 C의 중첩 템플릿 함수에서 정적 멤버를 초기화하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!