在研究Java8流时，我遇到了以下代码片段：
1
Predicate<? super String> predicate = s -> s.startsWith ( "g" ) ;
因为泛型参数是一个下限，所以我认为这不会编译。在我看来，如果一个对象是字符串的父类型，那么传入一个对象类型应该会破坏它，因为对象没有startswith()函数。然而，我惊讶地看到它毫无问题地工作。
此外，当我调整谓词使其取上界时：
号
它不会编译。
我以为我理解了上界和下界的含义，但很明显，我遗漏了一些东西。有人能解释为什么下限与这个lambda一起工作吗？
extends 也编译--Predicate predicate = s -> s.startsWith("g") --不过，我们不能将String 馈送给这个谓词：)另请参阅我关于通配符的文章。stackoverflow.com/questions/33085151/&hellip；
Predicate 并不意味着您可以将Object 传递给它(这样做会导致编译器错误)。签名Predicate 仅仅意味着它可能是一个Predicate ，这是正常的，因为该谓词仍然能够处理String 输入。换句话说，Predicate 表示这个谓词可以使用字符串，不管它的实际类型如何，所以Predicate 是Predicate 的有效实现。我很抱歉没有给出完整的代码。没有编译的实际代码是行boolean test=anymatch(谓词)；这是后面的代码。实际的谓词行本身可以用上界和下界语法编译。经过一段时间的逻辑思考，我理解为什么任何匹配都会有这样的签名。
lambda参数类型是精确的，不能是? super 或? extends 。这由JLS 15.27.3涵盖。lambda表达式的类型。它引入了地面目标类型的概念(基本上是lambda类型)。除此之外，它还指出：
If T is a wildcard-parameterized functional interface type and the lambda expression is implicitly typed, then the ground target type is the non-wildcard parameterization (§9.9) of T.
号
强调我的。所以当你写作的时候
1
Predicate<? super String> predicate = s -> s.startsWith ( "g" ) ;
您的lambda类型是Predicate 。与以下内容相同：
1
Predicate<? super String> predicate = ( Predicate< String> ) ( s -> s.startsWith ( "g" ) ) ;
号
甚至
1
Predicate< String> pred = ( Predicate< String> ) ( s -> s.startsWith ( "g" ) ) ; <? super String> predicate = pred;
鉴于lambdas类型参数是具体的，在应用了正常类型转换规则之后：Predicate 是Predicate 或Predicate 。因此，Predicate 和Predicate 都应该编译。实际上，这两个版本都适用于Javac8u25、8u45、8u71以及ECJ3.11.1。
谢谢你的澄清。参数有界的lambda默认行为是我困惑的核心。
我刚测试过，作业本身就编译了。改变的是你是否可以打电话给predicate.test() 。
让我们后退一步，使用占位符GenericClass 进行解释。对于类型参数，Foo 扩展Bar ，Bar 扩展Baz 。
延伸：当您声明一个GenericClass 时，您会说"我不知道它的泛型类型参数实际上是什么，但它是Bar 的一个子类。"实际实例总是有一个非通配符类型参数，但在代码的这一部分中，您不知道它的值是什么。现在考虑一下这对于方法调用意味着什么。
你知道你实际上得到的不是一个GenericClass 就是一个GenericClass 。考虑一个返回T 的方法。在前一种情况下，它的返回类型是Foo 。在后者中，Bar 。不管怎样，它都是Bar 的一个子类型，可以安全地分配给Bar 变量。
考虑一个具有T 参数的方法。如果它是GenericClass ，那么传递Bar 是错误的—Bar 不是Foo 的子类型。
因此，使用上界可以使用泛型返回值，但不能使用泛型方法参数。
超级的：当您声明一个GenericClass 时，您会说"我不知道它的泛型类型参数实际上是什么，但它是Bar 的超类。"现在考虑一下这对于方法调用意味着什么。
你知道你实际上得到的不是一个GenericClass ，就是一个GenericClass 。考虑一个返回T 的方法。在前一种情况下，它返回Bar 。在后者中，Baz 。如果返回Baz ，那么将该值赋给Bar 变量是一个错误。你不知道它是什么，所以你不能在这里安全地假设任何事情。
考虑一个具有T 参数的方法。如果是GenericClass ，那么通过Bar 是合法的。如果是GenericClass ，那么通过Bar 仍然是合法的，因为Bar 是Baz 的一个子类型。
因此，使用下限可以使用泛型方法参数，但不能使用泛型返回值。
总而言之：predicate.test() 有一个通用参数，所以需要super 。
另一件要考虑的事情是：通配符所声明的边界是关于对象的实际类型参数的。它们对可用于该对象的类型的影响是相反的。上界通配符(extends 是可以为其分配返回值的变量类型的下界。下限通配符(super 是可以作为参数传入的类型的上限。predicate.test(new Object()) 不会编译，因为它的下界为String 时只接受String 的子类。
谢谢你的洞察力。返回类型/参数汇总使理解它们的用法更加容易。