Kotlin：インラインラムダとオーバーロード解決のあいまいさ

Question

私は実装が過負荷解決によって決定される単純な工場パターンを持っています。問題は、Kotlinコンパイラがインラインラムダの「オーバーロード解決のあいまいさ」と不平を言うことです。

class Foo(){ 
    companion object Factory { 
     fun create(x: Int, f: (Int) -> Double) = 2.0 
     fun create(x: Int, f: (Int) -> Int) = 1 
    } 
} 

fun main(args:Array<String>){ 
    val a = Foo.create(1,::fromDouble) //OK 
    val b = Foo.create(1,::fromInt) //OK 
    val ambiguous = Foo.create(1){i -> 1.0} //Overload resolution ambiguity? 
} 


fun fromDouble(int:Int) = 1.0 
fun fromInt(int:Int) = 1 

Kotlinコンパイラは過負荷解決をどのように解決し、インラインラムダは曖昧であると考えられますか？

Answer 1

Kotlinコンパイラはすべての式を1回だけ解決します。 コンパイラがラムダ式の解決を開始するとき、lambda引数の型を知る必要があります。 このコンパイラは、createのいずれかを選択してからの前にラムダを調べ始める必要があります。

例：

fun foo(f: (Int) -> Int) = 1 
fun foo(f: (String) -> String) = "" 
val bar = foo { 
    println(it) 
    5 
} 

ここではそれらの誰もが他のものより具体的ではありませんので、我々は機能fooのいずれかを選択することはできませんので、我々は知らないので、我々はラムダ式の解像度を起動することはできません。 itを入力します。

あなたの例では、特定の関数を選択する前にラムダの解決を開始することは理論上可能です。潜在的なすべての関数については、ラムダ引数の型は同じです。しかし、それは実装するのが難しいかもしれない珍しいロジックです。