声明变量，其类型是一个函数的返回类型

Question

目前我使用一个类型别名：

type FooType = Int 
val foo = (_: Int) * 2 

def takeFooRet(x: FooType) = ... 

不过，我想这样做：

val foo = (_: Int) * 2 

def takeFooRate(x: foo.RetType) = ... 

我不是看到任何东西Function1。这是不可能的吗？

Answer 1

你需要知道输入类型或某些类型的

def takeFooRate[+Out](x: Int => Out) = ... 

或

def takeFooRate[-In,+Out](x: In => Out) = ... 

Answer 2

这不是不可能的参数化你的“takeFooRate”，但你需要Function1揭露它的返回类型为类型成员。不幸的是，情况并非如此，但您可以将Function1包装成可以提供所需信息的东西。这是一个简单的例子

class Function1Aux[T1, R](f: Function1[T1, R]) { 
    type Out = R 
} 

val foo = new Function1Aux((_: Int) * 2) 

def takeFooRate(x: foo.Out) = x 

我意识到这并不漂亮，但它表明它在技术上是可行的。