在Kotlin中，如何声明构造函数参数为零的数据类？

Question

假设我想为整数列表声明一个简单的代数数据类型：

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

但是，最后一个声明导致一个错误

数据类必须至少有一个主构造函数参数

>

为什么存在这种限制？查看文档，似乎没有很好的技术理由要求数据类构造函数为非空

不需要编写大量样板代码就可以表达空构造函数吗？如果我把最后的声明改成

sealed class Nil() : IntList()

然后我就失去了hashCode（）和equals（）的免费实现，它们是通过数据类声明免费提供的。

编辑

亚历克斯·费拉托夫在下面给出了一个简短的解决方案。显然，您永远不需要超过一个Nil实例，所以我们可以定义一个单例对象

object Nil : IntList()

然而，如果我们的列表是由类型参数参数化的，我们会怎么做呢？也就是说，现在我们定义的前两行是

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

我们不能声明从List派生的多态单例Nil对象

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

这让我们可以写作

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




Answer 1

如果你真的想要源代码的一致性，你可以使用默认值来尽可能地减少数据类型。

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

或者

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

Answer 2

你必须创建一个普通的类

class Nil : IntList()

然后自己实现hashCode（）和equals（）。

没有字段的数据类没有任何意义，因为它的工作是表示数据。

或者：可以使用一个对象类（正如Alex Filatov所说），它是一个单实例类。由于不需要为每个Nil实例指定状态，因此它们可以共享一个状态。

Answer 3

因为没有数据的数据类没有意义。对单身者使用对象：

object Nil : IntList()