異なる比較演算子によって引数型が変更されるのはなぜですか？

Question

私はAckermann functionを処理していた時：

def ackermann(m,n): 
    if m == 0: 
    return n + 1 
    if m > 0 and n == 0: 
    return ackermann(m-1,1) 
    elif m > 0 and n > 0: 
     return ackermann(m-1,ackermann(m,n-1)) 

私は第二if文で間違ったオペレータ書いた：

if m == 0 and n == 0: 
    return ackermann(m-1,1) 

をしかし、私はエラーました：引数の型が変化したのはなぜ

File "C:/Users/jacob/Desktop/think python/exercise 6-2.py", line 15, in ackermann 
return ackermann(m-1,ackermann(m,n-1)) 

File "C:/Users/jacob/Desktop/think python/exercise 6-2.py", line 14, in ackermann 
elif int(m) > 0 and int(n) > 0: 

TypeError: unorderable types: NoneType() > int() 

をオペレーター？

Answer 1

ので、エラーを生成したコードは、例えばスルー

def ackermann(m,n): 
    if m == 0: 
    return n + 1 
    if m == 0 and n == 0: 
    return ackermann(m-1,1) 
    elif m > 0 and n > 0: 
     return ackermann(m-1,ackermann(m,n-1)) 

レッツステップました。

ackermann(2, 1) 
    # m = 2, n = 1 
    m == 0: False 
    m == 0 and n == 0: False 
    m > 0 and n > 0: True 
    return ackermann(m-1,ackermann(m,n-1)) 
    ackermann(m,n-1) # the inner call 
    ackermann(2,1-1) 
     # m = 2, n = 0 
     m == 0: False 
     m == 0 and n == 0: False 
     m > 0 and n > 0: False 
     # None of the conditions matched, so we (implicitly) return None 
     # because we didn't execute an explicit return 
    ackermann(2-1,None) # the outer call 
     # m = 1, n = None 
     m == 0: False 
     m == 0 and n == 0: False 
     m > 0 and n > 0: 
     m > 0: True # m == 1 
     n > 0: error! # n == None 

Answer 2

いずれかの条件に当てられず、暗黙のリターンを引き起こす関数の終わりに行くことはないと思われます。これはNoneです。

関数の最後に有効な値を返すようにしてください。

例えば、OK

def ackermann(m,n): 
    if m == 0: 
    return n + 1 
    if m > 0 and n == 0: 
    return ackermann(m-1,1) 
    elif m > 0 and n > 0: 
     return ackermann(m-1,ackermann(m,n-1)) 

    # Writing an explicit return to make sure we always 
    # return some integer and not None. Change this accordingly 
    return 1