将非空ArrayList传给可空ArrayList报类型不匹配如何解决

开发过程中将元素非空类型的ArrayList传递给元素可空类型的ArrayList时，编译器抛出类型不匹配错误：

忽略编译报错强制运行程序，会触发运行时异常：

尝试将原非空ArrayList变量本身声明为可空类型无法解决问题，以下是根因分析和正确实现方案。

报错本质是Kotlin泛型不变性与空安全机制的共同约束：

• Kotlin泛型默认是不变的：即使String是String?的子类型，ArrayList<String>和ArrayList<String?>也不存在子类型关系，直接赋值、传参必然触发类型不匹配错误。
• 该限制是为了保证空安全逻辑不被击穿：如果允许直接转换，拿到ArrayList<String?>引用后就可以向集合中插入null，而持有原ArrayList<String>引用的代码默认所有元素非空，后续读取元素时会拿到非预期的null，直接绕过编译期空检查。强制类型转换就会触发你遇到的运行时异常。
• 把集合变量本身声明为可空（即ArrayList<String>?）无效，是因为这个声明只代表变量本身可以存储null值，和集合内元素是否允许为null是完全独立的两个维度，没有解决元素类型不匹配的核心问题。

根据使用场景选择对应方式即可：

• 仅需要读取集合元素、不需要修改集合：直接转换为只读List
  Kotlin的只读List接口是协变的，支持泛型子类型向上赋值，且只读列表不提供增删修改元素的方法，不会出现插入null破坏原集合约束的问题：

  val nonNullList: ArrayList<String> = arrayListOf("a", "b", "c")
  // 无编译错误，可正常读取所有元素
  val nullableList: List<String?> = nonNullList
  

• 需要获取可变的元素可空类型ArrayList：新建集合并拷贝原元素
  不要直接强转原集合实例，新建一个元素类型声明为可空的ArrayList，将原集合的所有元素拷贝到新实例中。新集合和原集合是完全独立的对象，后续往新集合插入null也不会影响原集合的非空约束：

  val nonNullList: ArrayList<String> = arrayListOf("a", "b", "c")
  // 创建可空元素类型的ArrayList，拷贝原元素
  val nullableList: ArrayList<String?> = ArrayList(nonNullList)
  // 后续可正常对nullableList做增删操作，包括添加null值
  nullableList.add(null)
  

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