java - 有没有办法在jshell中对顶级函数使用方法引用？

Question

假设我在 jshell 中这样做:

jshell> void printIsEven(int i) {
   ...>     System.out.println(i % 2 == 0);
   ...> }
|  created method printIsEven(int)

jshell> List<Integer> l = Arrays.asList(7,5,4,8,5,9);
l ==> [7, 5, 4, 8, 5, 9]

jshell> l.forEach(/* ??? */); // is it possible to use a method reference here?

在普通程序中，我可以在非静态上下文中编写 l.forEach(this::printIsEven) 或在 l.forEach(MyClass::printIsEven) 中名为 MyClass 的类的静态上下文。

在 jshell 中使用 this::printIsEven 不起作用，因为 jshell 在静态上下文中执行语句，但是你不能使用静态方法引用，因为没有类名作为前缀 ::printIsEven，而尝试 l.forEach(::printIsEven) 只是一个语法错误。

Answer 1

您可以为此创建一个新类:

jshell> class Foo { static void printIsEven(int i) {
   ...>     System.out.println(i % 2 == 0);
   ...> }}
|  created class Foo

jshell> Arrays.asList(1,2,3).forEach(Foo::printIsEven)
false
true
false

从技术上讲它不再是顶级功能，但它达到了预期的效果。

现在，如果您知道这些但仍想引用顶级方法...

据我所知，为 shell 保存“状态”的“顶级类”是 jdk.jshell.JShell，但是 jdk.jshell.JShell::printIsEven 导致 Error: invalid method reference。您已经提到不可能将顶级方法设为静态(顶级声明中不允许修饰符“static”，已忽略)。

快速查看 JEP 后，似乎是故意的。 它实际上提到了上面的“define-static-method-in-new-class”方法。

我猜测顶级“类”需要特殊的魔法才能重新定义方法和其他顶级声明，并且限制可能来自JVM 自身在运行时重新定义类/方法能力方面的局限性。 The source很有趣，但我无法从中得出有意义的答案。

---

编辑:所以，我有点忘乎所以了。这是你的错。
我仍然认为不可能在 jshell 中获得对顶级方法的方法引用，但是......我之前对原因的猜测可能是错误的。

下面显示在 jshell 中，当您“重新定义”一个类时，旧类仍然存在:评估上下文只是移动一些映射以解析对新类定义的进一步引用。

jshell> class A { static int v=1; void m() { System.out.println(getClass() + " v=" + v); } }
|  created class A

jshell> new A().m()
class REPL.$JShell$11$A v=1

// Changing static value of "v"
jshell> class A { static int v=2; void m() { System.out.println(getClass() + " v=" + v); } }
|  modified class A

// Actually not modified, this is still the same class (and as a result the static init of v has not been reexecuted, so, still 1)
jshell> new A().m()
class REPL.$JShell$11$A v=1

// Let's add a boolean field to change the structure
jshell> class A { static int v=3; boolean x=false; void m() { System.out.println(getClass() + " v=" + v); } }
|  replaced class A

// Notice new class name:
jshell> new A().m()
class REPL.$JShell$11B$A v=3

// But old version is still there, only hidden a bit by evaluation context:
jshell> Class.forName("REPL.$JShell$11$A").getDeclaredField("v").getInt(null)
$7 ==> 1

jshell> Class.forName("REPL.$JShell$11B$A").getDeclaredField("v").getInt(null)
$8 ==> 3

所以这个小演示表明它与类重新定义的 JVM 内部无关，因为这里没有发生这样的事情。

然后我想查看所有加载类的列表:

jshell> Class c = Thread.currentThread().getContextClassLoader().getClass()
c ==> class jdk.jshell.execution.DefaultLoaderDelegate$RemoteClassLoader

jshell> while (c != java.lang.ClassLoader.class) { c = c.getSuperclass(); System.out.println(c); }
class java.net.URLClassLoader
class java.security.SecureClassLoader
class java.lang.ClassLoader

jshell> c.getDeclaredField("classes").setAccessible(true)
|  java.lang.reflect.InaccessibleObjectException thrown: Unable to make field private final java.util.Vector java.lang.ClassLoader.classes accessible: module java.base does not "opens java.lang" to unnamed module @7494e528
|        at AccessibleObject.checkCanSetAccessible (AccessibleObject.java:337)
|        at AccessibleObject.checkCanSetAccessible (AccessibleObject.java:281)
|        at Field.checkCanSetAccessible (Field.java:175)
|        at Field.setAccessible (Field.java:169)
|        at (#26:1)

啊，是的，Java 9 模块......该死的 :)

哦，好吧，今天就这些。