La récursivité terminale est un type d'appel Procédé de programmation où un procédé s'appelle elle-même, puis retourne immédiatement la valeur de cette deuxième appel. En d'autres termes, la récursivité terminale survient lorsque la déclaration finale à l'intérieur d'une méthode d'un autre appel à la même méthode. Les paramètres de l'appel de méthode seconde sont généralement différents de celles de la première, mais cela n'est pas obligatoire. Pour que cette récurrence de travailler, la méthode qui est appelée en elle-même doit retourner une valeur concrète, comme un nombre, une chaîne ou un autre objet. Méthodes vides, qui ne renvoient pas de valeur, ne fonctionnent pas bien pour la récursivité.
L'exigence selon laquelle un appel récursif doit être la dernière instruction dans sa méthode d'appel ne signifie pas nécessairement que l'appel récursif est la dernière ligne de la méthode. Un appel queue bon récursivité peut également être trouvé à l'intérieur d'une structure de contrôle, ce qui signifie que, dans le code source, la structure de contrôle peut mettre fin à la méthode plutôt que l'appel. La distinction est importante dans ce cas est que la structure de contrôle n'est pas une déclaration de programmation, mais une partie intégrée du langage informatique.
Récursivité terminale existe dans de nombreux langages informatiques, y compris Java et C + +. Souvent, ces appels récursifs peut être réécrit en utilisant d'autres moyens, tels que des boucles, alors que les déclarations des boucles ou des goto. L'utilité de la récursivité est trouvé lors de la création de nombreux appels séquentiels à la même méthode. La récursivité est souvent le moyen le plus propre et plus facile à accomplir des tâches répétitives.
Un exemple courant de récursivité terminale est une méthode qui calcule la factorielle d'un nombre. Ce procédé est idéal parce que, à partir de n'importe quel nombre, chaque nombre avant d'être multipliés ensemble. Ainsi, pour trouver la factorielle de 5, le processus approprié de le faire serait de multiplier 5 * 4 * 3 * 2 * 1. La récursion est disponible en raison de la façon dont la méthode factorielle est structuré: si le facteur est 1, renvoie 1, sinon retourne la factorielle d'un nombre donné à la méthode moins un. Cette méthode est également utile car il peut être équivalente écrit en utilisant n'importe quel type de récursivité terminale, avec ou sans une instruction de contrôle autour d'un appel de méthode final
.
La récursivité terminale n'est qu'un exemple des nombreux types de récursivité. Le concept dans tous les types de récursivité est essentiellement le même, que d'une certaine façon une méthode s'appelle elle-même. Parmi ces types, la distinction de la récursivité terminale est que la valeur d'un appel récursif est retourné immédiatement, et rien d'autre qui se passe dans la méthode d'appel après cet appel.