Swift 再帰関数

Question

func series(n:Int) ->Int{

if n > 0 {
    return n - series(n: n - 1)
}else{
return 0
}

}
print(series(n: 3))
なぜこの再帰関数の結果は2なのでしょうか？

3-2-1=0ではないのでしょうか？

Answer 1

処理の順番を整理して考えれば理解できるかと。

1. 3 - 2（再帰実行するため、数値は確定していない）
2. 2 - 1（再帰実行のため、数値は確定していない）
3. 1 - 0（再帰処理を行うが、0が返され、再帰はこれ以上実行されないため、確定）
4. 3番目が確定して、1が返る
5. 2番目も確定し、2 - 1の式が確定するので、1が返る
6. 1番目の処理も確定し、3 - 1の式が確定、print(series(n: 3))の処理が確定するため、

2が出力される

という流れだからですね。

Comments

[退会済みユーザー]

series(n:3)→3-(series(n:2))→3-(2-series(n:1))こうゆう事でしょうか？

[miyabi_pudding]

そういうことです。

[退会済みユーザー]

series(n:3)→3-series(n:2)→3-2-series(n:1)なぜこれはこのように括弧が外れるのではなくつくのでしょうか？そこら辺がいまいちわかりません。

[miyabi_pudding]

(2-series(n:1))の右側が再起実行のため、3-2がすぐに確定しないからです。
最後の再帰が確定するまで、
3-2の、2は確定しません。

[退会済みユーザー]

series(n:3)→3-series(n:2)→3-2-series(n:1)→3-2-1-series(n:0)→ここでretrun 0が返りようやく2と１が確定するという事でしょうか？確定して3-2-1このままで計算するのはおかしいのでしょうか？

[miyabi_pudding]

> retrun 0が返りようやく2と１が確定するという事でしょうか？

そういうことです。
再帰をさせることによって、
再帰可能な限り潜っていき、
潜れないところまで来た段階で、
確定した値順に処理が確定していきます。
つまり、処理を実行させた順番と、
逆順に値が確定していく、ということです。
（あくまで今回の処理は）

[miyabi_pudding]

3-2-1-0と処理の実行順はこうなりますが、
値の確定順は逆の、
0、1、2、3
の順です。
なので、値の処理順自体は先に確定した側から順番にされます。

1-0、2-1、3-1

という処理順になるわけですね。

[退会済みユーザー]

わかりました！！！ありがとうございます。

[miyabi_pudding]

値が確定した式から順に実行される、
と覚えればいいかと。
つまり、必ずしも、処理の実行順に、処理が確定されるとは限らないってことです。

[miyabi_pudding]

いえいえ、私も大変勉強になりました。
逆にありがとうございます。