理解 Java 谓词

Question

我在理解 Java 谓词时遇到问题...

例子：

public class UserPredicates {
 public static Predicate<User> isNameEmpty() {
  return p -> p.getFirstName().isEmpty() && p.getLastName().isEmpty();
 }
}

上面的例子让我很困惑，怎么知道p有getFirstName()和getLastName()的方法？
如果我理解正确的话，isNameEmpty() 返回一个带有一个参数的函数（p），但是编译器真的通过查看返回类型就知道类型了吗？

而返回的函数是来自 Predicate 接口的test()？

Answer 1

Predicate<User> 表示以User 为参数并返回boolean 的函数。

见Javadoc:

接口谓词
...
类型参数：
T - 谓词的输入类型