聲明變量，其類型是一個函數的返回類型

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 

我意識到這並不漂亮，但它表明它在技術上是可行的。