Scala：Option、Some 和 ArrowAssoc 运算符

Question

我正在尝试分析以下 Scala 代码：

import java.nio.file._
import scala.Some

abstract class MyCustomDirectoryIterator[T](path:Path,someNumber:Int, anotherNum:Int) extends Iterator[T] {

def getCustomIterator(myPath:Path):Option[(DirectoryStream[Path],
                                                 Iterator[Path])] = try {
  //we get the directory stream        
   val str = Files.newDirectoryStream(myPath)
    //then we get the iterator out of the stream
    val iter = str.iterator()
    Some((str -> iter))
  } catch {
    case de:DirectoryIteratorException =>
      printstacktrace(de.getMessage)
      None

  }

---

如何解释这段代码：Some((str -> iter)) 是的，它返回一个类型的值：

Option[(DirectoryStream[Path], Iterator[Path])]

据我所知，-> 运算符是 scala.Predef 包中的 ArrowAssoc。

implicit final class ArrowAssoc[A] extends AnyVal

但我仍然不明白 -> 的作用是什么给我一个类型的返回值：

Option[(DirectoryStream[Path], Iterator[Path])]

这里的 Scala 专家能否进一步阐明这一点？有没有办法以更易读的方式编写“Some(..)”？不过，我确实理解 Some 所扮演的角色。

Answer 1

-> 运算符只是创建一个元组：

scala> 1 -> "one"
res0: (Int, String) = (1,one)

相当于

scala> (1, "one")
res1: (Int, String) = (1,one)

我只是想添加源代码，但 Reactormonk 已经先到了；-)

-> 方法可通过隐式 ArrowAssoc 类在任何对象上使用。在A 类型的对象上调用它，传递B 类型的参数，创建Tuple2[A, B]。

Answer 2

-> 运算符的常见情况是

Map(1 -> "foo", 2 -> "bar")

与

相同

Map((1, "foo"), (2, "bar"))

因为Map.apply 的签名有效，所以是

def apply[A, B](elems: Tuple2[A, B]*): Map[A, B]

这意味着它将元组作为参数并构造一个Map from 它。

所以

(1 -> "foo")

等价于

(1, "foo")

来自编译器来源：

implicit final class ArrowAssoc[A](private val self: A) extends AnyVal {
  @inline def -> [B](y: B): Tuple2[A, B] = Tuple2(self, y)
  def →[B](y: B): Tuple2[A, B] = ->(y)
}

它直接告诉你它正在创建一个元组。 1 → "foo" 也可以。