Kotlin无法通过typealias类型别名访问嵌套类型问题咨询

这是Kotlin的预期设计行为，不是实现bug。

设计逻辑 #

Kotlin的typealias从设计之初就划定了明确边界：仅为类型本身提供别名，不会映射原类对应的命名空间。
代码中书写的类名实际承担两个完全独立的职能：

1. 作为类型标记，用于变量声明、泛型参数、返回值定义等所有类型上下文
2. 作为命名空间入口，用于访问嵌套类、嵌套枚举、伴生对象成员、静态声明等挂载在类名上的成员
   typealias只会接管第一类职能，完全不处理第二类职能，这就是通过别名无法访问嵌套Unit枚举的根本原因。
   这个设计是刻意选择的结果：类型别名的核心目标是简化复杂类型声明、为同构类型提供语义化别名，如果让别名同时覆盖命名空间能力，会大幅增加编译器符号解析的复杂度，也提升了命名冲突的概率。

规避方案 #

根据使用场景可以选择以下两种无额外副作用的方案：

• 轻量方案：单独为嵌套类型定义别名
  在定义数量类型别名的同时，补一行嵌套单位枚举的别名即可，这种写法不会生成任何额外字节码，零运行时开销：

  typealias ElectricConsumption = Force
  typealias ElectricConsumptionUnit = Force.Unit
  

  使用时直接通过ElectricConsumptionUnit.KILOWATTHOUR_PER_100_KILOMETERS访问对应单位即可。
• 体验对齐方案：同名对象补全命名空间
  如果需要和其他Quantity类保持X.Unit的完全一致的调用形式，可以在类型别名之外定义一个同名对象，在对象内部重导出嵌套类、构造入口。Kotlin允许类型别名和同名对象共存，不会产生编译冲突：

  // 类型层别名，用于变量声明、类型传参
  typealias ElectricConsumption = Force
  // 命名空间层同名对象，用于访问嵌套成员、工厂方法
  object ElectricConsumption {
      typealias Unit = Force.Unit
      // 透传构造方法，对齐原类的创建体验
      operator fun invoke(value: Double, unit: Unit) = Force(value, unit)
  }
  

  这种写法的使用体验和原生类完全一致：既可以正常声明val power: ElectricConsumption类型的变量，也可以通过ElectricConsumption.Unit访问单位枚举，通过ElectricConsumption(15.3, Unit.KILOWATTHOUR_PER_100_KILOMETERS)创建实例，几乎没有额外运行时开销。

提供的最小复现样例完全符合这个设计规则：AA作为类型别名仅代表A的类型身份，不承担A的命名空间职能，因此编译器无法解析AA.B。

内容的提问来源于stack exchange，提问作者Felix Dombek