无法在 Scala 中创建包含 null 的元组

Question

以下代码无法编译：

var next: (A, A) = (null, n)

Error:

error: type mismatch;
found   : Null(null)
required: A
var next: (A, A) = (null, n)

Also var next: (A, A) = ((null: A), n) 失败并出现相同的错误。

我认为它应该编译。

我当前正在使用以下代码，它似乎可以工作：

var next: (A, A) = (null.asInstanceOf[A], n)

为什么它不起作用？错误还是功能？

编辑

阅读 didier 的回答后，问题很明显。我错过了 null 只能分配给 AnyRef 类型。对于我的问题，我选择创建元组 (n,n) 并有一个布尔标志第一个条目是否有效。根据应用程序Option可能是更好的解决方案。

Answer 1

可能是因为您的 A 参数类型不能保证为 <: AnyRef。如果您打算传递 null，则应该如此。如果是这样，我会说功能

编辑。请参阅下面丹尼尔的评论，解决方案是>：Null，也请参阅AgileSteel答案。

Answer 2

我不确定您尝试使用 null 归档什么（运行时更多 NPE 除外），但我建议您不要在 Scala 代码中使用 null 。 Scala 有 Option 类型，可以用来代替 null。因此，在您的情况下，它看起来像这样：

var next: (Option[A], A) = (None, n)

我发现这段代码更清晰，它的一大优点是元组类型告诉其他人（和编译器）它的第一个元素不是某个 A，而是它可以是 Some[A] 或 None。

如果您需要与使用 null 的现有 Java 代码集成，您可以尽快将来自 Java 端的对象包装在 option 中。你可以这样写：

var next: (Option[A], A) = (Option(getAFromSomeMethodThatCanReturnNull()), n)

这个答案可能没有回答你原来的问题，但我希望它能有所帮助。

Answer 3

迪迪尔德是对的。如果您能够确保 A <: AnyRef 或 A >: Null 它将起作用。

scala> def createTuple[A >: Null](first: A, second: A) = (first, second)
createTuple: [A >: Null](first: A, second: A)(A, A)

scala> val next = creatTuple(null, "n")
next: (java.lang.String, java.lang.String) = (null,n)

Answer 4

对于 REPL 中的快速解决方案，您可以省略类型声明：

scala> var next = ((null: A), n)
next: (A, A) = (null,A@a9de5c)

scala> def foo (pa : (A, A)) { println ("unit") }
foo: (pa: (A, A))Unit

scala> foo (next) 
unit

但是，我建议也使用选项。

Answer 5

我刚刚遇到这个问题；在泛型类型 [A] 的函数中，我需要使用 (List[A], A) 类型的元组。

以下构造工程：(Nil, null.asInstanceOf[A])。
适用于 Scala 2.10 和 2.11。