W jaki sposób Python implementuje wzajemną rekursję?

Question

Przeprowadzka do Pythona z C/Java tła, Niedawno miałem do wdrożenia wzajemnej rekursji, ale coś w Pythonie przeszkadza mi:

ponieważ program python interpretuje wiersz po wierszu, jeśli mam dwie funkcje jeden po drugim w tym samym pliku python:

def A(n): 
    B(n-1) 
# if I add A(1) here, it gives me an error 
def B(n): 
    if n <= 0: 
     return 
    else: 
     A(n-1) 

Gdy interpreter czyta A, B nie jest jeszcze zdefiniowany, jednak ten kod nie nie dają mi błąd

TL; DR moim rozumieniu jest to, że kiedy def jest interpretowany, Python dodaje wpis do jakiejś nazwy lokalnej przestrzeni locals() z {"function name": function address}, ale jak dla ciała funkcji, to tylko zrobić sprawdzenie składni:

def A(): 
    blabla # this will give an error 

def B(): 
    print x # even though x is not defined, this does not give an error 
    A()  # same as above, NameError is only detected during runtime 

Answer 1

A SyntaxError zostanie złapany w czasie kompilacji, ale większość innych błędów (NameError, ValueError, itd.) Zostaną złowione wyłącznie w czasie wykonywania, a następnie tylko wtedy, gdy funkcja jest wywoływana.

"jeśli napisałem jakąś funkcję, jeśli nie została ona wywołana w moim teście .." - i dlatego powinieneś przetestować wszystko.

Niektóre IDE podnoszą ostrzeżenia w różnych sytuacjach, ale najlepszą opcją jest wciąż przeprowadzanie dokładnych testów samodzielnie. W ten sposób można również sprawdzić, czy nie występują błędy wynikające z czynników, takich jak dane wprowadzane przez użytkownika, których automatyczne kontrole IDE nie będą obejmować.

Answer 2

Linia B(n-1) mówi "kiedy ta instrukcja jest wykonywana, wyszukaj jakąś funkcję w zasięgu modułu, a następnie wywołaj ją z parametrami n-1". Ponieważ wyszukiwanie odbywa się, gdy funkcja jest wykonywana, można później zdefiniować B.

(Dodatkowo można całkowicie zastąpić B o innej funkcji, a A wywoła nową B później. Ale to może doprowadzić do pewnego zamieszania kodu.)

Jeśli martwisz się o nie łapania wywołań nieistniejące funkcje, możesz spróbować użyć narzędzi do analizy statycznej. Poza tym upewnij się, że testujesz swój kod.

Answer 3

Gdy interpreter czyta, B nie jest jeszcze określona, ​​jednak ten kod nie daje mi błąd

Powodem interpreter Pythona nie daje błędu można znaleźć z docs , który jest nazywany forward reference pod względem technicznym:

Rozdzielczość nazw zmiennych wolnych występuje w czasie wykonywania, a nie w czasie kompilacji.