【PHP】再帰関数について

Last updated at 2020-04-14Posted at 2018-12-12

この記事は「YYPHP Advent Calendar 2018」の13日目のエントリです。
拙い文章ですが、よろしくお願いします ((_ _ (´ω｀ )ﾍﾟｺ

最初はクラス・インターフェイス・トレイトについてまとめた記事を投稿しようと考えていましたが、:: のアクセスまわりについて調べていたら「はぁあぁああ？」となったので、内容を大幅に変更して、（前に書いて投稿していなかった）再帰関数についてお届けます。

はじめに

この記事は関数の基本的な記述の仕方について理解している方が対象です。
「再帰関数」という字面だけ見ると難しそうに感じますが、落ち着いて一つ一つ見ていけば理解できます。

私自身未熟ですので説明に誤りがあるかもしれません。
誤りがあれば、ご指摘ください ((_ _ (´ω｀ )ﾍﾟｺ

再帰関数とは

再帰という言葉は「もう一度帰ってくる」「再び帰る」という意味です。
再帰関数とは文字通り、自分自身を繰り返し呼び出して実行する関数のことです。
自分自身を呼び出すってどういうこと？って思われた方もいると思います。
再帰関数を最小の記述で書くなら下記のようになります。

雑な再帰関数の記述（真似しないでね）

<?php
function abc($args) {
	return abc($args -1); //abc 関数内で abc 関数を呼び出している
}

abc 関数内で abc 関数を呼び出しています。
再帰関数には特別な構文があるわけではなく、単純に同じ関数を記述するだけです。
このように自分自分を呼び出している関数を再帰関数と呼びます。
後ほど詳しく説明しますが、上記のコードは無限ループするコードなので試さないでください。

実例を見ながら再帰関数とはどのような記述なのか理解を深めていきましょう。
今回は階乗計算する再帰関数を作成したいと思います。

そもそも階乗（かいじょう）って何？

階乗について忘れた方、まだ習っていない方もいると思うので、簡単に説明します。
階乗と言われると難しそうに思えますが、順番に乗算するだけです。
5の階乗なら 5 * 4 * 3 * 2 * 1 で 120 です。
3の階乗なら 3 * 2 * 1 で 6 です。
階乗とは文字通り、階になっている（別の言い方をすれば層になっている）ので、それを順番に乗算するだけです。
階乗の求め方にはパターンがあり、1引いた値を繰り返し乗算しているだけです。
このような処理は再帰関数を使わなくても書くことができますが、再帰関数を使うことで簡単に記述できます。
関数の引数に 3 と指定すれば、6 と返ってくる再帰関数を作成していきます。

階乗計算する再帰関数

階乗計算する factorial という再帰関数を作成します。

階乗計算する再帰関数

<?php
function factorial($args) {
	if($args > 0) {
		return $args * factorial($args - 1);
	}
	return 1;
}

echo factorial(3); //表示結果は 6

factorial 関数の引数が 0 より大きければ、return $args * factorial($args - 1) を実行し、0 よりも小さければ return 1 を実行します。
注目すべきは factorial($args - 1) です。
factorial 関数内で factorial 関数を呼んでいるため、ここでまた factorial 関数が実行されています。
但し、引数は $args - 1 になっているため、最初の引数よりも1少ない引数で関数が実行されます。
factorial 関数内の factorial 関数内の factorial 関数がまた実行されます。
関数内で同じ関数を読んでいるため、無限ループします。
最初の説明で無限ループするので試さないでくださいと伝えたのはこのためです。
どのような順番で処理されているのかイメージできなくても、次で説明します。
無限ループにならないように if($args > 0) と指定しています。
この条件が true なら同じ関数が呼び出されますが、false の場合は return 1 が実行され、関数は呼び出されなくなります。
このように再帰関数を使うときは、if を使って再帰が終了するように記述する必要があります。
再帰関数の記述の仕方は理解できたかと思います。
次は再帰関数がどのように処理されているのか見ていきましょう。

再帰関数ってどのように処理されるの？

再帰関数とは関数を入れ子にして実行しているイメージです。
factorial 関数内の factorial 関数が実行され、さらに factorial 関数内の factorial 関数内の factorial 関数が実行されるように無限に同じ関数を呼び出します。
下記のようなイメージです。