C에서 전역 변수 선언을 교환하면 예기치 않은 동작이 발생하는 이유는 무엇입니까?

C의 전역 초기화 순서 : 종속성 무시

C에서는 번역 단위 내 전역 변수의 초기화 순서가 잘 정의되어 있습니다. 그러나 전역 변수 간의 종속성을 무시하면 놀라운 동작이 발생할 수 있습니다.

다음 코드를 고려하세요.

<code class="cpp">struct Foo;

extern Foo globalFoo;

struct Foo {
    Foo() { printf("Foo::Foo()\n"); }
    void add() { printf("Foo::add()\n"); }
    static int addToGlobal() {
        printf("Foo::addToGlobal() START\n");
        globalFoo.add();
        printf("Foo::addToGlobal() END\n");
        return 0;
    }
};

Foo globalFoo;
int dummy = Foo::addToGlobal();

int main() {
    printf("main()\n");
    return 0;
}</code>

GCC 4.4.3으로 컴파일할 때 예상되는 출력은 다음과 같습니다.

Foo::Foo()
Foo::addToGlobal() START
Foo::add()
Foo::addToGlobal() END
main()

이는 정적 메서드 Foo::addToGlobal()을 호출하기 전에 전역 변수 globalFoo가 초기화되기 때문입니다. 그러나 globalFoo와 더미 선언의 순서를 바꾸면 출력은 다음과 같습니다.

Foo::addToGlobal() START
Foo::add()
Foo::addToGlobal() END
Foo::Foo()
main()

Foo의 인스턴스 메서드가 구성되지 않은 인스턴스에서 호출되는 것으로 보입니다. 이는 전역 초기화 순서가 종속성을 무시하기 때문입니다.

dummy를 초기화하기 전에 Foo의 생성자가 호출되도록 하려면 동일한 번역 단위에서 dummy보다 먼저 globalFoo가 정의되어 있는지 확인해야 합니다. 또는 동적 초기화 전에 null로 초기화되는 전역 인스턴스에 대한 정적 포인터를 사용할 수 있습니다. 그런 다음 addToGlobal 메소드는 포인터가 null인지 확인하고 필요한 경우 전역 Foo를 생성할 수 있습니다.

위 내용은 C에서 전역 변수 선언을 교환하면 예기치 않은 동작이 발생하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!