orElseGet 中的 Lambda 有界通配符泛型

Question

我的部分代码如下所示：

EntityTypeEnum entityType = EntityTypeEnum.fromName(entityTypeName).orElseThrow(...);
EntityService<? extends AbstractEntityDto> entityService = entityServiceFactory.getEntityService(importType);

return getFooArgs(bar)
    .map(entityService::getListWithFooArgs)
    .orElseGet(()->entityService.getListNoArgs());

有一个 enum，我通过它使用 entityServiceFactory 的静态方法获取服务类。然后我调用方法 getFooArgs(...)，它返回 Optional。然后我想使用 EntityService 方法映射它或使用没有 args 的方法来获取“默认”值，当 getFooArgs 返回空 Optional 时。

public interface EntityService<T extends AbstractEntityDto> {
    List<T> getListNoArgs();
    List<T> getListWithFooArgs(FooArg fooArgs);
}

很遗憾，我从我的 IDE 中得到了 Bad return type in lambda expression: List<capture of ? extends AbstractEntityDto> cannot be converted to List<capture of ? extends AbstractEntityDto>。我要做的是：

Optional<List<? extends AbstractEntityDto>> listOptional = getFooArgs(bar)
        .map(entityService::getListWithFooArgs);

if(listOptional.isPresent())
    return listOptional.get();
else
    return entityService.getListNoArgs();

你能解释一下为什么会这样吗？我认为它与? 和泛型有关，但我认为通过使用?，很多类型的限制都会消失。 如果代码太少无法弄清楚，请告诉我。

Answer 1

我什至没有试图找出编译器为什么不接受这个结构。当涉及到类型推断和通配符时，很多看起来应该可以工作的东西，实际上却没有。

最简单的解决方法是为map 的泛型调用提供显式类型：

return getFooArgs(bar)
    .<List<? extends AbstractEntityDto>>map(entityService::getListWithFooArgs)
    .orElseGet(entityService::getListNoArgs);

一般情况下，您应该avoid wildcards in return types。随身携带通配符没有任何价值。相反，当您确实有处理List<ConcreteEntityDto> 的代码并且需要将其传递给应该能够处理更多情况的方法时，使用通配符声明一个参数类型，例如List<? extends AbstractEntityDto> ，接受List<ConcreteEntityDto> 和List<SomeOtherEntityDto>，非常有用。

注意，给定一个

List<? extends AbstractEntityDto> list = …

你可以的

List<AbstractEntityDto> view = Collections.unmodifiableList(list);

用于不尝试修改列表的后续处理。 unmodifiableList 返回的包装器阻止任何尝试将元素插入到 AbstractEntityDto 的未知子类型列表中，但可以保证为所有查询方法返回 AbstractEntityDto 的实例。这就是为什么这种类型更改是有效的。