Java8のラムダとScala 2.12(LambdaMetafactoryによるシングルトンのキャッシュ)

結論から言うと、Scalaでも以下と同じように頑張るようになるんやで、なので2.12以降はSAMかつ純粋なシングルトンにできる場合は、明示的にnewしないほうが効率いいかもしれないよ、という話

https://twitter.com/orekyuu/status/790753654114357248

このプログラムを実行したときの出力はなんでしょう?1. truetrue2. falsefalse3. falsetrue4. truefalse URL

2016-10-25 12:15:37 via Twitter Web Client

@orekyuu falsefalseになると思いきやラムダ式の方だけ消えずに答えは4になります URL

2016-10-25 12:23:37 via Twitter Web Client to @orekyuu

@orekyuu ラムダは内部でキャプチャしてたような気がしてたのでそんな気がした

2016-10-25 12:32:36 via Twitter for Android to @orekyuu

@wreulicke 言語仕様とかに書いてあるのかな

2016-10-25 12:32:57 via YoruFukurou to @wreulicke

@orekyuu たぶん普通に内部の状態表示すると分かった気がする

2016-10-25 12:33:30 via Twitter for Android to @orekyuu

@wreulicke @orekyuu ラムダとかメタスペースにありそうなイメージ

2016-10-25 12:35:04 via TweetDeck to @wreulicke

@wreulicke @orekyuu でも型作ってシングルトンってわけでもなさそうだけど。いやでもラムダはステートレスだからFlyweightとかで使いまわしされてたりすんのかなぁ……？

2016-10-25 12:36:14 via TweetDeck to @nagise

@nagise @wreulicke invokedynamicでやってるみたいなことは聞いたことあるのでその辺調べたら原因わかるんですかねー

2016-10-25 12:37:40 via YoruFukurou to @nagise

@orekyuu @wreulicke ラムダの実装について詳しい話どこかで見たような気はしますね。ヒントにはなりそう。javapしてバイトコード見てみるのもひとつの手

2016-10-25 12:40:00 via TweetDeck to @orekyuu

@nagise @orekyuu @wreulicke この辺ですかねURL

2016-10-25 12:58:25 via Twitter for iPhone to @nagise

@mike_neck @orekyuu @wreulicke 40ページあたりにシングルトンの話のってますね。なるほど

2016-10-25 13:13:04 via TweetDeck to @mike_neck

@mike_neck @orekyuu @wreulicke 先の問題に加えてint hoge = 123;new WeakReference<>(()->System.out.println("c"+hoge"));みたいにしたらnullになりましたよ。

2016-10-25 13:14:38 via TweetDeck to @nagise

http://www.slideshare.net/miyakawataku/lambda-meets-invokedynamic/41
https://docs.oracle.com/javase/jp/8/docs/api/java/lang/invoke/LambdaMetafactory.html

以下、Scalaでの実験結果

Welcome to Scala 2.11.8 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_102).
Type in expressions for evaluation. Or try :help.

scala> def foo: Int => Int = a => a
foo: Int => Int

scala> val a1 = foo
a1: Int => Int = <function1>

scala> val a2 = foo
a2: Int => Int = <function1>

scala> a1 eq a2 // 2.11.8までは違うインスタンス生成される
res0: Boolean = false

16:28 $ scala
Welcome to Scala 2.12.0-RC2 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_102).
Type in expressions for evaluation. Or try :help.

scala> def foo: Int => Int = a => a
foo: Int => Int

scala> val a1 = foo
a1: Int => Int = $$Lambda$1089/1929969663@6601cc93

scala> val a2 = foo
a2: Int => Int = $$Lambda$1089/1929969663@6601cc93

scala> a1 eq a2 // 2.12以降は、キャッシュされてる
res0: Boolean = true

Welcome to Scala 2.12.0-RC2 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_102).
Type in expressions for evaluation. Or try :help.

scala> import java.lang.ref.WeakReference
import java.lang.ref.WeakReference

scala> val a = new WeakReference[Runnable](new Runnable{def run = println("a")})
a: java.lang.ref.WeakReference[Runnable] = java.lang.ref.WeakReference@26d820eb

scala> val b = new WeakReference[Runnable](() => println("b"))
b: java.lang.ref.WeakReference[Runnable] = java.lang.ref.WeakReference@45bb2aa1

scala> System.gc

scala> a.get
res1: Runnable = null

scala> b.get
res2: Runnable = $$Lambda$1137/1742235652@778d82e9