python：関数の中の関数の出力結果について

Question

def sum(n):
    if n < 1:
        return n
    print(sum(n-1))

sum(3)

上記出力結果が

0
None
None

と出力される原因が分からないので教えていただきたいです。

宜しくお願い致します。

Answer 1

順に追えば、そうなりませんか?

def sum(n):
    if n < 1:
        return n
    print(sum(n-1))

最初の呼び出しは、n=3
--> n >= 1 なので、 print(sum(3-1))
ここでの戻りは、無し。ただし、呼び出し側も戻り値を見てないので、何も無し。

さて、print()は、sum(2) ...
--> n >=1 なので、print(sum(2-1))
sum()の処理はちょっと於いて、print()の次を考えると、returnが無いので、戻り値無し。 ここでの戻り先は、最初の print(sum(3-1))ですが、sum(3-1) の戻り値が無いので、 Noneですね。
ただ、これは、print()の中でのsum()の処理後なので、最後の Noneに対応。
次の print(sum(2-1))も同じになって、最後の print(sum(1-1))が、0を出力するので、質問の出力となります。

ちょっと説明が分かりにくいかもしれませんが、どうでしょうか。

Answer 2

Pythonの関数は、returnせずに脱出するときNoneを返すからです。
つまり次のように書いているのと同じです。

def sum(n):
    if n < 1:
        return n

    print(sum(n-1))
    return None      # この行は無くても同じだし、単にreturnとだけ書いても良い

sum(3)

sum(0)は0を返しますが、sum(1)とsum(2)はNoneを返しています。

計算結果をその場で捨ててしまうのは再帰処理ではやりがちです。
こんなふうに書いてみると良いでしょう。

def sum(n):
    if n < 1:
        return n

    ret = sum(n-1)
    print(ret)
    return ret

sum(3)

なお、関数名はmy_sumなど別の名前に変えた方が無難です。
...と言っても、現状のコードは min(0, n) と動き一緒になっちゃってるんですけどね。