有没有办法指定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

“指定类型”称为类型归属 。 因此，如果函数文字应该是Int => Double类型（取一个Int参数并返回一个Double），那么您可以像这样指定它：

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

正如前面提到的那样，Scala会进行类型推断，因此不需要类型归属，但是如果你想“提示”关于预期类型的​​类型检查器，你可以这样做。 但正如文档类型中提到的那样，归档并不常用。