使用一个对象来实现一个空List的错误

我试图重写列表接口作为学习功能编程Kotlin的练习,但我无法弄清楚为什么我得到一个错误,当我试图让一个对象作为空的列表,在Kotlin标准库中不会发生。 在我的代码中,见下面,我想使用NIL作为单例空列表,使用list()作为函数返回它。 但是,这会在类型为“必需列表”的函数上生成类型不匹配错误。找到NIL“

interface List<A> { val empty: Boolean val head: A val tail: List<A> fun cons(a: A): List<A> = Cons(a, this) } object NIL : List<Nothing> { override val empty: Boolean = true override val head: Nothing get() = throw IllegalStateException("head called on empty list") override val tail: List<Nothing> get() = throw IllegalStateException("tail called on empty list") } private class Cons<A>(override val head: A, override val tail: List<A>) : List<A> { override val empty: Boolean = false } fun <A> list(): List<A> = NIL // Type mismatch. Required: List<A>. Found: NIL fun <A> list(vararg a: A): List<A> { var n = list<A>() for (e in a.reversed()) { n = Cons(e, n) } return n } 

在标准库中,这个错误不会发生,正如您可以在Collections.kt的EmptyList中看到的一样 。 我做错了什么,或者我错过了一些让后者成为可能的概念,而前者不是?

评估提出的解决方案

在所提出的三种解决方案中,唯一允许通过下面的测试代码的是使用匿名对象的 ,而其他的则抛出异常java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Void

 assertEquals("a", list<String>().cons("a").head) 

但是,如果将NIL更改为NIL : List<Any?> ,则解决方案NIL as List<A>工作没有任何问题。

2 Solutions collect form web for “使用一个对象来实现一个空List的错误”

您可以通过as关键字将List<Nothing> List<A>转换为List<A> ,例如:

 fun <A> list(): List<A> = NIL as List<A>; 

如果你想压制编译器警告,你可以使用@Suppress注解来注释这个函数,例如:

 @Suppress("UNCHECKED_CAST") fun <A> list(): List<A> = NIL as List<A>; 

或者如果你不喜欢这种方式,你可以用一个匿名的对象来代替,例如:

 fun <A> list(): List<A> = object : List<A> { override val empty: Boolean = true override val head: A get() = throw IllegalStateException("head called on empty list") override val tail: List<A> get() = throw IllegalStateException("tail called on empty list") }; 

通用接口应该是<out A>而不是<A>

另外,IntelliJ Idea在这种情况下使用泛型时会显示一个警告。

  • Gson Map to Object
  • 科特林向我解释了“背景场”
  • 查找Kotlin类的主构造函数的用法
  • 是否有一个推荐的命名约定只包含函数/扩展方法的文件?
  • 在java项目中运行kotlin代码
  • 图像存在,不为空,但我得到一个NullPointerExceptionexception
  • 在导入中转义保留字
  • 如何正确处理kotlin中的空变量透视?
  • Kotlin Poet空构造函数的生成 - 继承
  • 在Android下载文件并使用kotlin将其保存下载文件夹
  • Kotlin:如何将一个对象函数作为参数传递给另一个?
  • Kotlin language will be the best programming language for Android.