Architectes· 64-bit
Chaque appel de fonction reçoit un cadre sur une pile. La récursivité, c'est une fonction qui empile des cadres d'elle-même.
Quand une fonction est appelée, le processeur saute vers son code. Mais quand la fonction se termine, comment sait-il où revenir, surtout si elle a été appelée depuis dix endroits différents ?
Avant de sauter, le programme note trois choses dans un bloc de mémoire appelé cadre de pile : l'adresse de retour, les paramètres de la fonction et la place pour ses variables locales. Les cadres s'entassent sur une pile d'appels. Le plus récent est toujours au sommet, et c'est le premier retiré : dernier entré, premier sorti.