2

我试图了解RocketChip中AsyncQueue的实现，并且对在布尔数据类型（而不是 Option）上使用 option 方法感到非常困惑。在代码中，我们有一个参数类：

case class AsyncQueueParams(
  depth:  Int     = 8,
  sync:   Int     = 3,
  safe:   Boolean = true,
  narrow: Boolean = false)
{
  require (depth > 0 && isPow2(depth))
  require (sync >= 2)

  val bits = log2Ceil(depth)
  val wires = if (narrow) 1 else depth
}

然后当使用上述内容时：

class AsyncBundle[T <: Data](private val gen: T, val params: AsyncQueueParams = AsyncQueueParams()) extends Bundle {

  val mem   = Output(Vec(params.wires, gen))
  val ridx  = Input (UInt((params.bits+1).W))
  val widx  = Output(UInt((params.bits+1).W))
  val index = params.narrow.option(Input(UInt(params.bits.W)))

  // Signals used to self-stabilize a safe AsyncQueue
  val safe = params.safe.option(new AsyncBundleSafety) // <--- Never seen use of option !!
}

现在，我可以猜到这里的意图是什么，以限制 val safe &narrow 的创建。我的问题是这个选项是在哪里定义的？我查看了布尔值的scala 文档。我不认为选项是布尔类的成员。有人可以解释一下吗？

4

2 回答 2

4

它在这里定义https://github.com/chipsalliance/rocket-chip/blob/86a2f2cca699f149bcc082ef2828654a0a4e3f4b/src/main/scala/util/package.scala#L221

这种模式在 scala 库中通常称为“扩展”或“语法”，您可以在其中定义您不拥有或不想将方法与核心数据结构耦合的类型的方法。在较早的文献中，您可能还会发现“XRich”或“XOps”具有相同的含义。

在 scala 2 中，执行此操作的机制是通过隐式 class。当你someBoolean.option(...)在你的代码中，编译器将搜索方法，Boolean然后如果没有找到，它会尝试搜索它可以变成的所有其他类Boolean。在这种情况下，范围内存在从BooleantoBooleanToAugmentedBoolean的隐式转换，并且编译器在option那里找到了该方法。

请注意，隐式类只是普通类和隐式转换的语法糖，即

implicit class BooleanToAugmentedBoolean(private val x: Boolean) extends AnyVal {
  def toInt: Int = if (x) 1 else 0
  def option[T](z: => T): Option[T] = if (x) Some(z) else None
}

是语法糖

class BooleanToAugmentedBoolean(private val x: Boolean) extends AnyVal {
  def toInt: Int = if (x) 1 else 0
  def option[T](z: => T): Option[T] = if (x) Some(z) else None
}

implicit def f(x: Boolean) = new BooleanToAugmentedBoolean(x)
于 2021-05-10T07:32:04.863 回答
2

你有进口（见这里）

import chisel3.util._

在这里的包对象中，有一个扩展方法

  implicit class BooleanToAugmentedBoolean(private val x: Boolean) extends AnyVal {
    def toInt: Int = if (x) 1 else 0

    // this one's snagged from scalaz
    def option[T](z: => T): Option[T] = if (x) Some(z) else None
  }
于 2021-05-10T07:29:25.833 回答