Простая и интересная задачка по C++: объяснить почему результат работы программы именно такой, какой он есть

если я правильно понял, то тут идёт работа со стеком вызовов, но могу и ошибаться. было бы интересно узнать правильный ответ (разъяснение), ибо возможности пошагово протестировать данный код сейчас нет.

42 выводится, т.к. переменной var присваивается 052, что есть 42 в восьмиричной системе счисления

Да, работа со стеком программы, при вызове любой функции, сначала в стек помещаются параметры(в моём случае отсутствуют), затем в стек помещается адрес возврата(8 байт при 64 битной адресации памяти), затем происходит вызов функции printHelloWorld, по сути переход по адресу этой функции, внутри которой 8 байт на стеке резервируются под хранение регистра esp(подробнее об этом можно почитать в книгах по ассемблеру) и ещё сколько-то байт, у меня 16 под локальные переменные(компилятор может добавлять свой код, в моём случае он так и сделал). С помощью я кладу адрес локальной переменной(т.е. адрес ячейки стека) в саму эту переменную и теперь с помощью него можно гулять по стеку, куда душе угодно, поскольку стек "растёт вниз", то, чтоб получить то, что было положено раньше, нужно увеличивать значения, я прибавляю 3, поскольку тип long, прибавляется 3*8=24 байта и теперь ptr указывает на место в памяти, где находится адрес возврата, в это место я пишу адрес функции func1 и когда функция printHelloWorld завершается, программа смело переходит по этому адресу в надежде, что вернётся на одну команду после вызова.
С 42 примерно тоже, поскольку переменные на стеке не зануляются и всё выделение памяти под локальные переменные сводится к изменению вершины стека, можно вычислить, где будет находиться var из func1 после вызова и записать туда 42, если за это время никто не запишет туда ничего другого(нарпимер инициализация переменной var может всё поломать), то cout выведет 42.

Но, как написал, OlafNestandart, это больше на знание архитектуры современных ПК и в некоторых случаях компилятор может делать не так, как я написал выше, например, параметры функции могут передаваться не через стек, а через регистры(память процессора).