无法匹配方法参数中的泛型类型

Question

我不知道标题是否可以理解，但我有这个：

    public class Product {
        public Integer getId() {...}
        public String getName() {...}
    }

    public <T,V> static void method(Function<T, V> f, V value) {...}

并且我想在以下情况下出现编译错误：

    method(Product::getId, "some String"); // id is not String
    method(Product::getName, 123);         // name is not Integer

但编译器将 V 解释为：

java Serializable & Comparable<? extends Serializable & Comparable<?>>

它可以编译，但取决于“方法”的实现方式，您会在运行时收到异常，或者它只是工作错误。

如何指示编译器匹配所需的数据类型？ 而且我不想为每种可能的 V 类型编写一个“方法”。

谢谢！

Answer 1

您可以通过将泛型拆分为两个方法调用来强制执行泛型，因为您需要一个新类：

public class Value<T, V> {
    private final Function<T, V> f;
    
    public Value(Function<T, V> f) {
        this.f= f;
    }

    public void with(V value) {
        // move your code from method() into here
    }
}

然后将method() 更改为如下内容：

public static <T, V> Value<T, V> method(Function<T, V> f) {
    return new Value<>(f);
}

那么你可以这样使用它：

method(Product::getId).with("123");   // compiler error
method(Product::getName).with(123);   // compiler error
method(Product::getId).with(123);     // no error
method(Product::getName).with("123"); // no error