scala - 有没有办法指定 Scala 函数文字的返回类型？

Question

我想知道是否可以指定函数文字的返回类型。例如我有

(x:Int) => x * 2 // scala infers the type Int => Int
((x:Int) => Double) => x * 2 // does NOT compile

我知道 Scala 会进行类型推断以找到返回类型，但我想明确指定类型，以便编译器更早地捕获错误。

当然我可以强制检查

val a: Int => Int = (x: Int) => x * 2

但是可以直接在函数文字上指定吗？

Answer 1

“指定类型”被称为 type ascription .所以如果函数文字应该是 Int => Double 类型(取一个 Int 参数并返回一个 Double)然后您可以像这样指定它:

 (x: Int) => { x * 2.0 }:Double

如前所述，Scala 会进行类型推断，因此实际上并不需要类型归属，但是如果您想“提示”类型检查器有关预期类型的​​信息，您可以这样做。但正如文档中提到的，类型归属并不常用。