reference - enum - kotlin this class

¿Por qué no puedo referirme a un objeto anidado de val o typealias que se refiere a un objeto?

Question

Considera el siguiente código:

object SomeObjectA {
object SomeObjectB {
val a = "test"
}
}
val X = SomeObjectA
typealias Y = SomeObjectA
SomeObjectA.SomeObjectB // works
X.SomeObjectB // error
Y.SomeObjectB // error

No puedo referirme a un objeto anidado (en un objeto externo) usando val o typealias que se refieren al objeto externo. ¿Por qué?

Answer 1

Lo que describió sucede porque SomeObjectA en su ejemplo es simultáneamente un nombre de un objeto y el nombre de su clase.

Entonces, para acceder a SomeObjectB , debe usar la sintaxis <classname>.<classname> . Es por eso que X.SomeObjectB no compila ( <object>.<classname> no es compatible)

PD Esto realmente no explica su segundo problema con typealias . A mí me parece un error, pero no estoy seguro.

Answer 2

el error del compilador viene de java, y los object kotlin s convierten a java class es como a continuación:

public final class SomeObjectA {
private SomeObjectA() {/**/}
public static final SomeObjectA INSTANCE = new SomeObjectA();
public static final class SomeObjectB {
private SomeObjectB() {/**/}
public static final SomeObjectB INSTANCE = new SomeObjectB();
}
}

SomeObjectA.SomeObjectB se compila en código java de la siguiente manera:

SomeObjectA.SomeObjectB.INSTANCE;

SomeObjectA se compila en código java de la siguiente manera:

SomeObjectA.INSTANCE

sabemos que kotlin está basado en Java, y java no permite el acceso a las clases anidadas a través de la referencia de instancia, si lo hace, el compilador informará un error: " Error: java: tipo inesperado requerido: clase, paquete encontrado: variable ", para ejemplo:

SomeObjectA a = SomeObjectA.INSTANCE;
SomeObjectB b = a.SomeObjectB.INSTANCE;// error
// ^--- compiler don''t know where to go? package&class or variable? 

el código a continuación, el compilador de kotlin transformará el error del compilador de Java como: " Error: Kotlin: objeto anidado ''SomeObjectB'' al que se accede mediante referencia de instancia ".

val a = SomeObjectA;
val b = a.SomeObjectB;
// ^--- Error

Los alias de tipo no introducen nuevos tipos. Son equivalentes a los tipos subyacentes correspondientes.

entonces las dos declaraciones a continuación son igualdad:

 val a = SomeObjectA;
typealias a2 = SomeObjectA;

evitando el uso de typealias causa un error innecesario del compilador, kotlin no incluye todas las clases anidadas en typealias .