Trong Kotlin, làm thế nào để bạn khai báo một lớp dữ liệu với các tham số hàm tạo không?

Question

Nói rằng tôi muốn khai báo một kiểu dữ liệu đại số đơn giản cho các danh sách số nguyên:

sealed class IntList 
data class Cons(val head: Int, val tail: IntList): IntList() 
data class Nil() : IntList() 

Tuy nhiên, kết quả khai cuối cùng trong một lỗi

lớp dữ liệu phải có ít nhất một tham số nhà xây dựng chính

1. Tại sao hạn chế này có mặt? Nhìn vào tài liệu, có vẻ như không có lý do kỹ thuật tốt để yêu cầu các nhà xây dựng lớp dữ liệu không phải là vô giá trị.

2. Có thể thể hiện các nhà xây dựng vô giá trị mà không cần phải viết nhiều mã soạn sẵn không? Nếu tôi thay đổi tuyên bố cuối cùng để một cái gì đó giống như

   sealed class Nil() : IntList() 
   

   sau đó tôi mất việc triển khai miễn hashCode() và equals() đi kèm miễn phí với data class tờ khai.

EDIT

Alex Filatov đã đưa ra một giải pháp ngắn đẹp dưới đây. Rõ ràng, bạn không bao giờ cần nhiều hơn một thể hiện của Nil, vì vậy chúng tôi chỉ có thể xác định một đối tượng singleton

object Nil : IntList() 

Tuy nhiên, những gì chúng ta sẽ làm gì nếu danh sách của chúng tôi đã được tham số hóa bởi một tham số kiểu? Đó là, bây giờ hai dòng đầu tiên của định nghĩa của chúng tôi sẽ là

sealed class List<A> 
data class Cons<A>(val head: A, val tail: List<A>): List<A>() 

Chúng ta không thể khai báo một đối tượng đa hình singleton Nil mà xuất phát từ List<A> cho bất kỳ A, vì chúng ta phải cung cấp một loại bê tông cho A tại thời điểm tờ khai. Các giải pháp (lấy từ this post) là tuyên bố A như một tham số kiểu hiệp biến và tuyên bố Nil như một subtype của List<Nothing> như sau:

sealed class List<out A> 
data class Cons<A>(val head: A, val tail: List<A>): List<A>() 
object Nil : List<Nothing>() 

Điều này cho phép chúng tôi viết

val xs: List<Int> = Cons(1, Cons(2, Nil)) 
val ys: List<Char> = Cons('a', Cons('b', Nil)) 

Answer 1

Vì data class không có dữ liệu không có ý nghĩa. Sử dụng object cho độc thân:

object Nil : IntList() 

Answer 2

Bạn sẽ phải tạo ra một lớp thông thường

class Nil : IntList() 

và thực hiện hashCode() và equals() mình.

Lớp dữ liệu không có trường không có ý nghĩa gì vì công việc của nó là đại diện cho dữ liệu.

---

Hoặc: Bạn có thể sử dụng lớp đối tượng (như Alex Filatov cho biết) là một lớp mẫu đơn. Vì bạn không cần một trạng thái cho mỗi cá thể Nil đơn lẻ, chúng có thể chia sẻ một cá thể duy nhất.

Answer 3

Nếu bạn thực sự muốn tính đồng nhất trong mã nguồn của mình, bạn có thể sử dụng giá trị mặc định cho loại dữ liệu nhỏ nhất có thể.

data class Nil(val _u: Byte = 0) : IntList() 

hoặc

data class Nil(val _u: Nothing? = null) : IntList()