Scala通用通配符和特定类型

时间:2017-09-11 09:09:22

标签: scala scala-generics

我有mappings值:

val mappings: Map[Class[_] ,Iterable[AttributeKeyAndValue] => AnyRef]

是否可以使其更像类型安全,如

val mappings: Map[Class[T], Iterable[AttributeKeyAndValue] => T]

其中T扮演与下划线相同的角色。我希望编译器抱怨,如果它符合这个代码:

val mappings: Map[Class[T], Iterable[AttributeKeyAndValue] => T] = Map(
  classOf[String], attrs => 1)

4 个答案:

答案 0 :(得分:2)

你不能参数化val所以不,不是那样的。

看看你的要求,这没有多大意义。让我们说:val mappings: Map[Class[T], Iterable[AttributeKeyAndValue] => T]是有效的,编译器会抱怨。

您可以使用相同的类型参数化地图中的所有条目,即。 T或者每个条目都有自己的参数化类型,这使得在使用applyget方法检索条目时无法知道它是哪种类型。

我建议您坚持使用Class[_],因为参数化的唯一方法是强制所有条目具有相同的类型。例如,如果您能够在Map[Class[String], ...]中对其进行参数化,那么您只能在地图中放入1个条目,其中密钥为classOf[String]

答案 1 :(得分:2)

Scala中的通配符只是存在类型的一个特定简单情况,你想要的更复杂,因为你想在两个地方使用相同的T。像Seq[(Class[T], AttributeKeyAndValue => T) forSome { type T }]这样的东西。但请注意您需要放置forSome的位置:如果您需要Map,则没有相应的位置!例如。 Map[Class[T], AttributeKeyAndValue => T] forSome { type T }表示整个地图只有一个T

我建议创建一种类型,它提供更安全的类型接口,即使你需要在其中进行强制转换:

class Mappings private (contents: Map[Class[_], Iterable[AttributeKeyAndValue] => AnyRef]) {
  def get[T](clazz: Class[T]) = contents.get(clazz).asInstanceOf[Option[Iterable[AttributeKeyAndValue] => T]]

  def +[T](clazz: Class[T], value: Iterable[AttributeKeyAndValue] => T) = new Mappings(contents + (clazz, value))

  // any other methods you want
}

object Mappings {
  val empty = new Mappings(Map.empty)
}

// elsewhere
Mappings.empty + (classOf[String], attrs => "a") // type-checks
Mappings.empty + (classOf[String], attrs => 1) // doesn't type-check

您实际上可以改进API以避免手动传递类,因此您只需编写get[String]+(attrs => 1)自动推断它需要classOf[Int],但我决定在此处显示简单的想法。

答案 2 :(得分:0)

好吧,编译器不知道你提供的示例中的T是什么。 因此,作为一个选项,您可以定义由mappings参数化的T函数:

       def mappings[T](x: AttributeKeyAndValue => T): 
             Map[Class[T], AttributeKeyAndValue => T] = Map(classOf[T] -> x)

用法:

  val mappping = mappings(x => x.toString)

并且编译器能够推断出的类型是:

  mappping : Map[Class[String], AttributeKeyAndValue => String]

答案 3 :(得分:0)

将它包装成一个案例类?

  type Attrs = Iterable[AttributeKeyAndValue]

  case class Mappings[T](m: Map[Class[T], Attrs => T]

  object Mappings {
    implicit def mk[T](m: Map[Class[T], Attrs => T): Mappings[T] = Mappings(m)
  } 

  val mappings: Mappings[_] = Map(classOf[String] -> { (_:Attrs) => "foo" })  // Works

  val badMappings: Mappings[_] =  Map(classOf[String] -> { (_:Attrs) => 1 })  // Fails