Kotlin güvenli aramasında aşırı yük çözünürlüğü hatası alıyorum

Question

ab null bir değişken var. Ona null atadıktan sonra toUpperCase numaralı telefonu güvenli arama operatörü ile ararsam, kotlin hata verir.

fun main(args: Array<String>){ 
    var ab:String? = "hello" 
    ab = null 
    println(ab?.toUpperCase()) 
} 

Error:(6, 16)
Overload resolution ambiguity:
@InlineOnly public inline fun Char.toUpperCase(): Char defined in kotlin.text
@InlineOnly public inline fun String.toUpperCase(): String defined in kotlin.text

Ne oluyor burada?

Answer 1

Emin değilim, ancak bu akıllı döküm nedeniyle bir hata gibi görünüyor (Nothing?, her nullable türün alt türü için). Bu seferki çalışır:

fun main(args: Array<String>) { 
    var ab: String? = "hello" 
    ab = makeNull() 
    println(ab?.toUpperCase()) 
} 

fun makeNull(): String? = null 

tek fark: derleyici sizin örnekte hataya neden görünmektedir ki, doğrudan null atama bilmiyor. Ama yine de, muhtemelen senin de çalışmalısın.

Answer 2

Gerçekten bir hata gibi görünüyor. String?, bir şekilde null atanırken kaybolur, bu nedenle derleyiciye açıkça bir String? ile uğraşması gerektiğini bildirmeniz gerekir.

fun main(args: Array<String>){ 
    var ab: String? = "hello" 
    ab = null 
    println((ab as String?)?.toUpperCase()) // explicit cast 

    // ...or 

    println(ab?.let { it.toUpperCase() }) // use let 
} 

Answer 3

Bu KOTLIN kullandığı smart casts nedeniyle olduğuna inanıyoruz. Başka bir deyişle, Kotlin bu kod satırdan sonra sonucuna yapabiliyor: - Ben sadece aralığında bahsediyorum değişken ab tipi basitçe null

ab = null 

olduğunu (bu KOTLIN kullanabileceğiniz gerçek türü değil izin verilen değerler), String? (başka bir deyişle, yokturab hiçbir String içerebilir).

toUpperString() uzantısı işlevinin yalnızca Char ve String (Char? Veya String? Değil) için tanımlandığını dikkate alarak, aralarında seçim yapmanın bir yolu yoktur.

Bu davranıştan kaçınmak için diğer kişiler tarafından önerilen yanıtlara bakın (örneğin, String'e açık bir şekilde casting?), Ancak bu kesinlikle benim için bir hatadan ziyade bir özellik (ve oldukça kullanışlı olanı) gibi görünüyor. Bu doc about smart-casts belirtildiği gibi

Answer 4

:

x = y makes x of the type of y after the assignment

hat ab = null muhtemelen akıllı atmalarını abNothing? için. ab is Nothing?'u kontrol ederseniz, gerçekten true. Nothing? yana

var ab: String? = "hello" 
ab = null 
println(ab?.toUpperCase()) 
println(ab is Nothing?) // true 

(Char? ve String? dahil) her türlü alt tipi olan, bu Overload resolution ambiguity hatası alıyorum açıklıyor. Bu hata için çözüm, his answer numaralı Willi Mentzel'in ab no'lu dökümdetürünü toUpperCase() numaralı telefonu aramadan önce türetmesiyle açıklayacaktır.

//interface 
interface A {} 
interface B {} 

//extension function 
fun A.x() = 0 
fun B.x() = 0 

//implementing class 
class C : A, B {} 

C().x() //Overload resolution ambiguity 
(C() as A).x() //OK. Call A.x() 
(C() as B).x() //OK. Call B.x() 

Answer 5

Ben senin fonksiyonunu Decompiled ben de işte:

---

Açıklamalar: Bir sınıf iki arabirimleri uygulayan ve her iki arayüz aynı imzanın uzantısı işlevini varken Bu tür bir hata meydana gelecektir andan sonra ab = null yapmak derleyici, ab'un her oluşunda null (ACONST_NULL)'u yerleştirir. Daha sonra null'un türü yok. toUpperCase() alıcısının türünü çıkaramazsınız.

public final void main(@NotNull String[] args) { 
    Intrinsics.checkParameterIsNotNull(args, "args"); 
    String ab = "hello"; 
    ab = (String)null; 
    Object var3 = null; 
    System.out.println(var3); 
} 

Bu KOTLIN ekibi tarafından çözülmesi gereken bir sorun olarak görünmektedir:

Bu KOTLIN bayt kodundan üretilen java eşdeğer kodudur.