scala中的@是什么含义

在 Scala 中，@ 符号有多种含义，取决于上下文使用的位置。

1. 注解：在 Scala 中使用 @ 符号表示注解，类似于 Java 中的 @ 符号。注解可以用于类、方法、字段、参数等。例如：

class MyClass {
  @deprecated
  def myMethod(): Unit = {
    ...
  }
}

2. 模式匹配中的“绑定模式”：在模式匹配中，@ 符号可以用于绑定匹配成功的子模式的变量。例如：

val myList = List(1, 2, 3, 4, 5)
myList match {
  case head :: tail @ List(2, 3, _*) =>
    println(head) // 输出 1
    println(tail) // 输出 List(4, 5)
  case _ =>
    println("No match found")
}

3. 类型参数中的“类型投影”：在 Scala 中，@ 符号可以用于类型投影，表示从一个类型中排除另一个类型。例如：

trait A {
  def foo(): Int
}
trait B {
  def foo(): String
}
class C extends A with B {
  def foo(): Int = 42
  def bar(): String = "hello"
}
def test(c: C): Unit = {
  val a: A = c
  val b: B = c
  val afoo: Int = a.foo()
  val bfoo: String = b.foo()
  val cfoo: Int = c.foo()
  val bbar: String = b.bar()
  val cbar: String = c.bar()
  // val abar: String = a.bar() // 编译错误，A 中没有 bar 方法
  val b2: B { def foo(): Int } = b // 可以将 B 的 foo 方法的返回类型从 String 转换为 Int
  // val c2: C { def foo(): String } = c // 编译错误，C 中的 foo 方法的返回类型是 Int，无法转换为 String
  val c2: C { def foo(): Int } = c // 可以将 C 的 foo 方法的返回类型从 Int 转换为 String
}

总的来说，Scala 中的 @ 符号有多种用途，需要根据上下文进行具体理解。