JDK 9 是否应该不允许在覆盖方法中引用最终字段的 Lambda 表达式实例化？

Question

我一直在使用新的 Eclipse Neon，我的一些代码立即开始出错。
起初我觉得很奇怪，但后来我发现 here Neon ECJ（Eclipse Java 编译器）采用了 JDK 9 早期版本编译器的态度。
我没有遇到与 link 相同的问题，而是我将在此处解释的另一个问题。

Lambda 表达式声明作为字段的问题

这是一个测试class，它在 Eclipse Neon 中给我一个编译错误，JDK 9 编译器和 JDK 8 编译器（虽然不是以前版本的 Eclipse）。

public class Weird
{
    private final Function<String, String> addSuffix =
        text -> String.format( "%s.%s", text, this.suffix );

    private final String suffix;

    public Weird( String suffix )
    {
        this.suffix = suffix;
    }
}

根据上面的代码，suffix 的 第 4 行的错误是：

╔══════════╦═══════════════════════════════════════════════╗
║ Compiler ║                     Error                     ║
╠══════════╬═══════════════════════════════════════════════╣
║ ECJ      ║ Cannot reference a field before it is defined ║
║ JDK 9    ║ error: illegal forward reference              ║
╚══════════╩═══════════════════════════════════════════════╝

现在，如果我将 suffix 字段声明 移动到 声明 addSuffix 声明之前，看看相同的 class 会发生什么。

public class Weird
{
    private final String suffix;

    private final Function<String, String> addSuffix =
        text -> String.format( "%s.%s", text, this.suffix );

    public Weird( String suffix )
    {
        this.suffix = suffix;
    }
}

根据上面的代码，第 6 行 suffix 的错误是：

╔══════════╦════════════════════════════════════════════════════════════╗
║ Compiler ║                           Error                            ║
╠══════════╬════════════════════════════════════════════════════════════╣
║ ECJ      ║ The blank final field suffix may not have been initialized ║
║ JDK 9    ║ error: variable suffix might not have been initialized     ║
╚══════════╩════════════════════════════════════════════════════════════╝

Java 9 应该这样做吗？

这在 JDK 8 中工作得很好；突然强制执行似乎是一件奇怪的事情。特别是考虑到已经存在编译时检查以确保正确实例化最终字段。
因此，当函数 addSuffix 被访问时，需要成为 suffix (null 否则是另一回事).

我还会注意到我已经尝试了以下代码，它可以很好地编译 JDK9 和 ECJ:

public class Weird
{
    private final String suffix;

    private final Function<String, String> addSuffix =
        new Function<String, String>()
        {
            @Override
            public String apply( String text )
            {
                return String.format( "%s.%s", text, suffix );
            }
        };

    public Weird( String suffix )
    {
        this.suffix = suffix;
    }
}

看来在JDK 9中，匿名class声明和Lambda表达式之间有很大的区别。因此，在我们遇到编译器错误的情况下，至少 ECJ 准确地模仿了 JDK 9 编译器。

流和泛型问题

这个真的让我很吃惊，因为我想不出为什么编译器会解释这个与代码中的 Generic 所指示的有什么不同：

public class Weird
{
    public void makePDFnames( String [] names )
    {
        final List<String> messages = Arrays.asList( "nice_beard", "bro_ski" );

        final List<String> components = messages.stream()
            .flatMap( s -> Stream.of( s.split( "_" ) ) )
            .collect( Collectors.toList() );
    }
}

这段代码给出了这些错误：

╔══════════╦═══════════════════════════════════════════════════════════════════════╗
║ Compiler ║                                 Error                                 ║
╠══════════╬═══════════════════════════════════════════════════════════════════════╣
║ ECJ      ║ Type mismatch: cannot convert from List<Serializable> to List<String> ║
║ JDK 9    ║ NO ERROR. Compiles fine!                                              ║
╚══════════╩═══════════════════════════════════════════════════════════════════════╝

鉴于此信息，它出现在这个案例中，ECJ 没有正确模仿 JDK 9 是错误的，这只是一个 Eclipse 错误。

Answer 1

首先，如果您阅读了您链接的错误报告，ECJ 不会 "adopt the attitude" JDK 9 编译器。两个编译器都有一个错误，其中一个在 JDK 9 中修复，另一个在 Neon 中修复。

在 Eclipse Mars 和 Java 8 中，lambda 字段都无法为我编译。这很有道理，因为它可能违反了 final 字段的不变性保证。令人惊讶的是匿名子类编译成功。考虑这个例子：

public static class Weird
{
    private final String suffix;

    private final Function<String, String> addSuffix = new Function<String, String>() {
        @Override
        public String apply(String text) {
            return String.format( "%s.%s", text, suffix );
        }
    };

    public final String s = addSuffix.apply("1");

    public static void main(String[] args) {
        System.out.println(new Weird("p").s);
        // 1.null (!!)
    }
}

我怀疑以上可能是两个编译器中的错误。

至于流错误，相同的代码也在 Java 8 中编译。所以这可能只是另一个 ECJ 错误，与 Java 9.

无关

可能相关：

Java: Why no warning when referencing a field before it is defined?

Answer 2

我不确定这是否解决了这个问题，但实际上在编译代码之前必须使用构造函数或赋值运算符初始化 final 字段成员：

class A
{
     private final String suffix = null;
}

JDK 9 是否应该不允许在覆盖方法中引用最终字段的 Lambda 表达式实例化？

Should JDK 9 not allow Lambda Expression instantiation where final fields are referenced in the overridden method?

java

eclipse

ecj

java-9

eclipse-neon

Lambda 表达式声明作为字段的问题

Java 9 应该这样做吗？

流和泛型问题