在 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 不够强大。
最佳答案
你可以在 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之外的任何东西,但可以作为演示
关于java - Map key/value类型限制,如何关联?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/33567469/