[Yaric]

nt* a = new int;
означает, что на момент компиляции будет выделена память под указатель на переменную типа int, но адрес этой переменной будет известен только на этапе выполнения и будет получен в "куче" оператором new.

Не совсет так.
Память под указатель с именем а уже выделена на стеке процедуры.
А вот оператор new выделяет память в куче для размещения переменной типа int и настраивает указатель а на этот адрес в памяти
Не забывайте при выходе из функции освободить память в куче оператором delete