क्या एलिक्सीर अनंत रिकर्सन कभी ढेर से बहती है?

Question

different how-tos अमृत प्रोग्रामिंग पर की A number का मानना ​​है कि राज्य भंडारण या अनंत लूप चल रहा एक एजेंट या कार्य, में बंद या समारोह है कि राज्य की जरूरत के अनंत प्रत्यावर्तन द्वारा डेटा कताई द्वारा मुहावरे या तो किया जाता है व्यक्त करते हैं। वे किसी भी सीमा का उल्लेख नहीं करते हैं कि रिकर्सन कितना गहरा हो सकता है या कोई अन्य चेतावनी।

"अमृत ढेर अतिप्रवाह" सिर्फ इस वेबसाइट पर हिट में परिणाम के लिए खोज के बाद से, मुझे अस्पष्टता को हटा दें और यहाँ पूछना है: क्या कार्यान्वयन गारंटी देता है कि की एक विधि के रूप में अनंत प्रत्यावर्तन 'पाशन' जीता सुनिश्चित करने के लिए अमृत में देखते हैं नतीजतन एक ढेर ओवरफ्लो में, विशेष रूप से जब राज्य की जानकारी रास्ते में चारों ओर ले जाया जा रहा है?

Answer 1

हिस्टो द्वारा उत्कृष्ट टिप्पणियों को सारांशित करने के लिए, सामान्य तंत्र को "टेल कॉल ऑप्टिमाइज़ेशन" (टीसीओ) कहा जाता है और यह सुनिश्चित करता है कि अगर अंतिम कार्य किसी अन्य कार्य (या स्वयं) का आह्वान होता है, तो वहां नहीं होगा ढेर धक्का हो। इसके बजाय, एक साधारण कूद होगा।

एक पूंछ कॉल है क्या करने के लिए के रूप में कुछ सूक्ष्म बारीकियों रहे हैं। आइए कुछ उदाहरण देखें। सबसे सरल एक है:

def foo do 
    # ... 

    bar(...) # tail call -> nothing is pushed to the stack 
end 

TCO भी सशर्त भाव के लिए लागू होंगे:

def foo do 
    # ... 

    if (...) do 
    # ... 
    bar(...)   # tail call 
    else 
    # ... 
    baz(...)   # tail call 
    end 
end 

यह काम करता है क्योंकि फिर से आखिरी बात एक समारोह करता है एक समारोह की एक मंगलाचरण है। if का परिणाम या तो bar या baz का परिणाम इतना ढेर पर कुछ भी पुश करने के लिए कोई जरूरत नहीं है।

इसके विपरीत, फोन करने वाले समारोह एक और कार्यप्रणाली को कॉल करने के बाद कुछ है, तो यह नहीं एक पूंछ कॉल है, और TCO नहीं होगा:

def foo do 
    # ... 

    # Not a tail call since we're doing something after bar returns 
    # (increment the result by 1) 
    1 + bar(...)  
end 

TCO try में समारोह बुला रहा है को तोड़ने का एक और उदाहरण:

def foo do 
    try do 
    bar(...) # not a tail call 
    rescue 
    # ... 
    end 
end 

यह भी उल्लेख है कि TCO की वजह से आप स्टैक ट्रेस में कुछ कार्यों को नहीं देखेंगे जब एक अपवाद तब होता है लायक है:

def foo do 
    # ... 
    bar(...) # at this point foo "disappears" from stack trace 
end 

def bar(...) do 
    # ... 
    raise("error") 
end 

इस त्रुटि के ढेर डंप में foo शामिल नहीं होगा क्योंकि यह अब ढेर पर नहीं है (इसे प्रभावी रूप से bar के साथ बदल दिया गया है)।

दूसरा कैसे आप जुड़े हैं से