变量已经在方法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表达式在同一行上初始化的变量？我理解Lambdas在外部查找(并使用)局部变量,因此您不能将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表达式中声明,而不是在类中声明.)

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();