Dlaczego tak
Zmienna n wskazuje pierwszą wolną komórkę, bo Push zapisuje pod t[n] i dopiero potem zwiększa n. Ostatnio dodany element leży więc pod t[n − 1], a predekrementacja --n najpierw zmniejsza n, a potem używa nowej wartości jako indeksu. Postdekrementacja n-- użyłaby starej wartości n, czyli zwróciłaby wolną komórkę za szczytem stosu, a t[0] to element dodany najwcześniej, jak w kolejce.