การส่งสมาร์ทเป็น 'ประเภท' เป็นไปไม่ได้เนื่องจาก 'ตัวแปร' เป็นคุณสมบัติที่ไม่แน่นอนที่อาจเปลี่ยนแปลงได้ในเวลานี้

และมือใหม่ Kotlin ถามว่า "ทำไมรหัสต่อไปนี้ไม่คอมไพล์?":

    var left: Node? = null

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

การส่งสมาร์ทไปที่ 'โหนด' เป็นไปไม่ได้เพราะ 'ซ้าย' เป็นคุณสมบัติที่ไม่แน่นอนที่อาจเปลี่ยนแปลงได้ในเวลานี้

ฉันได้รับนั่นleftคือตัวแปรที่ผันแปรได้ แต่ฉันกำลังตรวจสอบอย่างชัดเจนleft != nullและleftเป็นประเภทNodeดังนั้นทำไมจึงไม่สามารถส่งไปที่ประเภทนั้นได้อย่างชาญฉลาด

ฉันจะแก้ไขสิ่งนี้ได้อย่างสวยงามได้อย่างไร :)

ระหว่างการดำเนินการของleft != nullและqueue.add(left)หัวข้ออื่นอาจมีการเปลี่ยนแปลงค่าของการleftnull

เพื่อหลีกเลี่ยงปัญหานี้คุณมีตัวเลือกมากมาย นี่คือบางส่วน:

1. ใช้ตัวแปรโลคัลพร้อมตัวส่งอัจฉริยะ:

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

2. ใช้การโทรที่ปลอดภัยเช่นหนึ่งในสิ่งต่อไปนี้:

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

3. ใช้โอเปอเรเตอร์ Elvisด้วยreturnเพื่อย้อนกลับก่อนจากฟังก์ชั่นการปิดล้อม:

   queue.add(left ?: return)

   โปรดทราบว่าbreakและcontinueสามารถนำไปใช้ในทำนองเดียวกันสำหรับการตรวจสอบภายในลูป

1)นอกจากนี้คุณยังสามารถใช้lateinitถ้าคุณแน่ใจว่าจะเริ่มต้นในภายหลังonCreate()หรือที่อื่น ๆ

ใช้สิ่งนี้

lateinit var left: Node

แทนที่จะเป็นแบบนี้

var left: Node? = null

2)และมีวิธีอื่นที่ใช้!!จุดสิ้นสุดของตัวแปรเมื่อคุณใช้มันเช่นนี้

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

มีตัวเลือกที่สี่นอกเหนือจากคำตอบของ mfulton26

โดยการใช้?.โอเปอเรเตอร์มันเป็นไปได้ที่จะเรียกเมธอดและฟิลด์โดยไม่ต้องจัดการletหรือใช้ตัวแปรโลคอล

รหัสบางส่วนสำหรับบริบท:

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

มันใช้งานได้กับวิธีการทุ่งนาและสิ่งอื่น ๆ ที่ฉันพยายามทำให้มันใช้งานได้

ดังนั้นเพื่อแก้ไขปัญหาแทนที่จะต้องใช้การส่งคำสั่งแบบแมนนวลหรือการใช้ตัวแปรโลคัลคุณสามารถใช้?.เพื่อเรียกเมธอด

สำหรับการอ้างอิงนี้ได้รับการทดสอบใน Kotlin 1.1.4-3แต่ยังผ่านการทดสอบในและ1.1.51 1.1.60ไม่มีการรับประกันว่าใช้งานได้กับเวอร์ชันอื่นมันอาจเป็นคุณสมบัติใหม่

การใช้?.โอเปอเรเตอร์ไม่สามารถใช้ในกรณีของคุณเนื่องจากเป็นตัวแปรที่ส่งผ่านซึ่งเป็นปัญหา ตัวดำเนินการ Elvis สามารถใช้เป็นทางเลือกและอาจเป็นรหัสที่ต้องใช้จำนวนน้อยที่สุด แทนที่จะใช้continueแม้ว่าreturnสามารถใช้งานได้เช่นกัน

การใช้การคัดเลือกนักแสดงด้วยตนเองอาจเป็นตัวเลือก แต่สิ่งนี้ไม่ปลอดภัย:

queue.add(left as Node);

หมายความว่าถ้าซ้ายมีการเปลี่ยนแปลงในเธรดอื่นโปรแกรมจะหยุดทำงาน

เหตุผลจริงที่ว่าทำไมสิ่งนี้ถึงใช้งานไม่ได้ไม่เกี่ยวข้องกับกระทู้ ประเด็นก็คือว่าจะแปลอย่างมีประสิทธิภาพในnode.leftnode.getLeft()

ผู้ได้รับทรัพย์สินนี้อาจถูกกำหนดเป็น:

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

ดังนั้นการโทรสองครั้งอาจไม่ส่งคืนผลลัพธ์เดียวกัน

เปลี่ยนไปvar left: Node? = null lateinit var left: Nodeแก้ไขปัญหา.

ทำเช่นนี้:

var left: Node? = null

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

ซึ่งดูเหมือนจะเป็นตัวเลือกแรกจากคำตอบที่ยอมรับ แต่นั่นคือสิ่งที่คุณกำลังมองหา

เพื่อให้มีการส่งแบบสมาร์ทของคุณสมบัติชนิดข้อมูลของคุณสมบัติต้องเป็นคลาสที่มีวิธีการหรือพฤติกรรมที่คุณต้องการเข้าถึงและไม่ว่าคุณสมบัตินั้นจะเป็นประเภทของคลาสแบบซุปเปอร์

เช่นบน Android

เป็น:

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

สารละลาย:

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

การใช้งาน:

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

GL

ทางออกที่ดีที่สุดของคุณจะต้อง:

var left: Node? = null

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

จากนั้นคุณไม่จำเป็นต้องกำหนดตัวแปรเฉพาะที่ใหม่และไม่จำเป็นและคุณไม่มีคำยืนยันหรือ casts ใหม่ (ซึ่งไม่ใช่ DRY) ฟังก์ชันขอบเขตอื่น ๆ สามารถใช้งานได้ดังนั้นโปรดเลือกรายการที่คุณชื่นชอบ

ลองใช้ตัวดำเนินการยืนยันที่ไม่ใช่ค่าว่าง ...

queue.add(left!!) 

ฉันจะเขียนมันอย่างไร:

var left: Node? = null

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