变量已在方法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

我们来看一下Java语言规范中的名称及其范围

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

块中的局部变量声明 的 范围（第14.4节）是该声明在其中出现的其余部分， 从其自身的初始化程序开始，
并在该局部变量声明语句的右侧包括其他任何声明 符 。

然后，关于阴影和遮盖

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

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

如果使用局部变量v的名称在v范围内声明新变量，则将导致编译时错误，除非在变量声明在v范围内的类中声明了新变量。

所以，在

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

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

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

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