如何解决Scala 自定义集合返回 null 列表作为默认值
我制作了一个名为 Matrix
的自定义集合,它以一维 List
的形式存储矩阵(这是一种要求,必须如此)。问题是,我想实现这个适用于泛型的集合。但是当我执行它并打印返回的集合时,它给出了 null
值。
现在,片段:
输出:
> sbt run
[info] welcome to sbt 1.4.9 (N/A Java 15.0.2)
[info] loading project deFinition from /home/pace/Documents/git/1024-scala/1024-scala/project
[info] loading settings for project root from build.sbt ...
[info] set current project to scalatest-example (in build file:/home/pace/Documents/git/1024-scala/1024-scala/)
[info] compiling 1 Scala source to /home/pace/Documents/git/1024-scala/1024-scala/target/scala-2.13/classes ...
[info] done compiling
[info] running matrix.MainClass
Matrix(null,null,null)
[success] Total time: 4 s,completed May 1,2021,9:10:28 PM
矩阵集合实现:
package matrix
import scala.collection.Iterable
import scala.collection.Iterator
import scala.collection.AbstractIterator
import defaultValues.Default
class Matrix[A] private (val col: Int,val row: Int,elems: List[A])
extends Iterable[A] { self =>
def this() = this(col = 4,row = 4,elems = List.fill(4 * 4)(Default.value[A]))
def this(s: Int) = this(col = s,row = s,elems = List.fill(s * s)(Default.value[A]))
def this(c: Int,r: Int) = this(col = c,row = r,elems = List.fill(c * r)(Default.value[A]))
def apply(i: Int): A = elems(i).asInstanceOf[A]
def iterator: Iterator[A] = new AbstractIterator[A] {
private var current = 0
def hasNext = current < elems.size
def next(): A = {
val elem = self(current)
current += 1
elem
}
}
override def className = "Matrix"
}
object MainClass extends App {
val m = new Matrix[Int]()
println(m)
}
以及我为每种类型获取默认值的方式(从其他 SO 线程获取它,并且我已经检查它在 Scala REPL
中是否有效):
package defaultValues
import scala.collection.immutable
class Default[+A](val default: A)
trait LowerPriorityImplicits {
// Stop AnyRefs from clashing with AnyVals
implicit def defaultNull[A <: AnyRef]: Default[A] = new Default[A](null.asInstanceOf[A])
}
object Default extends LowerPriorityImplicits {
implicit object DefaultString extends Default[String]("")
implicit object DefaultDouble extends Default[Double](0.0)
implicit object DefaultFloat extends Default[Float](0.0F)
implicit object DefaultInt extends Default[Int](0)
implicit object DefaultLong extends Default[Long](0L)
implicit object DefaultShort extends Default[Short](0)
implicit object DefaultByte extends Default[Byte](0)
implicit object DefaultBoolean extends Default[Boolean](false)
implicit object DefaultUnit extends Default[Unit](())
implicit def defaultSeq[A]: Default[immutable.Seq[A]] = new Default[immutable.Seq[A]](immutable.Seq())
implicit def defaultSet[A]: Default[Set[A]] = new Default[Set[A]](Set())
implicit def defaultMap[A,B]: Default[Map[A,B]] = new Default[Map[A,B]](Map[A,B]())
implicit def defaultOption[A]: Default[Option[A]] = new Default[Option[A]](None)
def value[A](implicit value: Default[A]): A = value.default
}
我正在运行 Scala 2.13
。
你能帮我一把吗?谢谢。
解决方法
def this() = this(col = 4,row = 4,elems = List.fill(4 * 4)(Default.value[A]))
因为对 A
没有约束,所以你告诉编译器这个函数应该适用于每一个 A
可能,这意味着 A
在这里必须是 scala 中的最大类型 - AnyRef
。现在 A 被解析为 AnyRef
,Default.value[A]
总是解析为 defaultNull
,无论您在调用点放置什么。这是有道理的,因为您说它应该适用于所有可能的类型。
解决方案只是在 A 中放置一个约束,以便编译器不会将其推断为最大类型:
class Matrix[A: Default] {
def this() = this(col = 4,elems = List.fill(4 * 4)(Default.value[A]))
}
// equivalent to this form
def apply[A: Default]: Matrix[A] = new Matrix(col = 4,elems = List.fill(4 * 4)(Default.value[A]))
// which is syntactic sugar for
def apply[A](implicit default: Default[A]): Matrix[A] = new Matrix(col = 4,elems = ???
通过将约束放在那里,您将解决 A
推迟到实际使用(调用 new Matrix[Int]
),因为现在编译器需要知道您拥有的实际 A
以便它可以搜索用于隐式参数。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。