Kotlin中使用Any作为类型参数约束的后果及与无约束的差异

虽然Kotlin文档提到“一切皆为对象”，但两者的核心区别在于可空性：无约束的类型参数V可以接受可空类型（比如String?），而带V: Any约束的类型参数仅能接受非空对象类型。选择后者而非前者，会带来以下具体影响：

• 禁止传入可空类型
  编译器会直接拒绝State<String?>这类声明，确保所有实现State接口的实例，其泛型参数都是非空类型。这意味着使用该接口的代码无需额外处理null值，避免了空指针异常的潜在风险。

• 简化接口内部的空安全处理
  在接口的方法实现中，所有V类型的变量都被编译器视为非空，无需使用?.安全调用或!!非空断言。比如直接调用v.hashCode()或v.toString()时，不需要额外的空判断：

  interface State<V: Any> {
      fun getValue(): V
      fun printValue() {
          println(getValue().toString()) // 无需空检查
      }
  }
  

• Java互操作的行为变化
  在Java代码中，State<V: Any>会被映射为State<V extends Object>，并且通过@NotNull注解标记泛型参数。如果Java代码试图传入null，编译器会发出警告（若开启了空安全检查），而无约束的State<V>在Java中可以自由传入null，没有这类限制。

• 类型推断更严格
  当创建State实例时，编译器会自动推断泛型参数为非空类型。比如State("hello")会被推断为State<String>，而非State<String?>，减少了意外引入可空类型的可能。

• 限制接口的适用场景
  如果你的业务场景需要用State表示“无值”状态（比如存储null来标识状态缺失），那么V: Any的约束会直接阻断这种用法，必须使用无约束的泛型参数才能支持可空类型。

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