在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關鍵字聲明的不可變屬性，因此它們都是非空的。這樣可以確保在使用這些屬性時不會出現空指針異常。
