Как можно добиться аналогичной функциональности без ошибок?
class A<K> {
void f(K x) {}
}
void foo(A<? extends X> a, X x) {
a.f(x); // AN error: The method f(capture#1-of ? extends X) in the
// type A<capture#1-of ? extends X> is not applicable for the
// arguments (X)
}
Я знаю, что это происходит потому, что "a" может быть экземпляром A < "non-X" > , поэтому его "f" не должен принимать экземпляр X в качестве параметра, но как я могу заставить параметры быть одного типа?
Вот еще код:
Класс тестирования:
class Test {
<T> void foo(A<T> a, T x) {
a.f(x); // now it works!
}
}
В некотором классе:
Container<X> container;
public void test() {
X x = new X();
new Test().foo(container.get(), x);
}
Здесь контейнерный класс:
public class Container<K> {
A<? extends K> get() {
return new A<K>();
}
}