Kotlin 中的 <reified T> 和 <reified T: Any> 有什么不同？

Question

下面的测试类，通过。

class SimpleClassTest {

    private inline fun <reified T> anyObject(): T {
        return Mockito.anyObject<T>()
    }

    lateinit var simpleObject: SimpleClass
    @Mock lateinit var injectedObject: InjectedClass


    @Before
    fun setUp() {
        MockitoAnnotations.initMocks(this)
    }

    @Test
    fun testSimpleFunction() {
        simpleObject = SimpleClass(injectedObject)
        simpleObject.simpleFunction()

        verify(injectedObject).settingDependentObject(anyObject())
    }
}

但是如果我们改变

    private inline fun <reified T> anyObject(): T {
        return Mockito.anyObject<T>()
    }

到

    private inline fun <reified T: Any> anyObject(): T {
        return Mockito.anyObject<T>()
    }

它会失败

java.lang.IllegalStateException: Mockito.anyObject<T>() must not be null

<reified T> 和 <reified T: Any> 在 Kotlin 中有什么不同？

更新 答案是 Any 是非空的，那么使用 <reified T: Any> 不应该返回错误，因为 settingDependentObject(...) 被声明接收非空参数。我希望<reified T> 应该出错，但这与我的理解相反。

我理解错了吗？

Answer 1

作为stated in the documentation 和the linked answer，默认上限为Any?。换句话说，以下声明是等价的：

inline fun <reified T> anyObject(): T = Mockito.anyObject<T>()
inline fun <reified T:Any?> anyObject(): T = Mockito.anyObject<T>()

Mockito.anyObject<T>() will return null 用于 T:Any 和 T:Any?。当调用返回类型为 T:Any 的方法时，Mockito 返回的 null 值无法通过 Kotlin 编译器插入的运行时检查。在调用 settingDependentObject 之前会抛出您遇到的错误。

Answer 2

当您在类型参数上添加 T : Any 约束时，您实际上是使其非空：T 是 Any 的子类型，Any 不能包含空值。

由于函数是内联的并且有一个具体的类型参数，所以该参数被一个真正的不可为空的类型替换。因此在调用站点上执行空检查，所以你得到了这个异常。