В какой момент происходит освобождение памяти от объектов, сохранённых в стеке?

Память, выделенная под объекты в стеке, освобождается автоматически в момент выхода из области видимости этих объектов, то есть когда функция или блок кода, в котором они были созданы, завершается. Стек работает по принципу LIFO (Last In, First Out), поэтому при возврате из функции вся память, выделенная под локальные переменные, очищается без необходимости явного освобождения.