我查看了the list scala-lang.org 进行的调查并注意到一个奇怪的问题:“Can you name all the uses of “_”?”。你可以吗?如果是,请在此处进行操作。感谢解释性示例。
最佳答案
我能想到的是
存在类型
def foo(l: List[Option[_]]) = ...
更高种类的类型参数
case class A[K[_],T](a: K[T])
忽略变量
val _ = 5
忽略的参数
List(1, 2, 3) foreach { _ => println("Hi") }
忽略自身类型的名称
trait MySeq { _: Seq[_] => }
通配符模式
Some(5) match { case Some(_) => println("Yes") }
插值中的通配符模式
"abc" match { case s"a$_c" => }
模式中的序列通配符
C(1, 2, 3) match { case C(vs @ _*) => vs.foreach(f(_)) }
通配符导入
import java.util._
隐藏导入
import java.util.{ArrayList => _, _}
加入致运营商的信件
def bang_!(x: Int) = 5
赋值运算符
def foo_=(x: Int) { ... }
占位符语法
List(1, 2, 3) map (_ + 2)
方法值
List(1, 2, 3) foreach println _
将按名称调用参数转换为函数
def toFunction(callByName: => Int): () => Int = callByName _
默认初始化器
var x: String = _ // unloved syntax may be eliminated
可能还有其他我忘记了!
<小时/>显示 foo(_)
和 foo _
为何不同的示例:
这个例子comes from 0__ :
trait PlaceholderExample {
def process[A](f: A => Unit)
val set: Set[_ => Unit]
set.foreach(process _) // Error
set.foreach(process(_)) // No Error
}
第一种情况,process_
代表一个方法; Scala 采用多态方法并尝试通过填充类型参数使其成为单态,但意识到没有可以为 A
填充的 type 来提供type (_ => Unit) => ?
(存在的 _
不是类型)。
在第二种情况下,process(_)
是一个 lambda;当编写没有显式参数类型的 lambda 时,Scala 会从 foreach
期望的参数推断出类型,并且 _ => Unit
是 一种类型(而普通的 _
则不然),所以它可以被替换和推断。
这很可能是我在 Scala 中遇到过的最棘手的问题。
请注意,此示例在 2.13 中编译。忽略它,就像它被分配给下划线一样。
关于scala - Scala 中下划线的用途有哪些?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/8000903/