android - 为什么我可以将 null 参数传递给在 Kotlin 中需要非 null 的函数？

Question

有趣的 findLast 将返回 MDetail? ，因此 var aa 的值可能为空。

有趣的remove接受一个非空参数，但是为什么代码listofMDetail.remove(aa)可以被编译？谢谢!

更重要的是，代码A可以正常运行!

代码A

private val listofMDetail:MutableList<MDetail> = myGson.fromJson<MutableList<MDetail>>(mJson)

fun deleteDetailByID(_id:Long){
    var aa=listofMDetail.findLast { it._id == _id };

    //listofMDetail.remove(null)  //It doesn't work     
    listofMDetail.remove(aa)      // It can be compiled

    var bb: MDetail?=null
    listofMDetail.remove(bb)      // It can be compiled

}

源代码

public interface MutableList<E> : List<E>, MutableCollection<E> {
    // Modification Operations
    override fun add(element: E): Boolean

    override fun remove(element: E): Boolean

   ...........
}

Answer 1

在您的代码中，aa和 bb两者都是 MDetail? 类型，但是 null value 本身不包含有关类型的信息，因此编译器无法为您推断类型，这是一个编译错误，但如果您转换 null至 MDetail? ，那么它也会被编译:

listofMDetail.remove(null as MDetail?)

那么问题来了，为什么remove当你的 listofMDetail 工作时声明为 MutableList<MDetail>没有?在 MDetail 之后.

那是因为 remove方法未解析为 public interface MutableList<E> ，但是MutableCollections.kt的 remove ，这里是代码:

package kotlin.collections

/**
 * Removes a single instance of the specified element from this
 * collection, if it is present.
 *
 * Allows to overcome type-safety restriction of `remove` that requires to pass an element of type `E`.
 *
 * @return `true` if the element has been successfully removed; `false` if it was not present in the collection.
 */
@kotlin.internal.InlineOnly
public inline fun <@kotlin.internal.OnlyInputTypes T> MutableCollection<out T>.remove(element: T): Boolean
        = @Suppress("UNCHECKED_CAST") (this as MutableCollection<T>).remove(element)

在您的例子中，通用类型 T 是 MDetail? , 和 MDetail是out T , 所以 remove将接收类型为 MDetail? 的参数, 这允许 null值(value)。