Qual è la differenza di <reified T> con <reified T: Any> in Kotlin?

Question

La classe di test di seguito, passaggio.

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()) 
    } 
} 

Ma se ci si sposta dall'attuale

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

a

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

fallirà con

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

Qual è il diverso di <reified T> con <reified T: Any> in Kotlin?

AGGIORNATO Con la risposta che Any non è nullo, quindi utilizzando <reified T: Any> non dovrebbe restituire l'errore, dal momento che settingDependentObject(...) viene dichiarata la ricezione di un argomento non nullo. Mi aspetterei che l'errore <reified T> si verifichi invece, ma è opposto a quello che ho capito.

Ho capito qualcosa di sbagliato?

Answer 1

Come stated in the documentation e the linked answer il limite superiore predefinito è Any?. In altre parole le seguenti dichiarazioni sono equivalenti:

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

Il Mockito.anyObject<T>()will return null sia T:Any e T:Any?. Quando viene richiamato il metodo con tipo di ritorno T:Any, il valore null restituito da Mockito non supera il controllo di runtime inserito dal compilatore Kotlin. L'errore che stai ricevendo viene lanciato prima che venga invocato lo settingDependentObject.

Answer 2

Quando si aggiunge T : Any vincolo su un parametro di tipo, si sta facendo in modo efficace non nullo: T è sottotipo di Any e Any non può tenere i null.

Poiché la funzione è in linea e ha un parametro di tipo reificato, tale parametro viene sostituito con un tipo reale non annullabile. E quindi viene eseguito un controllo nullo su un sito di chiamata, quindi stai ricevendo questa eccezione.