为什么类型推断对于lambda失败，对于等效方法引用却成功？

Question

public class Main
{
    public static void main(String... args)
    {
        methodB(thing -> Main.testRound(thing)); // incompatible types
        methodB(Main::testRound);                // no problem here
    }

    static <T extends Shape> void methodB(Func<T> function)
    {
    }

    static boolean testRound(Round thing)
    {
        return true;
    }
}

interface Func<T>
{
    boolean test(T ob);
}

class Shape
{
}

class Round extends Shape
{
}

Vince Emigh找到了答案，我在下面标记为“接受”。虽然这不是我的问题的一部分，但这里有四种方法可以解决这样一个问题，即lambda只有在真正坚持使用lambda时才会被推断为func 类型：

// Use a type witness.

Main.<Round>methodB(thing -> testRound(thing));

// Make the lambda's argument type explicit.

methodB((Round thing) -> testRound(thing));

// Cast the argument.

methodB(thing -> testRound((Round)thing));

// Store the lambda reference in a Func<Round> variable.

Func<Round> lambda = thing -> testRound(thing);
methodB(lambda);

我看不出有什么理由更喜欢其中一个而不是方法引用，除非你觉得lambdas的密密麻麻程度低一点（也许可读性高一点）。但是，如果你想要的话，他们就在那里。

Answer 1

根据JLS第15.13.2节：

与lambda表达式不同，方法引用可以与泛型函数类型（即具有类型参数的函数类型）全等。这是因为lambda表达式需要能够声明类型参数,而没有语法支持这一点；而对于方法引用,则不需要这样的声明。

lambda表达式引发错误，因为没有指定类型参数。这会导致t被编译为shape（正如您的文章中提到的），因为没有任何东西可以帮助推断参数的类型。