【问题标题】：Scala implicit conversion for type aliases类型别名的 Scala 隐式转换
【发布时间】：2017-08-23 13:36:59
【问题描述】：

定义

type TA[T] = T => Int

implicit class TAOps[T](a: TA[T]) {
  def foo(): Unit = {println("TA")}
}

val ta: TA[Double] = x => x.toInt

现在，

ta.foo()

编译失败，提示value foo is not a member of ammonite.$sess.cmd1.TA[Double]，

当显式调用时

TAOps(ta).foo()

打印TA。为什么隐式转换在前一种情况下不起作用？

【问题讨论】：

【解决方案1】：

您的隐式定义期望接收一个类型参数的类型，即TA[T]

您的声明：val ta: TA[Double] = ... 是它自己的类型，并且不接受任何类型参数。所以编译器不会使用你的隐式 def 来检查这个。

结论您对带有类型参数的类型进行了隐式类型转换，而TA[Double] 不采用任何类型参数。

解决方案：

1 - 替换隐式类型转换以接收`Function1`:

  implicit class TAOps[T](a: T => Int) {
    def foo: Unit = {
      println("TA")
    }
  }

  implicit class TAOps[T](a: ({type Alias = TA[T]})#Alias) {
    def foo: Unit = {
      println("TA")
    }
  }

这里你创建的类型是柯里化的。所以编译器现在会将此隐式转换应用于匹配的类型，它不再期望接收 1 个类型参数的类型。

【讨论】：