Kotlin: Inline lambda ve aşırı yük çözünürlüğü belirsizliği

Question

Uygulamanın aşırı yük çözünürlüğü ile belirlendiği basit bir fabrika modeline sahibim. Sorun, Kotlin derleyicisinin inline lambda için "Aşırı yük çözünürlüğü belirsizliği" ile ilgili şikâyette bulunması.

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 derleyici çözmek aşırı yük çözünürlük neden satır içi lambda belirsiz olarak kabul edilir ve yok nasıl

?

Answer 1

Kotlin derleyici her ifadeyi yalnızca bir kez çözer. Yani derleyici, lambda ifadesi için çözünürlüğü başlattığında, lambda argümanlarının türlerini bilmelidir. Bu derleyici nedeniylecreateyöntemlerinden birini seçmeniz gerekir lambda içine bakmaya başlar.

Örnek:

İşte

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

bunlardan hiç kimse başka o daha spesifik olduğu için biz fonksiyonların foo birini seçemezsiniz, bu yüzden biz bilmiyoruz çünkü biz lambda ifadesi için çözünürlüğü başlayamaz it için yazın. Örneğinizde, lambda için belirli bir işlevi seçmeden önce teoriyi kurabilmeniz mümkündür, çünkü tüm potansiyel fonksiyonlar için lambda argümanları aynıdır. Fakat uygulanması zor olan mantıksız bir mantıktır.