斯卡拉錯誤執行抽象方法與類型參數

Question

，使之短，這個工程：

object Main { 
    def main(args: Array[String]) { 
    trait T1[T] { 
     def f1(a: T): Double 
    } 

    val ea1 = new T1[List[String]] { 
     def f1(a: List[String]): Double = a.length 
    } 
    } 
} 

但這不會編譯：

object Main { 
    def main(args: Array[String]) { 
    trait T1 { 
     def f1[T](a: T): Double 
    } 

    val ea1 = new T1 { 
     def f1(a: List[String]): Double = a.length 
    } 
    } 
} 

object creation impossible, since method f1 in trait T1 of type [T](a: T)Double is not defined 
    val ea1 = new T1 { 
      ^

好像方法不考慮由於方法上的類型參數。

如何在不使用特徵類型參數或特徵抽象類型的情況下實現此目的？ TIA！ TIA！

Answer 1

您可能希望定義一個type T廢除特質類型參數，完成一樣..

trait T1 { 
     type T 
     def f1(a: T): Double 
    } 

    val ea1 = new T1 { 
     type T = List[String] 
     def f1(a: T): Double = a.length 
    }            

    ea1.f1(List("1","2")) 
    // res0: Double = 2.0 

Answer 2

有一個「私人選項」 -Yinfer-argument-types，讓你：

scala> trait T { def f(i: Int) } 
defined trait T 

scala> new T { def f(i) = 2 * i } 
res1: T = $anon$1@7915e83 

您正在尋找一個相當於以下選項的選項：

scala> new T { def f() = 2 * i } 

除了使用類型參數而不是數值參數。

我不確定你的例子中的語義是什麼。該方法有一個類型參數，但如果它不是我期望的類型，會拋出什麼？

編輯：也許你的意思是這樣的：

scala> trait T { def f[ @specialized(Int) A](a: A): A = ??? } 
defined trait T 

scala> new T { def f(i: Int) = 2*i } 
res0: T{def f(i: Int): Int} = $anon$1@50844aeb 

scala> res7 f 7 
warning: there were 1 feature warning(s); re-run with -feature for details 
res8: Int = 14 

上有專門的方法沒有Param類型。

更新：這可能會被省略REPL堆棧跟蹤上，因此將首次亮相：

scala> res7 f "hi!" 
warning: there were 1 feature warning(s); re-run with -feature for details 
scala.NotImplementedError: an implementation is missing 
    at scala.Predef$.$qmark$qmark$qmark(Predef.scala:229) 
    at $anon$1.f(<console>:9)