带有Scalatest的猫`Eq`'s`===`

Question

我在阅读Scala with Cats ，在本书的第一章中，他们描述了Eq用法。

其中一项练习是编写该类型类的实例以验证两只猫的相等性。 考虑一下：

模型

final case class Cat(name: String, age: Int, color: String)

类型类实例

import cats.Eq
import cats.syntax.eq._
import cats.instances.string._
import cats.instances.int._
import co.alejandrome.typeclass.model.Cat

object CatsEqInstances {

  implicit val catsEq: Eq[Cat] = Eq.instance[Cat] {
    (cata, catb) =>
      cata.color === catb.color && cata.age === catb.age && cata.name === catb.name
  }

}

单元测试

import co.alejandrome.typeclass.model.Cat
import org.scalatest.{FlatSpec, Matchers}
import cats.instances.option._

class EqTest extends FlatSpec with Matchers{

  import CatsEqInstances._

  "Eq" should "compare two cats" in {
    val cat1 = Cat("Garfield",   38, "orange and black")
    val cat2 = Cat("Heathcliff", 33, "orange and black")

    catsEq.eqv(cat1, cat2) shouldBe false

    val cat3 = Cat("Garfield",   38, "orange and black")

    catsEq.eqv(cat1, cat3) shouldBe true
  }

  it should "compare two Optional cats" in {
    val cat1 = Cat("Garfield",   38, "orange and black")
    //val cat2 = Cat("Heathcliff", 33, "orange and black")

    val optionCat1 = Option(cat1)
    val optionCat2 = Option.empty[Cat]

    optionCat1 === optionCat2
  }

}

第一个测试可以正常工作，但是第二个则不能，因为===运算符是Scalatest而不是Eq 。

我探讨了类型类是否对此具有任何语法或隐式，但是我找不到任何有关它的内容。 我在PR中看到基于Bill Venner的解决方案可以解决此问题 ，但这仅适用于猫自己的单元测试。

我当时正在使用EqSyntax特质，但我无法弄清楚如何重写 === scalatest自己的实现。

有什么办法吗？ 还是尚未实施？

谢谢

Answer 1

我不确定我是否正确理解了您的问题，但是您似乎可以根据您引用的PR重新使用Cat为自己的测试实施的功能。 只需将您的测试类定义更改为

class EqTest extends FlatSpec with Matchers with cats.tests.StrictCatsEquality  {

然后您可以编写测试，例如

optionCat1 === optionCat2 shouldBe false

要么

optionCat1 should !== (optionCat2)

他们将使用您的Eq[Cat]定义（如果将其导入到范围中）。

本质上，这个想法是ScalaTest ===使用一些隐式的，例如CanEqual 。 因此，如果您提供（导入）自定义的隐式实现，则可以更改===内部工作方式。