将通配符与通用方法一起使用

Question

想得到一些建议

我的班级结构是这样的

public abstract class Base {}
public class Derived1 extends Base {}
public class Derived2 extends Base {}

public class ServiceClass {
    public String method1(Derived1 derived1) {
        return "derived1";
    }
    public String method2(Derived2 derived2) {
        return "derived2";
    }
}

在我的主代码（MainProg）中，我尝试使用相同的函数来引用服务类中的 2 个方法，并看到注释中的编译错误

public class MainProg {
    public static void main(String[] args) {
        ServiceClass serviceClass = new ServiceClass();

        //Incompatible types: Base is not convertible to Derived1
        Function<? extends Base,String> function1 = serviceClass::method1; 

        //Incompatible types: Object is not convertible to Derived1            
        Function<?,String> function2 = serviceClass::method1;
            
        //Incompatible types: Base is not convertible to Derived2
        Function<? super Base,String> function3 = serviceClass::method2;
    }
}

有没有办法声明我的函数对象，以便可以使用相同的函数对象来引用采用不同类型参数的方法？

Answer 1

是的，通过使用中间变量：

    Function<Derived1, String> function1 = serviceClass::method1;
    Function<Derived2, String> function2 = serviceClass::method2;        
    Function<? extends Base, String> function = condition ? function1 : function2;

也就是说，您将无法调用function ，因为您不知道是传递Derived1还是Derived2 ，或者像编译器所说的那样：

    function.apply(new Derived2()); 
    // error: The method apply(capture#1-of ? extends Base) in the type Function<capture#1-of ? extends Base,String> is not applicable for the arguments (Derived2)

但是，您可以使用泛型对参数类型进行抽象：

<T extends Base> invokeSafely(Function<T, String> function, T argument) {
    function.apply(argument);
}

这将允许你写

invokeSafely(serviceClass::method1, new Derived1());
invokeSafely(serviceClass::method2, new Derived2());

但不是

invokeSafely(function, new Derived1()); // same error as before

Answer 2

//Incompatible types: Base is not convertible to Derived1
Function<? extends Base,String> function1 = serviceClass::method1; 

这是我不完全理解的类型推断的一些奇怪的怪癖。 它从左侧推断Function<Base,String>并尝试将其应用于右侧。

你可以像这样修复它。 演员是安全的：

Function<? extends Base,String> function1 = (Function<Derived1, String>) serviceClass::method1;

或这个：

Function<Derived1, String> tmp = serviceClass::method1;
Function<? extends Base,String> function1 = tmp;

值得注意的是，你永远不能调用这个函数（除了null ），因为你已经抛弃了它期望什么类型的参数的知识。 ? extends Base ? extends Base是扩展 Base（即 Derived1 或 Derived2）的东西，但我们不知道是哪个。

//Incompatible types: Object is not convertible to Derived1            
Function<?,String> function2 = serviceClass::method1;

与第一个问题相同，只是它推断的是 Object 而不是 Base。

//Incompatible types: Base is not convertible to Derived2
Function<? super Base,String> function3 = serviceClass::method2;

Derived1 或 Derived2 不是 Base 的超类。 它们是子类。 只有 Object 是 Base 的超类。 method2不期望Object 。