Có phải là một tội lỗi để sử dụng đệ quy vô hạn cho các vòng vô hạn trong Python?

Question

Câu hỏi này là nhiều hơn về sự tò mò hơn so với tiện ích. Nếu tôi đang viết một hàm được cho là chạy mãi mãi, ví dụ như một daemon, Python sẽ xử lý nó như thế nào nếu tôi gọi hàm đó một lần nữa từ cuối hàm?

def daemonLoop(): 

    # Declare locals 

    # Do stuff 

    daemonLoop() 

Tôi khá chắc chắn rằng làm điều này trong C sẽ cho kết quả trong một ngăn xếp tràn, nhưng với mức độ trừu tượng từ C để Python Tôi đoán thứ được xử lý khác nhau.

Tôi có đến địa ngục này không?

Answer 1

Trong hầu hết các trình thông dịch Python sẽ gây tràn ngăn xếp, như trong C. Tính năng cấp cao hơn cho phép gọi là Tail Call Optimization hoặc Loại bỏ đệ quy đuôi và the benevolent dictator of Python opposes adding this to the language.

Kiểu này được coi là không thành ngữ cho Python và một vòng lặp while True: đơn giản được ưu tiên.

Answer 2

Phiên bản C của trình thông dịch Python (có thể là những gì bạn đang sử dụng) sẽ gây ra lỗi cuối cùng nếu bạn không bao giờ quay trở lại từ daemonLoop. Tôi không chắc chắn về các phiên bản khác.

Answer 3

Có lẽ không phải là một ý tưởng tốt ....

def forever(): forever() 

forever() 

RuntimeError: độ sâu đệ quy tối đa vượt quá

http://paulbarry.com/articles/2009/09/02/infinite-recursion

Answer 4

Độ sâu đệ quy tối đa có thể được lấy ra với sys.getrecursionlimit() và thiết lập với sys.setrecursionlimit().

Would I go to hell for this?

Có. CPython không có Loại bỏ đệ quy đuôi/Tối ưu hóa cuộc gọi cuối cùng.

def recurse(): 
    recurse() 

recurse() 

Lỗi:

 
    # 1000 or so lines of this: 
    File "", line 2, in recurse 
RuntimeError: maximum recursion depth exceeded 

Answer 5

Tôi không biết lý do tại sao bạn muốn suy nghĩ về làm một cái gì đó như thế khi bạn chỉ có thể có một while vòng lặp vô hạn. Dù sao cho câu hỏi của bạn về việc liệu nó có hoạt động hay không:

... 
    File "test.py", line 7, in daemonLoop 
    daemonLoop() 
    File "test.py", line 7, in daemonLoop 
    daemonLoop() 
RuntimeError: maximum recursion depth exceeded 

Vì vậy, đúng vậy.

Answer 6

(define forever (lambda() (forever))) 

Loại đệ quy này là ngôn ngữ Lisp giống như phương án được tạo cho!