Kotlin泛型类实现泛型成员默认构造值的方法

报错本质 #

Kotlin 泛型遵循类型擦除规则，类型参数T只是编译期的类型占位符，运行期会被擦除为对应的上界（未指定上界时默认为Any?），编译器无法直接定位T对应的具体实体类，因此不能将T作为可调用的构造器生成实例，这也是抛出Type parameter T cannot be called as function的核心原因。

常见误区：哪怕给T加上类上界（比如class Foo<T : Any>），也依然无法直接调用T()生成实例——上界只是约束T的类型范围，依然没有拿到具体类型的构造方法引用。

正确实现泛型成员默认初始值的方案 #

• 方案1：传入显式构造器引用（最推荐，无运行时反射开销）
  不依赖特殊语法，直接在类的构造参数中接收一个返回T实例的lambda，初始化member时调用该lambda生成默认值：

  class Foo<T>(
      private val instanceCreator: () -> T
  ) {
      var member: T = instanceCreator()
  }
  

  实际使用时可灵活适配不同类型：基础类型可以直接传入字面量构造逻辑，带公开无参构造的自定义类可以直接引用类构造方法作为参数（比如Foo<User>(::User)）。该方式全程由编译器做类型校验，没有额外性能损耗，是官方最推荐的泛型默认实例实现方式。
• 方案2：内联实化类型+反射自动生成实例
  若希望减少手动传构造器的重复代码，可通过带*reified*实化参数的内联工具函数，结合Kotlin反射绕过类型擦除，自动调用类型的无参构造生成默认实例：

  inline fun <reified T> createFoo(): Foo<T> {
      // 要求T必须存在公开无参构造，否则会抛出运行时异常
      return Foo(T::class.createInstance())
  }
  

  注意：该方式需要项目引入kotlin-reflect依赖，且无法在编译期校验T是否存在合法无参构造，仅适合能100%保证泛型参数都带公开无参构造的场景。

• 方案3：无明确默认逻辑时使用可空初始值
  如果业务场景无法确定T对应的默认实例是什么，不要强行设置非空默认值，将member声明为可空类型，初始赋值为null，等待后续业务逻辑传入具体值即可：

  class Foo<T> {
      var member: T? = null
  }
  

内容的提问来源于stack exchange，提问作者Roger Lipscombe