推斷類型的別名

Question

我有一個複雜的返回類型的方法，我想有一個函數，該方法的結果作爲參數。是否有可能爲該方法的返回類型創建一個別名？類似於C++的typeof

例如，

object Obj { 
    def method(x:Int) = 1 to x 
    type ReturnType = ??? 

    //possible solution if i know a parameter for which the method won't fail 
    val x = method(1) 
    type ReturnType = x.type 

    //another possible solution, I don't need a parameter that won't fail 
    //the method but i still think there is a better way 
    lazy val x = method(1) 
    type ReturnType = x.type 

    //I would then like to have a function which takes ReturnType as a parameter 
    def doit(t:ReturnType) = Unit 
} 

事情是編譯器知道類型，但我不知道如何從他那裏得到它。

Answer 1

我能想到的唯一的辦法是這樣的：

class Return[T](f:() => T) { 
    type Type = T 
} 

def getDifficultReturnType() = 1 to 10 

val Return = new Return(getDifficultReturnType) 

def doIt(t:Return.Type) = { 

} 

我不知道如果這是你在找什麼。

Answer 2

據我所知，這是不可能的。也許在未來的Scala版本中有type macros。

在任何情況下，如果它是非平凡的話，離開類型不是一個好的設計在我看來。我知道你不想輸入80個字符，但是如果保留這種類型至關重要（如聽起來那樣），它應該在的某些點解釋。

您可以使用類型別名：

object Obj { 
    type ReturnType = My with Very[LongAndComplicated] with Name 
    // explicit type ensures you really get what you want: 
    def method(x: Int): ReturnType = 1 to x 

    def doit(t: ReturnType) {} 
}