java - 将具有指定泛型列表类型的 Observable 作为方法参数传递

Question

我可以编写一个接受 List 的方法，其中的元素扩展给定的基类，如下所示:

class BaseClass { }
class SubClass extends BaseClass { }

static void listMethod(List<? extends BaseClass> list) { }

调用此方法很简单，并且按预期工作:

    List<BaseClass> b = Collections.empty();
    List<SubClass> s = Collections.empty();

    listMethod(b);  // ok
    listMethod(s);  // ok

现在我想更改我的方法，使其不接受 List , 而不是 Observable发出 List .因此签名变为:

static void observableListMethod(Observable<List<? extends BaseClass>> listObservable) { }

不幸的是，尝试调用这个新方法会导致以下形式的参数不匹配错误:

Observable<List<BaseClass>> cannot be converted to Observable<List<? extends BaseClass>>

不同于dealing with generic collections in Java的一般问题，这里的问题似乎不是子类和基类集合之间的不正确假设转换。相反，它似乎更多地与所使用的 Observable 的特定类型有关。

    Observable<List<BaseClass>> b = Observable.just(Collections.emptyList());
    Observable<List<SubClass>> s = Observable.just(Collections.emptyList());

    observableListMethod(b);    // argument mismatch / incompatible types
    observableListMethod(s);    // argument mismatch / incompatible types

    // I can map the List to a read-only variant...
    observableListMethod(b.map(Collections::unmodifiableList)); // ok (for readonly)
    observableListMethod(s.map(Collections::unmodifiableList)); // ok (for readonly)

到目前为止，我想出的最佳解决方案是更改方法签名以指定 BaseClass特别是(不是 ? extends BaseClass )，然后做一些丑陋的 List使用 Rx 进行解包和转换:

static void observableListMethod2(Observable<List<BaseClass>> listObservable) { }
public static void callObservableListMethod2() {
    Observable<List<BaseClass>> b = Observable.just(Collections.emptyList());
    Observable<List<SubClass>> s = Observable.just(Collections.emptyList());

    observableListMethod2(b);    // ok
    observableListMethod2(s.flatMapIterable(it -> it).cast(BaseClass.class).toList()); // ok, but yuck!
}

肯定有更简洁的方法来完成我想做的事情吗？

Answer 1

正如另一个答案所示，您可以使用类型变量来解决这个问题。但要解释发生了什么；

static void observableListMethod(Observable<List<? extends BaseClass>> listObservable) { }

需要 Observable<List<? extends BaseClass>>作为参数。换句话说，它需要一个Observable<T>。其中 T是List<? extends BaseClass>> .

现在，您尝试传递 Observable<List<BaseClass>>例如，即 Observable<U>其中 U是List<BaseClass> ，一个不同于的类型 T .但是自generics are invariant你不能分配 Observable<U>到Observable<T> .即使U可分配给 T .

要使其正常工作，您需要 Observable<? extends T>作为参数。如果您随后替换 T对于 List<? extends BaseClass>>你又得到:

Observable<? extends List<? extends BaseClass>>

如果你将参数类型设为这应该编译:

Observable<List<BaseClass>> b = Observable.just(Collections.emptyList());
Observable<List<SubClass>> s = Observable.just(Collections.emptyList());

observableListMethod(b);
observableListMethod(s);