7

我想写一个可以是双精度、整数或布尔值的SparseVector[T]类。T

该类不会由数组支持（因为我想要一个稀疏数据结构），但我已经看到，当我构建一个AnyVal类型的空数组时，元素被初始化为默认值。例如：

 scala> new Array[Int](10)
 res0: Array[Int] = Array(0, 0, 0, 0, 0, 0, 0, 0, 0, 0)

 scala> new Array[Boolean](10)
 res1: Array[Boolean] = Array(false, false, false, false, false, false, false, false, false, false)

 scala> new Array[Double](10) 
 res2: Array[Double] = Array(0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0)

如何在我的类中包含这个默认值？我想得到的行为是：

val v = new SparseVector[Double](100)
println( v(12) ) // should print '0.0'
val w = new SparseVector[Boolean](100)
println( v(85) ) // should print 'false'

谢谢

4

4 回答 4

7

您可以添加一个隐式参数作为构造函数的第二个参数：

class SparseVector[A](size: Int) (implicit default: () => A) {
  private var storage = scala.collection.mutable.Map[Int, A]()
  def apply(i: Int) = storage.getOrElse(i, default())
  def update(i: Int, v: A) = storage.update(i, v)
}

implicit def strDefault(): String = "default"

并为您关心的类型提供隐式。这也允许调用者提供他们自己的默认值，通过将他们自己的默认值传递给：

val sparseWithCustomDefault = new SparseVector[String](10) (() => "dwins rules!");
于 2009-12-04T19:06:03.340 回答
7

您可以利用 Scala 已经为您提供了一种获取类型默认值的方法这一事实。当您编写时var x: Int = _，它初始化x为0. AnyVal所有类型都类似。所有AnyRef类型都初始化为null.

考虑到这一点，您可以将稀疏向量类重写如下：

class SparseVector[T](val size: Int) {
  import scala.collection.mutable.Map

  private var default: T = _
  private[this] val storage = Map[Int, T]() 

  def apply(key: Int) = 
    if(key < size)
      storage.getOrElse(key, default)
    else 
      throw new IllegalArgumentException("Index "  + key + " out of bounds")

  def update(key: Int, value: T) { storage(key) = value }
}

现在如下代码可以按预期工作：

scala> val b = new SparseVector[Boolean](10)
b: SparseVector[Boolean] = SparseVector@cfd22a

scala> b(1)
res20: Boolean = false

scala> b(1) = true

scala> b(1)
res22: Boolean = true

scala> val i = new SparseVector[Int](10)
i: SparseVector[Int] = SparseVector@1813c12

scala> i(1)
res23: Int = 0

scala> i(1) = 10

scala> i(1)
res25: Int = 10

scala> i(10)
java.lang.IllegalArgumentException: Index 10 out of bounds

我可能会对这门课做一些改进：

  • 有一个 `toString` 方法以合理的方式打印集合
  • 提供一个伴随对象，如果需要，它可以更改向量的默认值（参见下面的代码）。 
object SparseVector {
  def apply[T](size: Int) = new SparseVector[T](size)
  def apply[T](size: Int, default: T) = {
    val result = new SparseVector[T](size)
    result.default = default

    result
  }
}

现在这有效：

scala> val b = SparseVector[Boolean](10, true)
b: SparseVector[Boolean] = SparseVector@126f29f

scala> b(4)
res28: Boolean = true

scala> val i = SparseVector[Int](10, 42)
i: SparseVector[Int] = SparseVector@b9979b

scala> i(3)
res30: Int = 42

编辑：我编写的代码适用于 Scala 2.7.6.final。Mitch Blevins指出，当使用 Scala 2.8r.19890 运行时，代码会null作为类型的默认值产生。AnyVal正如评论中所解释的，这应该是不可能的，因为Null它不是AnyVal. 如果使用 2.8，一般的想法应该是相似的，因为var b: Boolean = _仍然应该给你Boolean类型的默认值。集合存储稀疏向量的用法可能会有所不同，但正如我在评论中所说，我对 2.8 集合重新设计并不熟悉。

EDIT2： ......这种null行为应该是不可能的，但不幸的是它是。对该问题进行更多研究，似乎由于类型擦除，该字段default 总是被初始化为null. 在那之后……奇怪的事情接踵而至。请参阅Mitch 的帖子以进行讨论和一些重现该问题的熊骨头代码。

为了使代码按预期工作，我尝试过但失败的事情：

  • null.asInstanceOf[T]- 不，Java 没有具体化的泛型。这仍然产生null
  • @specialised- 不，似乎即使编译器为原语生成专门的代码，你仍然会得到空行为
  • 将结果转换为AnyVal不应该的null。没有。还是null。

所以从概念上讲，我的解决方案应该有效。但这并不是因为我在 Scala Trac中报告的非常奇怪的行为。

另请参阅此博客文章null，了解有关able的精彩讨论AnyVal。

——弗拉维乌·西普西根

于 2009-12-05T18:37:14.050 回答
4

您可以使用清单来获得与 for 相同的默认值Array，这样就无需提供您自己的隐式。再次借用 David Winslow 的其余代码，

class SparseVector[T](size: Int)(implicit manifest: Manifest[T]) {
    private val default = manifest.newArray(1)(0)
    private var storage = scala.collection.mutable.Map[Int, T]()
    def apply(i: Int) = storage.getOrElse(i, default)
    def update(i: Int, v: T) = storage.update(i, v)
}

那么只是，

val v = new SparseVector[Int](100)
println( v(12) ) // prints '0'

等等

于 2009-12-05T11:47:19.960 回答
0

重新使用大卫的 SparseVector 类，你可以使用这样的东西：

class SparseVector[T](size: Int, default: T = 0) {
  private var storage = scala.collection.mutable.Map[Int, T]()
  def apply(i: Int) = storage.getOrElse(i, default)
  def update(i: Int, v: T) = storage.update(i, v)
}

object SparseVector {
  implicit def svInt2String(i: Int) = "default"
  implicit def svInt2Boolean(i: Int = false
}

您需要导入隐式，这很可惜，但这给了您：-

import SparseVector._    

val v = new SparseVector[Int](100)
println( v(12) ) // prints '0'
val w = new SparseVector[Double](100)
println( w(12) ) // prints '0.0'
val x = new SparseVector[Boolean](100)
println( x(85) ) // prints 'false'
val y = new SparseVector[String](100)
println( y(85) ) // prints 'default'
于 2009-12-05T10:04:48.283 回答