“Null-Safe”收集语言

免责声明：如果你有更好的标题或标签，请编辑这个问题

在编译时有一些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)

Interesting Posts