3rd 方库中的通用方法限制规避

Question

我使用cqengine 进行集合索引：

Attribute<UtilizationEntry, LocalDate> startDateAttr = new SimpleAttribute<UtilizationEntry, LocalDate>() {
    @Override
    public LocalDate getValue(UtilizationEntry object, QueryOptions queryOptions) {
        return object.getStartDate();
    }
};
IndexedCollection<UtilizationEntry> entries = new ConcurrentIndexedCollection<>();
entries.addIndex(NavigableIndex.onAttribute(startDateAttr)); // compilation error in this line

此代码未编译，因为：

Error:(61, 70) java: no suitable method found for onAttribute(com.googlecode.cqengine.attribute.Attribute<entities.UtilizationEntry,java.time.LocalDate>)
method com.googlecode.cqengine.index.navigable.NavigableIndex.<A,O>onAttribute(com.googlecode.cqengine.attribute.Attribute<O,A>) is not applicable
  (inferred type does not conform to equality constraint(s)
    inferred: java.time.chrono.ChronoLocalDate
    equality constraints(s): java.time.chrono.ChronoLocalDate,java.time.LocalDate)
method com.googlecode.cqengine.index.navigable.NavigableIndex.<A,O>onAttribute(com.googlecode.cqengine.index.support.Factory<java.util.concurrent.ConcurrentNavigableMap<A,com.googlecode.cqengine.resultset.stored.StoredResultSet<O>>>,com.googlecode.cqengine.index.support.Factory<com.googlecode.cqengine.resultset.stored.StoredResultSet<O>>,com.googlecode.cqengine.attribute.Attribute<O,A>) is not applicable
  (cannot infer type-variable(s) A,O
    (actual and formal argument lists differ in length))

可能是缺少库设计：LocalDate 实现了扩展Comparable<ChronoLocalDate> 的ChronoLocalDate，这意味着在泛型方法声明中必须使用通配符边界。我想，在这种情况下，创建实现Comparable<> 的LocalDate 包装器是一种解决方法。

或许，这个问题还有其他解决方案？

Answer 1

我认为，创建新类（如包装器）对于修复通用签名错误来说开销很大。我会创建一个委托方法，例如

@SuppressWarnings("unchecked")
static <A extends Comparable<A>,O>
               NavigableIndex<A,O> onAttribute(Attribute<O,? extends A> attribute) {
    return NavigableIndex.onAttribute((Attribute)attribute);
}

实际上，问题在于声明 A extends Comparable<A> 应该是 A extends Comparable<? super A>，但是在这里修复它并没有帮助，因为这种模式遍布整个 API，并且在这里允许这样的返回类型只会引发错误下一个 API 用法。但是，据我所知，Attribute 只产生 As 而不会消耗它们，所以我们可以在这里放宽签名并接受 Attribute<…,? extends A>，遵循 PECS 模式。

有了这个助手，你的代码应该可以顺利编译：

IndexedCollection<UtilizationEntry> entries = new ConcurrentIndexedCollection<>();
entries.addIndex(onAttribute(startDateAttr));