Início / coding / Perguntas / 79586663
Accepted
user30224617
Asked: 2025-04-22 22:06:45 +0800 CST

Por que o tipo Unit é tratado de maneira especial em Kotlin?

  • 772

Por favor, explique esse comportamento em Kotlin:

data class A<T>(val p: T)
class B

fun f1(): A<Number> = A(B()) as A<Number>
fun f2(): A<Unit> = A(B()) as A<Unit>

fun main() {
    println("f1: ${f1().p::class.simpleName}") // print "f1: B"
    println("f2: ${f2().p::class.simpleName}") // print "f2: Unit"
}

Eu esperaria a saída "B" tanto no primeiro quanto no segundo caso.

Além disso, curiosamente, ele funciona corretamente para data class A<T>(val p: T?).

É algum tipo de otimização do compilador?

kotlin

1 respostas

  1. Best Answer

    Quando o tipo de retorno é declarado como Unit, o Kotlin aplica um comportamento específico, forçando o resultado a Unitignorar o valor de retorno real.
    Isso é declarado nas especificações do Kotlin: Coerção para kotlin.Unit .

    Nesta linha fun f2(): A<Unit> = A(B()) as A<Unit>, é declarado que o tipo de pdeve ser Unit. Então, o Kotlin descarta o valor de retorno real de f2().pe força o valor de retorno para Unit.

    O mesmo comportamento se aplica a funções com um tipo de retorno explicitamente declarado deUnit

    // compiled and returns Unit
fun compiledFun(): Unit = runBlocking {
    "String"
}

// compilation exception: Argument type mismatch: actual type is 'kotlin.String', but 'kotlin.Int' was expected.
fun notCompiledFun(): Int = runBlocking {
    "String"
}

    Esse comportamento é frequentemente usado ao escrever testes JUnit , pois o JUnit não executa métodos de teste a menos que seu tipo de retorno seja Unit. Semelhante ao Java, onde o JUnit não executa métodos de teste a menos que seu tipo de retorno seja void.

    @Test
fun `JUnit runs me`(): Unit = runBlocking {
    assertEquals(4, 2 + 2)
    "Done"
}

@Test
fun `JUnit does NOT run me`() = runBlocking {
    assertEquals(4, 2 + 2)
    "Done"
}

    Em relação ao caso data class A<T>(val p: T?):
    o tipo de pestá Unit?no caso de A(B()) as A<Unit>, e acho que Kotlin distingue entre Unite Unit?e, portanto, não aplica a lógica de coerção.

    • 8

relate perguntas