Как конструктор по умолчанию знает, где инициализировать значения по умолчанию элемента данных в памяти

Когда объект создается, операционная система создает пространство. При создании объекта операционная система автоматически вызывает конструктор по умолчанию.

Как Джон упомянул в комментариях, в Стандарте нет явной информации о том, как выделяется / управляется память. Однако, если предположить, что никакая оптимизация компилятора не выполняется и вы создаете объект в стеке ... тогда произойдет вероятно.

Данный:

void f()
{
    foo x;
}

Компилятор выдаст что-то вроде:

void f()
{
    char foo_buffer[sizeof(foo)];
    new (&foo_buffer) foo()
    reinterpret_cast<foo*>(foo_buffer)->~foo();
}

Пространство для экземпляра foo резервируется в стеке, затем в этом пространстве вызывается конструктор. В конце области вызывается деструктор.

Это зависит от того, где вы пишете свое определение:

• Если вы определите свой объект в глобальной области видимости, компоновщик определит, где разместить объект в области данных программы, и убедится, что там достаточно места. То же самое верно для всех статических объектов, независимо от того, являются ли они статическими членами класса или функцией локальной статики.
• Если вы определяете свой объект как локальный объект в функции, он будет помещен в стек. Соглашения о вызовах в используемой системе предусматривают достаточно места в стеке (при условии, что в стеке достаточно места для начала; в противном случае вы получите переполнение стека).
• Если ваше определение на самом деле является объявлением члена, пространство для объекта будет создано в содержащем объекте, и новый объект будет помещен туда.
• Для полноты картины при использовании выражения new пространство выделяется в куче, и объект размещается там.
• Другой случай - это локальные объекты потока, которые размещаются где-то в стеке потока.

Обратите внимание, что размещение объектов применяется ко всем конструкторам: единственное значение конструктора по умолчанию состоит в том, что вы не передаете никаких аргументов при создании объекта.