智能转换是不可能的，因为…是一个可变的属性，这个时候可能已经改变了

Question

我试图得到一个类，它结合了< code>Kotlin中的列表、集合和映射。我希望编写< code>isScalar函数，如果对象只包含一个元素，它应该返回< code>true

import it.unimi.dsi.fastutil.objects.Reference2ReferenceOpenHashMap
import it.unimi.dsi.fastutil.objects.ReferenceArrayList
import it.unimi.dsi.fastutil.objects.ReferenceOpenHashSet

class Args {

    var list : ReferenceArrayList<M>? = null

    var set : ReferenceOpenHashSet<M>? = null

    var map : Reference2ReferenceOpenHashMap<M, M>? = null

    fun isEmpty() : Boolean {
        return list === null && set === null && map === null
    }

    fun isScalar() : Boolean {
        if(list !== null && list.size == 1) {
            return true
        }
    }

}

不幸的是，相比之下，它给了我一个错误

list !== null && list.size == 1

说着

Smart cast to 'ReferenceArrayList<M>' is impossible, because 'list' is a mutable property that could have been changed by this time

据我所知，这与多线程假设有关。在Java，如果期望多线程，我会使函数同步。此外，如果我不编写线程安全的，我可以完全忽略这一点。

静态编程语言应该怎么写？

我看到了这个解决方案https://stackoverflow.com/a/44596284/258483但它期望MT，这是我不想的。如果它做不到，如何避免智能铸造？

更新

问题是如何以同样的“程序性”形式做到这一点。如何不用智能铸造？

更新2

总之，据我所知，在Kotlin中显式比较variable和< code>null是完全不可能/不合理的。因为一旦你比较了它，下一次你应该用像< code >这样的操作再一次隐式地比较它和< code>null。?这是无法避免的。

Answer 1

在给定的行中，我也遇到了同样的问题

 sliderView.setSliderAdapter(adapter!!)
 sliderView.setIndicatorAnimation(IndicatorAnimationType.WORM)

最后，通过添加解决错误！！

 sliderView!!.setSliderAdapter(adapter!!)
 sliderView!!.setIndicatorAnimation(IndicatorAnimationType.WORM)

Answer 2

您可以执行空检查，如果成功，使用let访问变量的只读副本：

fun isScalar() : Boolean {
    return list?.let { it.size == 1 } ?: false
}

• 如果 list 为 null，则整个 let 表达式的计算结果将为 null，并且将返回 Elvis 运算符 （false） 的右侧。
• 如果 list 不为 null，则调用 let 函数，并返回 it.size == 1 表达式的结果 - 它引用 let 被调用的对象（在本例中为 list）。由于它与安全调用一起使用，因此它将具有不可为 null 的类型，并且可以在其上调用大小。

Answer 3

如果您利用了＜code＞null＜/code＞不能等于＜code＞1＜/code＞（或任何其他事实），您可以使此检查非常简洁：

fun isScalar() : Boolean =
    list?.size == 1

当对list.size的空安全调用返回null时，我们会得到false，因为1！=null。否则，将比较返回的任何值size，这与您预期的一样。

通过使用空安全操作符(< code >？)您完全避免了智能转换。Kotlin为我们提供了使代码更干净的智能转换，这是它保护我们免于误用该特性的方法之一。Kotlin不会保护我们不受任何伤害(例如，被零除，你在注释中使用的例子)。您的代码陷入了智能类型转换可能出错的合理情况，因此Kotlin加入了帮助。

但是，如果您绝对确定没有其他线程在工作，那么是的，此检查是“错误的”。在这种情况下，您不需要警告。从kotlinlang.org上的这个线程判断，你不是唯一一个！