斯卡拉错误执行抽象方法与类型参数

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)