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

Memory allocated for objects on the stack is automatically freed when they go out of scope, that is, when the function or block of code in which they were created finishes. The stack operates on a LIFO (Last In, First Out) principle, so when returning from a function, all memory allocated for local variables is cleared without the need for explicit deallocation.