Tag: 类型安全性

“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)