Java Generic：特定参数类型的静态方法不匹配功能接口

Question

下面的第一个分配未编译，但我不确定为什么，静态方法的方法签名与功能方法签名匹配，尽管它不使用类型参数。第二行填充了罚款，即使它是相同的签名，除了类型的参数化。

这背后的原因是什么？

public class GenericSample<T> {
    public static void staticLambdaMtd(Integer a) {
            
    }   

    public static<X> void staticLambdaMtd2(X a) {
            
    }  

    // Funca<T> fa1 = GenericSample::staticLambdaMtd;//does not compile !

    Funca<T> fa = GenericSample::staticLambdaMtd2;//does compile !      
}
    
interface Funca<A> {
    public void funct(A a);
}

Answer 1

您正在混合通用参数t和类型整数。这是行不通的，因为t和整数是不同的类型。

仿制药是不变的。这意味着您可以分配给list＆lt; person＆gt;仅具有相同通用参数的另一个列表，即person（不是integer，> CAT或t）。同样，我们也无法将funca＆lt; gt;分配给类型funca＆lt; t＆gt;的变量。

有关更多信息，请看一下 tutorial

>由Oracle提供的 funca＆lt; t＆gt; - IE某种任意类型的函数，因为只有整数类型类型与方法签名匹配，但不符合任何类型（例如String） ，cat，bigDecimal）将在类genericsample将得到实例化时定义。

第二个语句编编译，因为它不会期望任何特定类型。 X只是占位符，t。 Expression genericsample :: staticlambdamtd2应分类为SO-CALLED poly表达式 ，即，因为您不提供类型的编译器需要从分配上下文中推断出来。

因此，将推断出Expression genericsample :: staticlambdamtd2是类型为funca＆lt; t＆gt;，第二个语句将符合正常。

下面显示的所有作业都是有效的：

// expression on the right could represent only `Funca<Integer>`

Funca<Integer> fa1 = GenericSample::staticLambdaMtd;


// expression on the right can be succefully inferred to 
// a function of any type based on the assingment context on the left

Funca<T> fa = GenericSample::staticLambdaMtd2;      
Funca<String> fa = GenericSample::staticLambdaMtd2;
Funca<BigDecimal> fa = GenericSample::staticLambdaMtd2;

注释 表达式genericsample :: staticlambdamtd2可以从 poly expression 转动到a “独立形式” 通过提供一个通用参数（实际上，按规范中提供的定义方法参考始终是poly expressions ，因此我使用了“我使用过”独立的“引号”标记仅表示分配上下文将被忽略）。

而且我们如何打破它：

// that will not compile for the same reason as the the firt statement doesn't compile

Funca<T> fa3 = GenericSample::<Integer>staticLambdaMtd2;