＆＃34;空皆宜＆＃34;收集语言

Question

免责声明：如果您有更好的标题或标签，请修改此问题

有些语言Kotlin在编译时提供null安全性。如果在初始化之前读取变量，编译器将抛出语法错误。

• 是否有一种语言可以在编译时确保集合在集合中访问该值之前包含某个值（由整数索引或任意id标识）？

• 是否有正式语言处理此问题？

示例1

val list = ArrayList<String>()

val obj: String = list.get(0) // --> syntax error (x is empty at this point)

示例2

val map = HashMap<String, String>()    
map.put("key1", "test")

val obj: String = map.get("key2")  // --> syntax error (Key2 is not in the map)