автоматическое / статическое выделение памяти

Два слова: Stack Overflow. :П

Автоматическое выделение, безусловно, может дать сбой - это обычно называется переполнением стека. Вы видите это довольно часто, когда кто-то пытается использовать большой массив в качестве локальной переменной. Неограниченная (или недостаточно ограниченная) рекурсия также может вызывать это.

То, что вы действительно не можете сделать независимо от платформы, - это обнаружить сбой автоматического выделения и обработать его.

В системах с избыточной фиксацией (например, Linux в конфигурации по умолчанию) для объектов со статической продолжительностью хранения возможно даже сбой во время выполнения. При запуске программы эти объекты будут существовать либо в нулевых страницах для копирования при записи (если они не инициализированы), либо в сопоставлениях «копирование при записи» исполняемого файла на диске. При первой попытке записи в них произойдет сбой страницы, и ядро ​​сделает локальную модифицируемую копию для вашего процесса. Если ядро ​​было небрежно и не зарезервировало столько памяти, сколько было выделено для процесса, это может потерпеть неудачу, и результатом станет страшный убийца OOM.

Этой проблемы нет ни в одной надежной системе, и поведение Linux можно исправить следующим образом:

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

Не правда. Автоматическое выделение может вызвать переполнение стека, что вызывает мгновенное завершение процесса на большинстве известных мне архитектур / платформ.

Кроме того, возможно, что программа не может выделить достаточно места для ваших статических переменных из базовой платформы, и в этом случае программа все равно завершится ошибкой, но завершится ошибкой до вызова main.

Простой контрпример:

#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;
}

Пример:

#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;
}