什么是“隐式”的 Scala 标识符？

Question

我看到 Scala 示例中使用了一个名为隐式的函数。它是什么以及如何使用？

示例

scala> sealed trait Foo[T] { def apply(list : List[T]) : Unit }; object Foo {
     |                         implicit def stringImpl = new Foo[String] {
     |                             def apply(list : List[String]) = println("String")
     |                         }
     |                         implicit def intImpl = new Foo[Int] {
     |                             def apply(list : List[Int]) =  println("Int")
     |                         }
     |                     } ; def foo[A : Foo](x : List[A]) = implicitly[Foo[A]].apply(x)
defined trait Foo
defined module Foo
foo: [A](x: List[A])(implicit evidence$1: Foo[A])Unit

scala> foo(1)
<console>:8: error: type mismatch;
 found   : Int(1)
 required: List[?]
       foo(1)
           ^
scala> foo(List(1,2,3))
Int
scala> foo(List("a","b","c"))
String
scala> foo(List(1.0))
<console>:8: error: could not find implicit value for evidence parameter of type
 Foo[Double]
       foo(List(1.0))
          ^

：我们必须编写 implicitly[Foo[A]].apply(x) 因为编译器认为 implicitly[Foo[A]](x) 意味着我们调用带参数隐式。

另请参阅如何调查对象/类型/等。来自 Scala REPL？ 和 Scala 在哪里寻找隐式？

Answer 1

implicitly 在 Scala 2.8 中可用，并在 Predef as：

def implicitly[T](implicit e: T): T = e

通常用于检查T类型的隐式值是否可用，如果可用则返回它案件。

retronym 演示文稿中的简单示例：

scala> implicit val a = "test" // define an implicit value of type String
a: java.lang.String = test
scala> val b = implicitly[String] // search for an implicit value of type String and assign it to b
b: String = test
scala> val c = implicitly[Int] // search for an implicit value of type Int and assign it to c
<console>:6: error: could not find implicit value for parameter e: Int
       val c = implicitly[Int]
                         ^

Answer 2

以下是隐式使用令人愉快的简单方法的一些原因。

了解/排除隐式视图

故障当选择的前缀（例如，the.prefix.selection(args)）不包含成员selection 适用于 args（即使在尝试使用隐式视图转换 args 后），编译器也会查找在当前或封闭的本地定义的隐式成员。继承或导入的作用域，可以是从 the.prefix 的类型到定义了 selection 的类型的函数，也

scala> 1.min(2) // Int doesn't have min defined, where did that come from?                                   
res21: Int = 1

scala> implicitly[Int => { def min(i: Int): Any }]
res22: (Int) => AnyRef{def min(i: Int): Any} = <function1>

scala> res22(1) // 
res23: AnyRef{def min(i: Int): Int} = 1

scala> .getClass
res24: java.lang.Class[_] = class scala.runtime.RichInt

可以是等效的隐式视图 。当表达式不符合预期类型时触发，如下所示：

scala> 1: scala.runtime.RichInt
res25: scala.runtime.RichInt = 1

编译器在此查找此函数：

scala> implicitly[Int => scala.runtime.RichInt]
res26: (Int) => scala.runtime.RichInt = <function1>

访问由上下文绑定引入的隐式参数

隐式参数可以说是 Scala 比隐式视图更重要的功能。它们支持类型。标准库在一些地方使用了它——请参阅 scala.Ordering 以及它在 SeqLike#sorted 中的使用方式。隐式参数还用于传递数组清单和 CanBuildFrom 实例。

Scala 2.8 允许使用隐式参数的简写语法，称为上下文边界。简而言之，带有类型参数 A 的方法需要类型为 M[A] 的隐式参数：

def foo[A](implicit ma: M[A])

可以重写为：

def foo[A: M]

但是传递隐式参数有什么意义呢？不命名吗？这在实现 foo 方法时有何用处？

通常，不需要直接引用隐式参数，它将作为隐式参数通过隧道传递给另一个被调用的方法。如果需要，您仍然可以保留上下文绑定的简洁方法签名，并隐式调用来具体化值：

def foo[A: M] = {
   val ma = implicitly[M[A]]
}

显式传递隐式参数的子集

假设您正在调用一个漂亮地打印一个方法人，使用基于类型类的方法：

trait Show[T] { def show(t: T): String }
object Show {
  implicit def IntShow: Show[Int] = new Show[Int] { def show(i: Int) = i.toString }
  implicit def StringShow: Show[String] = new Show[String] { def show(s: String) = s }

  def ShoutyStringShow: Show[String] = new Show[String] { def show(s: String) = s.toUpperCase }
}

case class Person(name: String, age: Int)
object Person {
  implicit def PersonShow(implicit si: Show[Int], ss: Show[String]): Show[Person] = new Show[Person] {
    def show(p: Person) = "Person(name=" + ss.show(p.name) + ", age=" + si.show(p.age) + ")"
  }
}

val p = Person("bob", 25)
implicitly[Show[Person]].show(p)

如果我们想更改名称的输出方式怎么办？我们可以显式调用 PersonShow，显式传递替代的 Show[String]，但我们希望编译器传递 Show[Int]。

Person.PersonShow(si = implicitly, ss = Show.ShoutyStringShow).show(p)

Answer 3

Scala 3隐式启动已被改进的summon取代，其优点是能够返回更多比要求的类型更精确

summon 方法隐式对应于 Scala 2 中。它是
和Shapeless中的方法一模一样。区别
在 summon （或）和 implicitly 之间，召唤可以返回一个
比要求的类型更精确的类型。

例如，给定以下类型

trait F[In]:
  type Out
  def f(v: Int): Out

given F[Int] with 
  type Out = String
  def f(v: Int): String = v.toString

隐式方法将召唤一个带有已删除类型成员Out的术语。

scala> implicitly[F[Int]]
val res5: F[Int] = given_F_Int$@7d0e5fbb

scala> implicitly[res5.Out =:= String]
1 |implicitly[res5.Out =:= String]
  |                               ^
  |                               Cannot prove that res5.Out =:= String.

scala> val x: res5.Out = ""
1 |val x: res5.Out = ""
  |                  ^^
  |                  Found:    ("" : String)
  |                  Required: res5.Out

为了恢复类型成员，我们必须显式引用它，这违背了目的使用类型成员而不是类型参数

scala> implicitly[F[Int] { type Out = String }]
val res6: F[Int]{Out = String} = given_F_Int$@7d0e5fbb

scala> implicitly[res6.Out =:= String]
val res7: res6.Out =:= String = generalized constraint

但是 summon 定义为

def summon[T](using inline x: T): x.type = x

不会遇到此问题

scala> summon[F[Int]]
val res8: given_F_Int.type = given_F_Int$@7d0e5fbb

scala> summon[res8.Out =:= String]
val res9: String =:= String = generalized constraint

scala> val x: res8.Out = ""
val x: res8.Out = ""

，我们看到类型成员 type Out = String 没有被删除，即使我们只要求F[Int] 而不是 F[Int] { type Out = String }。当 链接依赖类型函数：

隐式调用的类型没有 Out 类型成员。为了这
原因是，我们在使用依赖类型时应该隐式避免
功能。

Answer 4

“教你钓鱼”的答案是使用 Scaladoc 夜曲。包/类窗格顶部的字母（以及用于非字母名称的 #）是指向以该字母开头的成员名称（跨所有类）的索引的链接。例如，如果您选择I，您将在Predef 中找到一次出现的implicitly 条目，您可以通过那里的链接访问该条目。