Pavel
Т.е. организация работы выделения и инициализации памяти зависит полностью от компилятора?
Выделение памяти (1) и инициализация (2) -- это сущности, которые отличаются от контекста разговора. Так, ОС выделяет память (2) и отдельно инициализирует (2) выделенный участок значениями. Если мы говорим о компиляторе, то (1) это генерирование определённого кода, а (2) происходит разными другими способами.
Поэтому короткий и универсальный ответ: выделение памяти (1) это абстракция, а (2) заполнение значениями -- конкретизация.