ReadOnlyProperty-类型参数自动推断未验证界限

Question

我正在尝试使用关键字将值注入class属性。
在下面实施代码没有问题。

open class Component
class ComponentA: Component()

class Equipment(val components: List<Component>) {

    inline fun <reified T> getComponent(): T? {
        return components.firstOrNull { it is T } as T?
    }

    val ca: ComponentA by find<ComponentA>()  //this is what I intend to do
    val ca1: List<ComponentA> by find()       //no error or warning
    val ca2 by find<List<ComponentA>>()       //Error: Type argument is not within its bounds
}

inline fun <reified T> find(): ReadOnlyProperty<Equipment, T> where T : Component {
    return ReadOnlyProperty { ref, _ -> ref.getComponent<T>() ?: throw Exception("Not found") }
}

但是我发现 val ca1：list＆lt; componenta＆gt;通过查找（）未显示任何错误或警告。当我尝试 val ca2 by find＆lt; list＆lt; componenta＆gt;（）时，错误仍然正常显示。
任何人都可以解释为什么会发生这种情况以及如何确保 ca1 定义语法无效。

我正在使用：

• AUDVENOPENJDK 11.0.7.10热点
• Kotlin 1.6.21
• Intellij Ideas 2021.3.2

Answer 1

好吧，我认为问题是来自编译器的想法，我尝试使用 viewModels（）与list而不是viewModel这样的android函数，我也遇到了相同的问题，这个想法不会显示任何错误：

但是，当您编译代码时，您会收到一个错误：

这样您就可以忽略这个想法，这只是这个想法的问题，您的代码中也有一些错误

，代码> val组件：list＆lt;设备＆gt; 这应该是 val组件：list＆lt;组件＆gt;

return components.firstornull {它是t ，这应该是 retode> retocer components.firstornull {它是t？，因为您是因为您无法将NULL类型施放为非零类型，

因此您的代码应该看起来像这样：

open class Component
class ComponentA: Component()

class Equipment(val components: List<Component>) {

    inline fun <reified T> getComponent(): T? {
        return components.firstOrNull { it is T } as T?
    }

    val ca: ComponentA by find<ComponentA>()  //this is what I intend to do
    // val ca1: List<ComponentA> by find()       //no error or warning
    // val ca2 by find<List<ComponentA>>()       //Error: Type argument is not within its bounds
}

inline fun <reified T> find(): ReadOnlyProperty<Equipment, T> where T : Component {
    return ReadOnlyProperty { ref, _ -> ref.getComponent<T>() ?: throw Exception("Not found") }
}