C でグローバル変数宣言を交換すると予期しない動作が起こるのはなぜですか?

Susan Sarandon
リリース: 2024-10-30 06:38:03
オリジナル
791 人が閲覧しました

 Why Does Swapping Global Variable Declarations in C   Lead to Unexpected Behavior?

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 のインスタンス メソッドが、構築されていないインスタンスで呼び出されているようです。これは、グローバル初期化の順序が依存関係を無視するためです。

ダミーを初期化する前に Foo のコンストラクターが確実に呼び出されるようにするには、同じ翻訳単位でダミーの前に globalFoo が定義されていることを確認する必要があります。あるいは、動的初期化の前に null に初期化されるグローバル インスタンスへの静的ポインターを使用することもできます。その後、addToGlobal メソッドはポインターが null かどうかを確認し、必要に応じてグローバル Foo を作成します。

以上がC でグローバル変数宣言を交換すると予期しない動作が起こるのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

ソース:php.cn
このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。
著者別の最新記事
人気のチュートリアル
詳細>
最新のダウンロード
詳細>
ウェブエフェクト
公式サイト
サイト素材
フロントエンドテンプレート
私たちについて 免責事項 Sitemap
PHP中国語ウェブサイト:福祉オンライン PHP トレーニング,PHP 学習者の迅速な成長を支援します!