java - Map key/value类型限制，如何关联？

Question

在 Scala 代码中，我有

val pendingServices = new ConcurrentHashMap[String, JMap[Class[_ <: Service], Service]]()

从调用方来看，Java，使用看起来像

Service$.MODULE$.pendingServices().get("key").put(Foo.class, new Foo()); 

我还可以得到一些 Service 的实例按

分类

Service$.MODULE$.pendingServices().get("key").get(Foo.class)

或者来自 Scala，

Service.pendingServices.get("key").get(classOf[Foo])

问题:可以放不相关的Service es在 map 中，比如

Service$.MODULE$.pendingServices().get("key").put(Bar.class, new Foo());

如果Foo和 Bar都扩展了 Service .那么，我该如何限制 Class[_ <: Service和 Service从定义共享相同Service ？

我想向我的同事展示一些 Scala 类型系统真正有用的案例。尝试使用 lambda 类型，但我的 type-fu 不够强大。

Answer 1

你可以在 scala 代码中使用这样的结构

import scala.collection.mutable.{HashMap ⇒ MHMap,  SynchronizedMap}
import scala.reflect.{ClassTag, classTag}

class Service

case class Foo() extends Service
case class Bar() extends Service

object Service {
  object pendingServices {
    private val backing = (new MHMap[String, Map[Class[_], Service]] with SynchronizedMap)
        .withDefaultValue(Map.empty)

    def update[T <: Service : ClassTag](name: String, service: T): Unit =
      backing(name) += classTag[T].runtimeClass → service

    def apply[T <: Service : ClassTag](name: String): T =
      backing(name)(classTag[T].runtimeClass).asInstanceOf[T]
  }
}

在 Scala 中你可以使用它作为

val foo = new Foo
val bar = new Bar

pendingServices("baz") = foo
pendingServices("baz") = bar

println(pendingServices[Foo]("baz")) // Foo()
println(pendingServices[Bar]("baz")) // Bar()

在java中相当于

final Foo foo = new Foo();
final Bar bar = new Bar();
Service.pendingServices$.MODULE$.update("baz", foo, ClassTag$.MODULE$.apply(Foo.class));
Service.pendingServices$.MODULE$.update("baz", bar, ClassTag$.MODULE$.apply(Bar.class));

System.out.println(Service.pendingServices$.MODULE$.<Foo>apply("baz", ClassTag$.MODULE$.apply(Foo.class))); // Foo()
System.out.println(Service.pendingServices$.MODULE$.<Bar>apply("baz", ClassTag$.MODULE$.apply(Bar.class))); // Bar()

它仍然不限制scala之外的任何东西，但可以作为演示