GCされるための辛い努力.md

単純な(リークするかもしれない)実装

def foo(lazyList: LazyList[A]) = {
  
  // Scala 2.13のlazyListだとnewLLとかいう名前のやつ
  Function0を引数に取るやつ {
    引数のlazyList使った実装
  }
}

上記のやつを、コンパイラはこんな感じに展開する、というイメージ

def foo(lazyList: LazyList[A]) = {
  Function0を引数に取るやつ {
    new Function0[A, B] {
      // フィールドにvalで保持されるコードをコンパイラが生成するイメージ
      // valで保持されちゃったら、所属しているFunction0自体がGCされるまでずっとGCされない
      private[this] val lazyListの参照 = lazyList
    
      def apply() = {
        // 実装
      }
    }
  }
}

上記の問題を解決するための、varを使った辛い工夫

def foo(lazyList: LazyList[A]) = {
  var ll = lazyList
  Function0を引数に取るやつ {
    // 引数のlazyListは直接参照しないで実装を書く
    // "var ll"のほうを参照する
    // llが必要なくなったらnullあるいは他のものを代入してGCされるようにする
    //
    // コンパイラが十分賢ければこのくらいのこと勝手にやってくれ、という話ではある・・・？
  }
}