变量已在方法 lambda 中定义

Question

考虑以下几乎可编译的 Java 8 代码：

public static void main(String[] args) {

    LinkedList<User> users = null;
    users.add(new User(1, "User1"));
    users.add(new User(2, "User2"));
    users.add(new User(3, "User3"));

    User user = users.stream().filter((user) -> user.getId() == 1).findAny().get();
}

static class User {

    int id;
    String username;

    public User() {
    }

    public User(int id, String username) {
        this.id = id;
        this.username = username;
    }

    public void setUsername(String username) {
        this.username = username;
    }

    public void setId(int id) {
        this.id = id;
    }

    public String getUsername() {
        return username;
    }

    public int getId() {
        return id;
    }
}

你会注意到User user = users.stream().filter((user) -> user.getId() == 1).findAny().get(); 抛出编译器错误：

变量用户已在方法 main(String[]) 中定义

我的问题是：为什么 Lambda 表达式将初始化的变量与已经定义的 Lambda 表达式放在同一行？我了解 Lambda 在自身之外寻找（并使用）局部变量，因此您不能将在 Lambda 中使用的变量命名为与外部变量相同。但是为什么正在定义的变量被认为已经定义了？

Answer 1

让我们转到names and their scopes 上的 Java 语言规范

方法的形参范围（第 8.4.1 节），构造函数 （第 8.8.1 节）或 lambda 表达式（第 15.27 节）是 方法、构造函数或 lambda 表达式。

块中局部变量声明的范围（第 14.4 节）是 声明出现的块的其余部分，从它的开始 自己的初始化器 并在右侧包括任何进一步的声明符 局部变量声明语句。

那么，关于shadowing and obscuring的主题

一个局部变量（§14.4），形式参数（§8.4.1，§15.27.1）， 异常参数（§14.20）和本地类（§14.3）只能是 指的是使用简单名称，而不是限定名称（第 6.2 节）。

某些声明不允许在本地范围内 变量、形参、异常参数或局部类 声明，因为无法区分 仅使用简单名称声明的实体。

如果使用局部变量 v 的名称，则编译时错误 在 v 的范围内声明一个新变量，除非新的 变量在一个类中声明，该类的声明在 诉的范围。

所以，在

User user = users.stream().filter((user) -> user.getId() == 1).findAny().get();

，变量user 的范围是该块中它之后的所有内容。现在您尝试使用该变量的名称在范围内声明一个新变量，但不是

在声明在 v 范围内的类中。

因此发生编译时错误。 （它是在 lambda 表达式中声明的，而不是在类中。）

Answer 2

看代码

User user = users.stream().filter((user) -> user.getId() == 1).findAny().get();

变量名是user，lambda里面的变量也是user

试着把它改成这样

User user = users.stream().filter((otherUser) -> otherUser.getId() == 1).findAny().get();

Answer 3

这与任何其他局部变量相同：不允许将它们隐藏在更多内部 {} 块中。

Answer 4

请注意，此限制将在未来的版本中删除。引用JEP-302:

Lambda 参数不允许在封闭范围内隐藏变量。 （换句话说，lambda 的行为类似于 for 语句 - 请参阅 JLS）这通常会导致问题，如以下（非常常见的）情况：

Map<String, Integer> msi = ...
...
String key = computeSomeKey();
msi.computeIfAbsent(key, key -> key.length()) //error

这里，尝试在 computeIfAbsent 调用中重用名称键作为 lambda 参数失败，因为已在封闭上下文中定义了具有相同名称的变量。

最好取消这个限制，并允许 lambda 参数（以及用 lambda 声明的局部变量）隐藏在封闭范围中定义的变量。 （一个可能的反对理由是可读性：如果允许 lambda 参数隐藏，那么在上面的示例中，标识符 'key' 在使用它的两个地方意味着两个不同的东西，并且似乎没有语法障碍来分隔两种用法。）

Answer 5

这个问题已经很老了，但我认为我的回答可以使已经给出的答案更加清晰。特别是@Sotirios Delimanolis 的。 中的 lambda 赋值

    User user = users.stream().filter((user) -> user.getId() == 1).findAny().get();

失败的原因与以下代码失败的原因相同。

    Object e = null;
    try{
      throw new Exception();
    } catch(Exception e) { // compilation fails because of duplicate declaration
      //do nothing
    }

局部变量（第 14.4 节）、形参（第 8.4.1 节、第 15.27.1 节）、异常参数（第 14.20 节）和局部类（第 14.3 节）只能使用简单名称来引用，不能限定名称（第 6.2 节）。

某些声明不允许在局部变量、形参、异常参数或局部类声明的范围内，因为无法仅使用简单名称区分声明的实体。

因为 lambdas 与上面提到的所有东西的作用域相同，所以这会失败。