Warning: file_get_contents(/data/phpspider/zhask/data//catemap/2/scala/16.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Generics Scala:将泛型类型参数约束为另一个参数中的类型_Generics_Scala_Bounds - Fatal编程技术网

Generics Scala:将泛型类型参数约束为另一个参数中的类型

Generics Scala:将泛型类型参数约束为另一个参数中的类型,generics,scala,bounds,Generics,Scala,Bounds,我仍在努力掌握Scala语言,所以请容忍我和我所有的问题 我可以从绑定中的一个类型参数为另一个类型参数引用抽象类型吗?例如,有没有一种方法可以让下面的代码工作?我在这里试图实现的本质是,C的MAP参数的键应该是参数T的某种类型 trait T1 { type SomeType; } trait MyMap[KEY, VALUE] { ... } class C { def m[T <: T1, MAP <: MyMap[T.SomeType, Int]] { .

我仍在努力掌握Scala语言,所以请容忍我和我所有的问题

我可以从绑定中的一个类型参数为另一个类型参数引用抽象类型吗?例如,有没有一种方法可以让下面的代码工作?我在这里试图实现的本质是,C的MAP参数的键应该是参数T的某种类型

trait T1 { 
    type SomeType;
}

trait MyMap[KEY, VALUE] { ... }


class C { 
  def m[T <: T1, MAP <: MyMap[T.SomeType, Int]] { ... }
}    
trait T1{
类型SomeType;
}
trait MyMap[键,值]{…}
C类{
def m[T您需要:

defm[T
def m[T <: T1, MAP <: MyMap[T#SomeType, Int]]