소멸자가 부작용이 있고 객체가 다른 정적 객체의 소멸자에서 액세스되는 경우 정적 초기화를 수행하는 방법은 무엇입니까?

Question

section 10.13 of the C++ FAQ Lite에 설명 된 정적 초기화 실패를 피하는 간단하고 잘 알려진 패턴이 있습니다.

이 표준 패턴에서는 생성 된 객체가 절대로 파괴되지 않습니다 (소멸자가 중요한 부작용이없는 경우에는 문제가되지 않음) 또는 정적 객체가 안전하게 액세스 할 수 없다는 점에서 트레이드 오프가 있습니다 다른 정적 객체의 소멸자 (section 10.14 of the C++ FAQ Lite 참조).

그래서 내 질문은 : 정적 개체의 소멸자가 결국 발생해야하는 중요한 부작용이있는 경우 어떻게 정적 초기화 불능을 피할 수 있습니까? 및 다른 정적 개체의 소멸자가 액세스해야합니다?

---

_{(참고 : 자주 묻는 질문 라이트는이 질문 C++ 자주 묻는 질문의 자주 묻는 질문 16.17에 대한 답변 언급한다. M. 클라인과 및 G. Lomow하여 자주 묻는 질문 (FAQ) 나는이에 액세스 할 수 없습니다 이 질문 대신 나는이 질문을합니다.)}

Answer 1

전역 개체와 같은 정적 개체는 완전히 삭제됩니다 (생성 된 것으로 가정).

파괴 순서는 창조의 반대입니다.
따라서 개체가 파기하는 동안 다른 개체에 의존하는 경우 개체를 계속 사용할 수 있어야합니다. 이는 생성 순서가 올바르게 이루어짐으로써 파괴 명령을 강요 할 수 있기 때문에 상대적으로 간단합니다.

다음 링크는 singeltons에 관한 것입니다하지만, 비슷한 상황과 그 해결책에 대해 설명 : 우리는이 같은 문제를 해결할 수 라이트는 FAQ에 설명 된대로
Finding C++ static initialization order problems

게으른 초기화 된 전역의 일반적인 경우에 외삽을 :

namespace B 
{ 
    class B { ... }; 

    B& getInstance_Bglob; 
    { 
     static B instance_Bglob; 
     return instance_Bglob;; 
    } 

    B::~B() 
    { 
     A::getInstance_abc().doSomthing(); 
     // The object abc is accessed from the destructor. 
     // Potential problem. 
     // You must guarantee that abc is destroyed after this object. 
     // To gurantee this you must make sure it is constructed first. 
     // To do this just access the object from the constructor. 
    } 

    B::B() 
    { 
     A::getInstance_abc(); 
     // abc is now fully constructed. 
     // This means it was constructed before this object. 
     // This means it will be destroyed after this object. 
     // This means it is safe to use from the destructor. 
    } 
} 
namespace A 
{ 
    class A { ... }; 

    A& getInstance_abc() 
    { 
     static A instance_abc; 
     return instance_abc; 
    } 
} 

Answer 2

다른 객체의 정적 소멸자가 먼저 실행되는 한 괜찮습니다. "객체 A"이전에 다른 객체가 생성되도록함으로써이를 보장 할 수 있습니다. 두 객체가 같은 컴파일 유닛에서 선언되는 한, 소스에 나타나는 순서대로 초기화되고 반대 순서로 파괴됩니다.

컴파일 단위에서이 작업이 필요할 경우 운이 다되었습니다. 런타임시 동적으로 생성하고 정적으로 만들기보다 주 끝에서 종료하는 것이 더 좋습니다.

Answer 3

약간의 해킹이지만 초기화의 순서를 추적하기 위해 정적 bool을 추가합니다. 그러면 소유자가 아니더라도 마지막으로 끝나는 객체가 정리를 수행합니다.