自動/静的なメモリ割り当て

Question

素朴な疑問が...

を確認または拒否：

自動および静的記憶域期間のオブジェクト/変数のためのメモリの存在が決定されますコンパイル時には、自動オブジェクトに十分なメモリがないため、プログラムがランタイムに失敗する可能性は全くありません。

当然ながら、自動オブジェクトのコンストラクタが動的割り当てを実行し、そのような割り当てが失敗すると、これは自動割り当てではなく動的割り当ての失敗とみなされます。

Answer 1

2つの単語：Stack Overflow。 ：P

Answer 2

自動割り当ては確実に失敗する可能性があります。これは、通常、スタックオーバーフローと呼ばれます。誰かがローカル変数として多様な大規模配列を持つことを試みると、これはかなり頻繁に表示されます。無制限（または制限されていない）再帰もこの原因になります。

実際にプラットフォームに依存しない方法では、自動割り当ての失敗を検出して処理できません。

Answer 3

自動割り当てによってスタックオーバーフローが発生する可能性があります。これは、私が認識しているほとんどのアーキテクチャ/プラットフォームで即座にプロセスが終了する原因となります。

また、プログラムは静的変数のための十分な領域を基底プラットフォームから割り当てることはできません。その場合でもプログラムは失敗しますが、mainが呼び出される前に失敗します。

Answer 4

シンプルな反例：

#include <string.h> 

int main() 
{ 
    int huge[0x1FFFFFFF]; // Specific size doesn't matter; 
          // it just has to be bigger than the stack. 

    memset(huge, 0, sizeof(huge)/sizeof(int)); 

    return 0; 
} 

Answer 5

例：

オーバーコミットしたシステムで

#include <iostream> 

using namespace std; 

class A 
{ 
public: 
    A() { p = new int[0xFFFFFFFF]; } 

private: 
    int* p; 
}; 

static A g_a; 

int main() 
{ 
    cout << "Why do I never get called?" << endl; 
} 

Answer 6

（例えばLinuxはデフォルトの設定では）、それはにつながるための静的記憶域期間のオブジェクトに対しても可能です実行時の失敗。プログラムの起動時に、これらのオブジェクトは、コピーオンライトゼロページ（初期化されていない場合）またはディスク上の実行可能ファイルのコピーオンライトマッピングのいずれかに存在します。最初に書き込みを試みると、ページフォールトが発生し、カーネルはプロセスのためにローカルで変更可能なコピーを作成します。カーネルが不注意でプロセスにコミットするほどのメモリを確保しなかった場合、これは失敗する可能性があり、その結果は恐ろしいOOM-killerになります。

ませ堅牢なシステムは、この問題を持っていない、とLinuxの動作がで固定することができます。それが依存するので、それが自動のもののために行うことはできません、静的オブジェクトのコンパイル時に確認することができますが

echo "2" > /proc/sys/vm/overcommit_memory