Scala 中语法糖的所有实例是什么？

Question

Scala 中语法糖的所有实例是什么？

它们很难搜索，因为大多数/全部都是纯粹的符号，因此在不知道概念名称的情况下很难搜索。

TODO：

• 隐式转换
• 匿名函数的
• _ 语法我忘记的其他事情

Answer 1

基础知识：

• a b 相当于ab。
• ab c 等同于 ab(c)，除非 b 以 : 结尾。在这种情况下，ab c 相当于cb(a)。

• a(b) 相当于 a.apply(b) 这就是为什么以下匿名函数的定义是相同的：

  val square1 = (x: Int) => x*x
  val square2 = 新函数1[Int,Int] {
      def apply(x: Int) = x*x
  }
  

  当调用square1(y)时，您实际上是在调用square1.apply(y)，其中square1必须具有< code>Function1 特征（或 Function2 等...）

• a(b) = c 等价于 a.update(b,c)。同样，a(b,c) = d 相当于 a.update(b,c,d) 等等。

• ab = c 相当于 a.b_=(c)。当您在类/对象中创建 val/var x 时，Scala 会创建方法 x 和 >x_= 为您服务。您可以自己定义这些，但如果您定义y_=，则必须定义y，否则它将无法编译，例如：

  scala> val b = 新对象{ def set_=(a: Int) = println(a) }
  b: java.lang.Object{def set_=(Int): Unit} = $anon$1@17e4cec
  
  标量> b.设置= 5
  :6: 错误: 值集不是 java.lang.Object{def set_=(Int): Unit} 的成员
         b.设置= 5
           ^
  
  标量> val c = 新对象{ def set = 0 ; def set_=(a:Int) = println(a) }
  c: java.lang.Object{def set: Int; def set_=(Int): 单位} = $anon$1@95a253
  
  标量> c.设置= 5
  5
  

• < code>-a 对应于 a.unary_-。对于 +a、~a 和 !a 也是如此。

• a= b，其中 是一组特殊字符，相当于 a = a; b 仅如果 a 没有 = 方法，例如：

  类测试(val x:Int) {
      def %%(y: Int) = 新测试(x*y)
  }
  
  var a = 新测试(10)
  斧头 // 10
  a %%= 5 // 相当于 a = a %% 5
  斧头 // 50
  

Answer 2

特殊类：元组和符号

正如 Rahul G 提到的，元组和符号的语法稍微特殊。

• 符号：语法 'x 是 Symbol("x") 的
• 缩写 元组：(p1,p2,..,pn) 是缩写对于案例类 Tuplen[T1,T2,..,Tn](p1,p2,..,pn)

例如，以下两个是等效的。

val tuple1 = ("Hello",1)
val tuple2 = Tuple2[String,Int]("Hello",1)

Answer 3

除了 Jaxkson 的答案之外：

• type F[A,B] 可以用作 AF B。

例如：

type ->[A,B] = (A,B)
def foo(f: String -> String)

• 使用 =>;方法定义中的 type 使编译器将表达式包装在函数 thunk 中的方法调用中。

例如

def until(cond: => Boolean)(body: => Unit) = while(!cond) body

var a = 0
until (a > 5) {a += 1}

Answer 4

提取器：

提取器有两种方法，unapply 和 unapplySeq。它们用于多变量赋值和模式匹配。

• 第一个用例是 unapply 获取它应该匹配的对象，并根据它是否匹配返回一个 Boolean，例如，

  特质性别
  特征 男性 延伸 性别
  特质 女性 延伸 性别
  对象 Male 扩展 Male
  对象 女性 延伸 女性
  class Person(val g: 性别, val 年龄: Int)
  
  对象成人{
      def unapply(p: Person) = p.age >= 18
  }
  
  def check(p: 人) = p 匹配 {
      案例成人（）=> println("一个成年人")
      案例_=> println("一个孩子")
  }
  
  //将打印：An Adult，因为 Adult.unapply 返回 true。
  check(新人(女，18岁))
  
  // 将打印： A Child 落入 _ 情况。
  检查（新人（男性，17岁））
  

老实说，我不'并不能真正理解上述语法的目的，因为只需将代码放入 case 语句中即可轻松完成。当然，如果您有更好的示例，请在下面留言

• unapply的一般情况采用一些固定数量的参数并返回Option[T]对于单个参数或 Option[(p1,p2,...)] 对于多个参数，即具有匹配值的元组，例如，从上面的代码继续：

  对象人{
      def apply(g: 性别, 年龄: Int) = new Person(g, 年龄)
      def unapply(p: Person) = if(p.age < 0) None else Some((pg, p.age))
  }
  
  //按照“基础知识”部分中的描述使用 Person.apply
  val alice = 人(女, 30)
  val bob = 人（男，25 岁​​）
  
  //这会调用Person.unapply(alice)，它返回Some((Female, 30))。
  //alice_gender 被分配为 Female，alice_age 为 30。
  val Person(alice_gender, alice_age) = alice
  
  鲍勃比赛{
      //调用Person.unapply(bob)，但看到g是男性，所以不匹配。
      案例人（女，_）=> println("你好女士")
      //调用Person.unapply(bob)并赋值age = bob.age，但是没有通过
      //'if'语句，所以这里也不匹配。
      案例 人（男性，年龄） 如果年龄 < 18=> println("嘿伙计")
      //所以鲍勃掉到了这里
      案例_=> println("先生您好")
  }
  
  人（男，-1）匹配{
      //Person.unapply(Person.apply(Male,-1)) 返回 None 因为 p.age < 0。
      //因此这种情况不会匹配。
      案例人（_，_）=> println("你好，人")
      //因此它就落到了这里。
      案例_=> println("你是人类吗？")
  }
  

注意： 案例类执行所有这些应用/取消应用< /code> 为您定义（以及其他内容），因此请尽可能使用它们以节省时间并减少代码。

• unapplySeq。这与上面的 unapply 类似，只是它必须返回某种序列的 Option 。

举个简单的例子，

scala> List.unapplySeq(List(1,2,3))
res2: Some[List[Int]] = Some(List(1, 2, 3))

Answer 5

匿名函数：

_ + _ 是 (a, b) => 的缩写。 a+b

Answer 6

上下文将脱糖绑定到隐式参数中，例如考虑一个利用Monoid类型类的函数：

def suml[T: Monoid](xs: List[T]) = {
  val T = implicitly[Monoid[T]]
  xs.foldLeft(T.mzero)(T.mplus)
}

其中：Monoid部分是上下文绑定，获取翻译为：

def suml[T](xs: List[T])(implicit evidence$1: Monoid[T]]) = {
  ...
}

因此以下内容也可以编译：

def suml[T: Monoid](xs: List[T]) = {
  val T = evidence$1
  ...
}