为什么使用“newInstance（）”方法创建字符串与使用显式类型“字符串”相比，使用“var”时的行为不同？

Question

我正在学习Java中的反射。偶然间，我发现了以下，对我来说意想不到的行为。

下面编写两个测试都成功。

    class NewInstanceUsingReflection {

        @Test
        void testClassNewInstance() throws NoSuchMethodException, InvocationTargetException, InstantiationException, IllegalAccessException {
            final var input = "A string";
            final var theClass = input.getClass();
            final var constructor = theClass.getConstructor();
            final String newString = constructor.newInstance();

            assertEquals("", newString);
        }

        @Test
        void testClassNewInstanceWithVarOnly() throws NoSuchMethodException, InvocationTargetException, InstantiationException, IllegalAccessException {
            final var input = "A string";
            final var theClass = input.getClass();
            final var constructor = theClass.getConstructor();
            final var newString = constructor.newInstance();

            assertEquals("A string", newString);
        }

    }

除了断言之外，唯一的区别是< code>newString变量类型在第一个测试中是显式的，在第二个测试中被声明为< code>var。

我使用的是 java 17 和 junit5 测试框架。

为什么newString的值在第一次测试中是空字符串，而输入字符串值在第二次测试中？

它与字符串池有关吗？

还是另有隐情？

Answer 1

Java17，同样的问题。解释很清楚：错误。

反编译它，相关部分：

        20: anewarray     #2                  // class java/lang/Object
        23: invokevirtual #35                 // Method java/lang/reflect/Constructor.newInstance:([Ljava/lang/Object;)Ljava/lang/Object;
        26: checkcast     #41                 // class java/lang/String
        29: astore        4
        31: ldc           #23                 // String A string
        33: ldc           #23                 // String A string
        35: invokevirtual #43                 // Method java/lang/String.equals:(Ljava/lang/Object;)Z

< code>astore 4是结果所在的位置，它不在任何位置:插槽4不再被使用。相反，同一个字符串常量被加载了两次，这实际上导致了< code >“一个字符串”。equals("A string")，当然< code>true。

将 var 替换为字符串，重新编译并重新运行 javap：

        20: anewarray     #2                  // class java/lang/Object
        23: invokevirtual #35                 // Method java/lang/reflect/Constructor.newInstance:([Ljava/lang/Object;)Ljava/lang/Object;
        26: checkcast     #41                 // class java/lang/String
        29: astore        4
        31: ldc           #23                 // String A string
        33: aload         4
        35: invokevirtual #43                 // Method java/lang/String.equals:(Ljava/lang/Object;)Z

除了第二个< code>ldc是正确的< code>aload 4之外，其他方面都相同。

我很难弄清楚这里发生了什么。感觉更像是var以某种方式导致该ldc重复（与错误地认为值保证相同的分析相反，javac故意很少进行此类优化）。

我真的很难弄清楚这是如何在2 LTS版本。令人难忘的发现。

下一步是在最新的JDK (18)上验证，然后归档一个bug。我快速浏览了一下是否已经有报道，但我不确定该用什么搜索词。不过，我在搜索中没有找到任何报告。

注意：反编译跟踪是使用javap-c-v NewInstanceUsingReflection生成的。

编辑：刚刚在ecj上尝试过（适用于Java的Eclipse编译器（TM）v20210223-0522，3.25.0，版权所有IBM公司2000，2020。保留所有权利。- 错误不会发生在那里。