Turs récursion (@tailrec) fonction récursive vs erreur de débordement de la pile de la fonction scala non-récursif?

Question

Mon cas d'utilisation est plus compliquée, mais est fondamentalement ci-dessous l'exemple simplifié de ce que je suis en train de réaliser (mon code d'origine est pour akka-stream):

offset := 0 

//pump data 
def pump(): Unit = { 
    elem := poller.getNumberFromOffset(offset) 

    elem match { 
     case null => doSomething() 
     case Completed => doSomethingElse() 
     case _ => 
      offset += 1 
      //check if the element is matched with a pre-supplied selector/filter function 
      if(filterFunc(elem)) { 
       doSomething2() 
      } else { 
       //if the element doesn't match; increase offset and try again; can sleep for a while here    
       pump() 
      } 
    } 
} 

Le problème est que la fonction de la pompe() peut entraîner un débordement de la pile (car la fonction de pompe est appelée encore et encore pour une condition spécifique).

Je peux écrire la fonction dans une version non récurrente comme les suivantes:

offset := 0 

//pump data 
def pump(): Unit = { 
    elem := poller.getNumberFromOffset(offset) 
    while(elem != null && elem != Completed && !filterFunc(elem)) { 
     offset += 1 
     elem = poller.getNumberFromOffset(offset) 
    }  

    elem match { 
     case null => doSomething() 
     case Completed => doSomethingElse() 
     case _ =>   
      offset += 1 
      doSomething2() 
    } 
} 

Cependant, mon cas d'utilisation est beaucoup plus complexe; donc je voudrais vraiment utiliser la fonction récursive si c'est possible au lieu de convertir le code existant en while/for loop. Ma question est "dois-je faire" et y a-t-il une différence si je mets simplement l'annotation @tailrec sur le premier exemple pour que scala complier traite la pompe comme fonction de récursion de queue (@tailrec def pump(): Unité = {}). Dans mon cas, la fonction pump() doit être appelée séparément/après un intervalle fixe; pile-cadre n'est vraiment pas nécessaire ici.

Merci.

Answer 1

Si vous mettez @tailrec et que le compilateur vous permet de l'exécuter, cela implique que votre code est éligible pour l'optimisation de la récursion de queue. En interne, le compilateur scala convertira le code récursif de la queue en une boucle. Je ne pense pas qu'une fonction récursive de queue provoquera une erreur de stackoverflow. Ainsi votre pompe() fonction ne provoquera pas stackoverflow si elle satisfait @tailrec.