如何规避Kotlin属性声明顺序引发的初始化错误

你给出的示例问题本质是：Kotlin类的属性声明、init代码块严格按照代码从上到下的书写顺序执行初始化，初始化阶段访问声明位置靠后、还未完成赋值的属性时，基础类型会返回0/false等默认值，引用类型返回null，编译器默认不会对这类跨属性依赖的初始化逻辑做强制错误拦截，在属性较多的大型类中很容易因书写顺序疏忽引入隐蔽Bug。

团队可直接落地的强制编码规范 #

以下规则按优先级从高到低排列，严格遵守可彻底避免这类初始化顺序问题：

• 规则1：属性声明严格遵循「依赖前置」原则
  若属性A的初始化逻辑依赖属性B，必须将B的声明写在A的前面，禁止在属性赋值、init块中访问声明位置在自身之后的属性。对你给出的示例来说，只要把a的声明移到b前面就能得到预期结果。
• 规则2：属性分层放置，禁止穿插排列
  无任何依赖的纯常量属性统一放到类最顶部；有依赖关系的属性按依赖链路从底向上排列，被依赖的属性放前面，依赖其他属性的属性放对应依赖项的正下方，不要把无依赖常量、有依赖属性、init块逻辑随意穿插。
• 规则3：多依赖属性优先用by lazy惰性初始化
  如果属性初始化逻辑复杂、依赖多个其他属性，不要直接在声明位置赋值，改用by lazy委托：

  class Test{
      private val a by lazy { computeA() }
      val b by lazy { computeB() }
  
      private fun computeA() = 4
      private fun computeB() = a + 1
  }
  

  by lazy的逻辑会在属性第一次被实际访问时才执行，此时类实例已经完成全部构造阶段的初始化，不会出现访问到默认值的问题，且val属性对应的lazy委托默认是线程安全的，符合不可变设计要求。
• 规则4：构造阶段禁止调用风险方法
  禁止在属性赋值、init块这类构造阶段逻辑中调用非private的open方法；如果抽private方法封装初始化逻辑，必须保证方法内访问的所有属性，都在方法调用位置之前完成了声明初始化，否则直接内联逻辑或改用lazy委托。
• 规则5：高耦合初始化逻辑下沉到主构造器
  如果多个属性存在强耦合依赖，不要在类体中零散写初始化逻辑，直接把属性定义为主构造器参数，在构造器层面完成计算：

  class Test(
      val a: Int = computeA(),
      val b: Int = a + 1
  ) {
      companion object {
          private fun computeA() = 4
      }
  }
  

  主构造器参数严格按参数列表顺序初始化，逻辑更直观，不会被类内部的其他初始化逻辑干扰。
• 规则6：工具层面兜底检查
  团队统一在IDE中把Access to uninitialized non-final property检查的级别调整为Error，这类代码会直接被标记为编译错误，在编码阶段就被拦截，不需要等到运行时排查。

常见避坑提醒 #

init块不存在特殊执行优先级，它和属性声明完全按书写顺序穿插执行，不要把所有初始化逻辑堆到init块里来回避顺序问题，如果init块写在被访问属性的声明前面，一样会拿到默认值。
反例参考：

class Test {
    init {
        b = a + 1 // 此处a尚未初始化，拿到默认值0，b最终结果为1
    }
    val a = 4
    val b: Int
}

不要把lateinit var作为这类问题的常规解法：lateinit仅适用于无法在构造阶段完成初始化的场景，虽然访问未初始化的lateinit属性会抛出异常，比静默拿到默认值的问题更容易排查，但本质依然是运行时错误，没有做到提前拦截。

内容的提问来源于stack exchange，提问作者J-bob