java - 您可以触发 AbstractClass< 类型的 CDI 2.0 事件吗？扩展某事>？

Question

(作为背景，我已阅读 You think you know everything about CDI events… Think again! ，因此我至少熟悉 CDI 事件中的许多边缘情况。)

我使用 Weld 3.0.4.Final 作为 CDI 2.0 的实现。

我有一个AbstractFoo<? extends T>我想作为 CDI 事件触发的实例。我们将其称为有效负载。这就是我对有效负载的全部了解。

T定义为T extends MetaData 。 MetaData是一个接口(interface)。

由于各种不重要的原因，我必须以编程方式触发有效负载，所以我这样做:

final Event<Object> cdiEventMachinery = beanManager.getEvent();
assert cdiEventMachinery != null;
final TypeLiteral<AbstractFoo<? extends T>> eventTypeLiteral = new TypeLiteral<AbstractFoo<? extends T>>() {
  private static final long serialVersionUID = 1L;
};
final Event<AbstractFoo<? extends T>> broadcaster = 
cdiEventMachinery.select(eventTypeLiteral, someQualifiers);
assert broadcaster != null;

显然在这里broadcaster现在已准备好发射我的有效载荷。我的意图是这些事件应该传递给寻找 AbstractFoo 的观察者。 -or-its-subclasses 实例由扩展 MetaData 的任何类型参数化.

但是当我这样做时broadcaster.fire(payload) ，我注意到像这样的观察者方法:

private final void onFoo(@ObservesAsync @MatchingQualifier final Foo<? extends MetaDataSubclass> event) {}

…不要被调用。(? extends MetaDataSubclass 似乎是罪魁祸首；如果观察到的参数只是，比如说 Object，那么显然该方法会被通知。)

具体来说，假设:

• 一个MatchingQualifier文字出现在 someQualifiers 中，并且
• MetaDataSubclass是一个扩展 MetaData 的类，并且
• Foo是一个扩展 AbstractFoo 的类

…为什么观察者方法没有被调用？

需要明确的是，我确信这不是一个错误，而是我的理解中缺少的东西。我想知道我错过了什么。

(交叉发布到 developer.jboss.org 。)

测试用例

这是一个使用更简单结构的测试用例。

private final void collectionExtendsNumber(@Observes final Collection<? extends Number> payload) {
  System.out.println("*** collection extends Number");
}

private final void collectionExtendsInteger(@Observes final Collection<? extends Integer> payload) {
  System.out.println("*** collection extends Integer");
}

private final void collectionInteger(@Observes final Collection<Integer> payload) {
  System.out.println("*** collection Integer");
}

private final void collectionNumber(@Observes final Collection<Number> payload) {
  System.out.println("*** collection Number");
}

@Test
public void testContainerStartup() {

  final SeContainerInitializer initializer = SeContainerInitializer.newInstance();
  initializer.disableDiscovery();
  initializer.addBeanClasses(this.getClass());
  try (final SeContainer container = initializer.initialize()) {
    assertNotNull(container);
    final BeanManager beanManager = container.getBeanManager();
    assertNotNull(beanManager);
    final TypeLiteral<Collection<? extends Number>> literal = new TypeLiteral<Collection<? extends Number>>() {
      private static final long serialVersionUID = 1L;

    };
    final Event<Collection<? extends Number>> broadcaster = beanManager.getEvent().select(literal);
    assertNotNull(broadcaster);
    final Collection<? extends Number> payload = Collections.singleton(Integer.valueOf(1));
    broadcaster.fire(payload);
  }
}

仅调用第一个观察者方法。我想了解是什么阻止了第二个被调用。我知道这是一个未知类型 Number不能分配给未知类型-Integer ，但我想要某种方法来为有效负载选择“正确的”观察者方法。

Answer 1

这在规范中由 10.3.1. Assignability of type variables, raw and parameterized types 定义。 。更具体地说，查看您的测试用例，您会遇到以下规范句子:

• the observed event type parameter is an actual type with identical raw type to the event type parameter, and, if the type is parameterized, the event type parameter is assignable to the observed event type parameter according to these rules, or

事件类型参数 ( ? extends Number ) 不可分配给观察到的事件类型参数(测试用例中的 ? extends Integer )。第三个观察者 ( Collection<Integer> ) 的情况也是如此。

最后一个案例 Collection<Number>看起来有点令人费解，但它遵循相同的规则。您不能分配 <? extends Number>至<Number>因为在这种情况下，您可能会有效地尝试分配 Collection<Integer>或Collection<Double>或Collection<Number> ( <? extends Number> 可以是其中任何一个)。

Oracle site 上有一个很好的泛型示例。它显示给定两种类型，Box<A>和Box<B> ，您不能根据“内部”类型( A 和 B )的关系来假设可分配性。