3

我正在尝试检查案例类列表是否包含一个特定实例，但是当我尝试这样做时，出现以下错误：

[info] Compiling 1 Scala source to /home/matt/Documents/transledge/app/target/scala-2.9.2/test-classes...
[error] /home/matt/Documents/transledge/app/src/test/scala/com/transledge/drewes/parser_suite.scala:40: overloaded method value should with alternatives:
[error]   (notWord: ParserSuite.this.NotWord)ParserSuite.this.ResultOfNotWordForSeq[com.transledge.Instruction,List[com.transledge.Instruction]] <and>
[error]   (haveWord: ParserSuite.this.HaveWord)ParserSuite.this.ResultOfHaveWordForSeq[com.transledge.Instruction] <and>
[error]   (beWord: ParserSuite.this.BeWord)ParserSuite.this.ResultOfBeWordForAnyRef[List[com.transledge.Instruction]] <and>
[error]   (rightMatcher: org.scalatest.matchers.Matcher[List[com.transledge.Instruction]])Unit
[error]  cannot be applied to (org.scalatest.matchers.Matcher[Traversable[com.transledge.AddNode]])
[error]       parsing(square_node, input) should contain(AddNode("foo"))
[error]                                   ^
[error] one error found
[error] (test:compile) Compilation failed
[error] Total time: 3 s, completed 21-Feb-2013 15:15:04

有问题的测试套件是：

import org.scalatest.FunSpec
import scala.util.parsing.combinator._
import com.transledge.drewes.{Parser => DrewesParser}
import com.transledge._
import org.scalatest.matchers.ShouldMatchers

class ParserSuite extends DrewesParser with FunSpec with ShouldMatchers {

  def parsing[A](parser: Parser[A], input: String): A = parse(parser, input).get

  // snipping other tests

  describe("square_node") {
    val input = """\squarenode{foo}(1cm, 2cm)"""
    it("should create a node") {
      parsing(square_node, input) should contain(AddNode("foo")) // Line 40
    }
  }
}

AddNode/的定义Instruction非常基本：

package com.transledge

abstract class Instruction
case class AddNode(id: String) extends Instruction

这是解析器的简化定义：

package com.transledge.drewes
import scala.util.parsing.combinator._
import com.transledge._

trait Parser extends RegexParsers {
  def node_id: Parser[String] = "[a-zA-Z\\-_:0-9]+".r
  def node_name: Parser[String] = ("{" ~> node_id <~ "}") | node_id

  def point: Parser[String] = "[^,()]+".r
  def position: Parser[(String, String)] = "(" ~> point ~ "," ~ point <~ ")" ^^ { case a ~ "," ~ b => (a.trim, b.trim) }

  def square_node: Parser[List[Instruction]] = "\\squarenode" ~> node_name ~ position ^^ { case name ~ position => List(AddNode(name)) }

}

我对此的理解是，Scala 编译器应该使用该变体should(rightMatcher: Matcher[List[T]])，但正在获取一个实例Traversable而不是 a List，并且作为包含Traversable的特征，不能在预期的地方使用。ListTraversableList

那么如何检查列表是否包含该元素？

4

1 回答 1

6

这是其实现方式的简化图：

trait Matcher[T]

implicit class ListShouldWrapper[T](a:List[T]) {
  def should(rightMatcher: Matcher[List[T]]): Unit = ???
}

object contain {
  def apply[T](expectedElement: T): Matcher[GenTraversable[T]] = ???
}

如果您使用以下方法测试该实现：

val x:List[Int] = ???
x should contain(3)

您将收到一个编译错误，告诉您GenTraversable已找到并且List是必需的。如果我们像下面这样实现它，实现可能会更好。请注意，这不是实际的解决方案，因为这只是一些孤立的代码。

trait Matcher[T]

implicit class AnyToShould[T](a: T) {
  def should(a: Matcher[T]) = ???
}

def contain[C[_] <: Traversable[_], T](x:T):Matcher[C[T]] = ???

这个问题是可以解决的，所以我建议你提交一个错误（甚至可以自己创建一个补丁）。为了能够现在继续，您有几个选择：

  • 更改返回类型def square_node: Parser[List[Instruction]]
  • 自己提供一个contain返回“正确”类型的方法Matcher
  • 使用另一个 Scala 规范库
于 2013-02-21T22:39:12.573 回答