Scala中的符号"那"是什么意思

Question

我已经看过几个使用Generics符号"That"的代码示例.即

def map[B, That](f : (A) => B) : That

但是,由于缺乏谷歌这个词的能力,我找不到任何关于它做什么或如何使用它的文档.

它只是一个普通的类型占位符,还是它做了一些特别的事情？

Answer 1

内部的任何标识符[...]都被视为类型参数.

因此,def map[B, That](f : (A) => B) : That That仅表示通用返回类型.Z例如,将其替换为:def map[B, Z](f : (A) => B) : Z具有完全相同的效果.