Question

我正在尝试编写一种在isEmpty，String和Option类型上使用List方法的方法。这些类与该方法没有共同的基本特征，所以我试图用它们传递一个隐含的EmptyChecker：

  trait EmptyChecker[Field] {
    def isEmpty(data: Field): Boolean
  }

  implicit val StringEmptyChecker: EmptyChecker[String] = new EmptyChecker[String] {
    def isEmpty(string: String): Boolean = string.isEmpty
  }

  def printEmptiness[Field](field: Field)(implicit emptyChecker: EmptyChecker[Field]): Unit = {
    if (emptyChecker.isEmpty(field))
      println("Empty")
    else
      println("Not empty")
  }

  printEmptiness("abc") // Works fine

String空检查工作正常，但我遇到了为Option和List等类型构造函数制作空检查器的问题。

例如，Option不起作用：

  implicit val OptionChecker: EmptyChecker[Option[_]] = new EmptyChecker[Option[_]] {
    def isEmpty(option: Option[_]): Boolean = option.isEmpty
  }

  // Both fail compilation: "could not find implicit value for parameter emptyChecker: EmptyChecker[Some[Int]]
  printEmptiness(Some(3))
  printEmptiness[Option[Int]](Some(3))

如果我使用特定的Option[Int]检查程序，它会更好一些，但有点难看：

  implicit val OptionIntChecker: EmptyChecker[Option[Int]] = new EmptyChecker[Option[Int]] {
    def isEmpty(optionInt: Option[Int]): Boolean = optionInt.isEmpty
  }

  // Fails like above:
  printEmptiness(Some(3))

  // Passes compilation:
  printEmptiness[Option[Int]](Some(3))

所以我的问题是：是否可以为每个EmptyChecker和Option类型生成一个List并让它们与我的方法一起使用，而无需每当我明确声明类型叫它？我正在尝试获得类型安全的鸭子打字效果。

我正在使用scala 2.11.6。

提前致谢！

Answer 1

问题的根源是Some(1)的类型是Some[Int]，而不是Option[Int]。有几种方法可以解决这个问题;您可以使用类型归属显式转发表达式：printEmptiness(Some(3): Option[Int])。或者，您可以定义一个帮助方法来自动为您执行此操作，如果您正在使用Scalaz，则提供以下方法之一：

import scalaz.syntax.std.option._
printEmptiness(3.some)

此外，如果您使用Scalaz，您可能会发现查看有用的PlusEmpty / ApplicativePlus / MonadPlus类型类。

Scala - 如何创建可用于类型构造函数的单个隐式

1 个答案: