在Kotlin中，为了确保数据结构的非空性，可以使用val关键字来声明不可变属性，这样就能保证属性值在初始化后不会被修改。此外，可以使用lateinit var来声明一个可变的非空属性，该属性必须在声明后的某个时间点被初始化，否则会抛出UninitializedPropertyAccessException异常。
对于集合类型，可以使用List、Set和Map等，并且这些集合在Kotlin中默认都是非空的，除非明确地使用了可空的变体（如MutableList?）。如果需要确保集合中的元素也是非空的，可以在声明时使用nonNullList()、nonNullSet()和nonNullMap()等扩展函数来创建非空集合。
以下是一个示例，展示了如何在Kotlin中设计非空的数据结构：
data class User(val name: String, val age: Int) {
// 使用val声明不可变属性，确保非空性
val email: String = "user@example.com"
}
fun main() {
val user = User("Alice", 30)
println(user.name) // 输出: Alice
println(user.age) // 输出: 30
println(user.email) // 输出: user@example.com
}
在这个例子中，User类包含了三个属性：name、age和email，它们都是使用val关键字声明的不可变属性，因此它们都是非空的。这样可以确保在使用这些属性时不会出现空指针异常。
