Twitter的「有效斯卡拉」經紀人例子和尾遞歸

Question

在由Twitter公佈的文件「Effective Scala」，我看到的代碼示例：

class Pool(conns: Seq[Conn]) { 
    private[this] val waiters = new Broker[Conn] 
    private[this] val returnConn = new Broker[Conn] 

    val get: Offer[Conn] = waiters.recv 
    def put(c: Conn) { returnConn ! c } 

    private[this] def loop(connq: Queue[Conn]) { 
    Offer.choose(
     if (connq.isEmpty) Offer.never else { 
     val (head, rest) = connq.dequeue 
     waiters.send(head) { _ => loop(rest) } 
     }, 
     returnConn.recv { c => loop(connq enqueue c) } 
    ).sync() 
    } 

    loop(Queue.empty ++ conns) 
} 

代碼不會顯得尾遞歸，和ISN」 t註釋如此。由於這是一個可能會在程序生命週期中保持運行的連接池，因此會阻止這樣的池最終炸燬堆棧並生成StackOverflowException？

Answer 1

代碼根本不是遞歸的！ loop不會自行調用。它分別通過關閉{ _ => loop(rest) }和{ c => loop(connq enqueue c) }到waiters.send和returnConn.recv，它們再次調用loop。沒有遞歸因此沒有堆棧溢出。