Smart cast ke 'Type' tidak mungkin, karena 'variabel' adalah properti yang bisa berubah yang bisa diubah saat ini

Dan pemula Kotlin bertanya, "mengapa kode berikut tidak dapat dikompilasi?":

    var left: Node? = null

    fun show() {
         if (left != null) {
             queue.add(left) // ERROR HERE
         }
    }

Pemain pintar ke 'Node' tidak mungkin, karena 'kiri' adalah properti yang bisa berubah yang bisa diubah saat ini

Saya mendapatkan itu leftadalah variabel yang bisa berubah-ubah, tapi saya secara eksplisit memeriksa left != nulldan leftbertipe Nodejadi mengapa tidak bisa dicor-pintar ke tipe itu?

Bagaimana saya bisa memperbaikinya dengan elegan? :)

Antara eksekusi left != nulldan queue.add(left)utas lainnya dapat mengubah nilai leftmenjadi null.

Untuk mengatasinya Anda memiliki beberapa opsi. Inilah beberapa:

1. Gunakan variabel lokal dengan smart cast:

   val node = left
   if (node != null) {
       queue.add(node)
   }
   

2. Gunakan panggilan aman seperti salah satu dari yang berikut:

   left?.let { node -> queue.add(node) }
   left?.let { queue.add(it) }
   left?.let(queue::add)
   

3. Gunakan operator Elvis dengan returnuntuk kembali lebih awal dari fungsi melampirkan:

   queue.add(left ?: return)

   Perhatikan bahwa breakdan continuedapat digunakan secara serupa untuk pemeriksaan dalam loop.

1) Anda juga dapat menggunakan lateinitJika Anda yakin melakukan inisialisasi nanti onCreate()atau di tempat lain.

Gunakan ini

lateinit var left: Node

Alih-alih ini

var left: Node? = null

2) Dan ada cara lain yang menggunakan !!variabel akhir saat Anda menggunakannya seperti ini

queue.add(left!!) // add !!

Ada opsi keempat selain yang ada di jawaban mfulton26.

Dengan menggunakan ?.operator dimungkinkan untuk memanggil metode serta bidang tanpa berurusan dengan letatau menggunakan variabel lokal.

Beberapa kode untuk konteks:

var factory: ServerSocketFactory = SSLServerSocketFactory.getDefault();
socket = factory.createServerSocket(port)
socket.close()//smartcast impossible
socket?.close()//Smartcast possible. And works when called

Ini bekerja dengan metode, bidang dan semua hal lain yang saya coba untuk membuatnya berfungsi.

Jadi untuk menyelesaikan masalah, alih-alih harus menggunakan gips manual atau menggunakan variabel lokal, Anda dapat menggunakan ?.untuk memanggil metode.

Untuk referensi, ini diuji di Kotlin 1.1.4-3, tetapi juga diuji di 1.1.51dan 1.1.60. Tidak ada jaminan itu berfungsi pada versi lain, itu bisa menjadi fitur baru.

Menggunakan ?.operator tidak dapat digunakan dalam kasus Anda karena variabel yang diteruskan itulah masalahnya. Operator Elvis dapat digunakan sebagai alternatif, dan mungkin salah satu yang membutuhkan jumlah kode paling sedikit. Alih-alih menggunakan continuesekalipun, returnbisa juga digunakan.

Menggunakan casting manual juga bisa menjadi pilihan, tetapi ini bukan nol aman:

queue.add(left as Node);

Berarti jika kiri telah berubah pada utas yang berbeda, program akan macet.

Alasan praktis mengapa ini tidak berhasil tidak terkait dengan utas. Intinya adalah yang node.leftditerjemahkan secara efektif ke dalam node.getLeft().

Pencari properti ini dapat didefinisikan sebagai:

val left get() = if (Math.random() < 0.5) null else leftPtr

Karenanya dua panggilan mungkin tidak mengembalikan hasil yang sama.

Ubah var left: Node? = nullke lateinit var left: Node. Masalah terpecahkan.

Melakukan hal ini:

var left: Node? = null

fun show() {
     val left = left
     if (left != null) {
         queue.add(left) // safe cast succeeds
     }
}

Yang tampaknya menjadi opsi pertama yang disediakan oleh jawaban yang diterima, tetapi itulah yang Anda cari.

Agar ada Smart Cast dari properti, tipe data dari properti harus kelas yang berisi metode atau perilaku yang ingin Anda akses dan BUKAN bahwa properti itu dari tipe kelas super.

misalnya di Android

Menjadi:

class MyVM : ViewModel() {
    fun onClick() {}
}

Larutan:

From: private lateinit var viewModel: ViewModel
To: private lateinit var viewModel: MyVM

Pemakaian:

viewModel = ViewModelProvider(this)[MyVM::class.java]
viewModel.onClick {}

GL

Solusi Anda yang paling elegan harus:

var left: Node? = null

fun show() {
    left?.also {
        queue.add( it )
    }
}

Maka Anda tidak perlu mendefinisikan variabel lokal baru dan tidak perlu, dan Anda tidak memiliki pernyataan atau gips baru (yang bukan KERING). Fungsi lingkup lain juga bisa berfungsi jadi pilih favorit Anda.

Coba gunakan operator pernyataan tidak-nol ...

queue.add(left!!) 

Bagaimana saya akan menulisnya:

var left: Node? = null

fun show() {
     val left = left ?: return
     queue.add(left) // no error because we return if it is null
}