소멸자는 다른 정적 객체

Question

내가 다음 코드에서 소멸자 몇 가지 문제를 가지고의 소멸자 내에서 건설 :

에서는 foo2에 대한 소멸자 bionic을 요구하고 glibc 위해이었다되지 않은 이유를

#include <stdlib.h> 
#include <cstdio> 

class Foo2 
{ 
    public: 
     Foo2() { printf("foo2 const\n"); } 

     ~Foo2() 
     { 
      printf("foo2 dest\n"); // <--- wasn't called for bionic libc 
     } 
}; 

static Foo2& GetFoo2() 
{ 
    static Foo2 foo2; 
    printf ("return foo2\n"); 
    return foo2; 
} 

class Foo1 
{ 
    public: 
     Foo1() { printf("foo1 const\n"); } 

     ~Foo1() 
     { 
      printf("foo1 dest\n"); 
      GetFoo2(); 
     } 
}; 

int main(int argc, const char* argv[]) 
{ 
     printf("main 1 \n"); 
     static Foo1 anotherFoo; 
     printf("main 2 \n"); 
} 

? 생체 공학에 대한

편집
출력 :

main 1 
foo1 const 
main 2 
foo1 dest 
foo2 const 
return foo2 

디버그 정보 : 나는 정적이 코드에서 볼

(gdb) break 22 
Breakpoint 1 at 0x8048858: file test.C, line 22. 
(gdb) info breakpoints 
Num  Type   Disp Enb Address What 
1  breakpoint  keep y 0x08048858 in Foo2::~Foo2() at test.C:22 
(gdb) cont 
[ exited with code 0] 

Answer 1

표준 이 실제로 명확하지 않거나 ( 표준에서 찾을 수 없음) 코드에 정의되지 않은 동작이 있다고 생각합니다. 코드는 정적 객체의 소멸자 에 새 정적 객체를 생성합니다. 이 표준은 에게이 사건을 해결하지만,하지 않습니다 : 그것은 소멸자 건설의 반대 순서로 호출해야 함을 말하고 있는가

1. . 귀하의 경우 이것은 건설되기 전에 GetFoo2의 정적 객체가 파괴되어야 함을 암시합니다. 이것은 자기 모순입니다.

2. §3.6/3의 텍스트는 소멸자 의 순서를 설명하고 atexit으로 등록 된 기능을 설명합니다. 요구 사항은 각각 동일한 등록 메커니즘을 사용해야하는 입니다. exit (또는 main에서 반환 됨)을 호출하면 atexit을 호출하는 것은 정의되지 않은 동작입니다.

3. 라고하는, 또한 §3.6/2있다 "그 함수 포함되어있는 경우 객체의 파괴 동안 파괴되었고 함수가 호출 정적 또는 스레드 저장 기간 의 블록 범위 객체 정적 또는 스레드 저장 기간 동안, 제어는 제어의 흐름이 이전에 파괴 된 블록 스코프 객체의 정의를 통과하면 정의되지 않은 동작을합니다. " 이 문장은 악의적 인 메시지 인 에 대해 이야기하지만, "아직 생성되지 않은"객체의 부재는 단지 감독 일 뿐이라고 생각하는 데는 많은 상상력을 얻지 못합니다. 결국

, 내 첫 번째 점은 위의 의도 관련하여 결정적인이라고 말할 것입니다. 이 국제 표준이 행동의 명시 적 정의를 생략하거나 프로그램이 잘못된 구조를 사용하거나 잘못된 데이터를 사용하는 경우 정의되지 않은 동작이 발생할 수 있습니다 (구체적으로는 이지만 의도는 나타냅니다). . " 이 경우에는 필수 동작에 대한 설명 만 불가능합니다. 구성하기 전에 개체를 파괴 할 수 없으므로 표준에서이 문제를 해결하는 방법에 대해서는 아무 것도 표시되지 않습니다 ( ).

Answer 2

모든 인스턴스.

결과적으로 소멸자는 main이 완료된 후에 실행 파일의 끝에서 호출됩니다.

소멸자가 호출되지 않았 으면 버그였습니다.

Answer 3

정적 개체는 프로그램이 존재할 때 파괴됩니다. ~Foo2()에 중단 점을두면 진단에 도움이되는 파일이 표시되거나 로그를 작성합니다. 실제로 호출되지 않으면 컴파일러 버그입니다.

그리고 질문에 대답하기 위해 그림을 업로드 할 재미 있어요.

Answer 4

C++ 11 3.6.3/1 : 소멸자 정적 저장 기간이 초기화 된 오브젝트 [...]의 시점에서 main

에서 복귀의 결과로서 호출되는 상기 프로그램은 main, anotherFoo에서 초기화되었습니다. 하지만 foo2은 anotherFoo을 삭제하는 동안 GetFoo2에 처음 호출 할 때까지 초기화되지 않았기 때문에 초기화되지 않았습니다. 따라서 규칙을 엄격하게 해석하면 소멸자를 호출하면 안됩니다.