Есть ли способ использовать ссылки на методы для функций верхнего уровня в jshell?

Предположим, что я делаю это в 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.

Использование this::printIsEven в jshell не работает, потому что jshell выполняет инструкции в статическом контексте, но вы не можете использовать ссылку на статический метод, потому что нет имени класса для префикса ::printIsEven, а попытка l.forEach(::printIsEven) - это просто синтаксическая ошибка.

Ответ 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

Технически это уже не функция верхнего уровня, но она достигает желаемого эффекта.

Теперь, если вы знали это и все еще хотите ссылаться на методы верхнего уровня...

Насколько я могу судить, "класс верхнего уровня", который содержит "состояние" для оболочки, jdk.jshell.JShell, но jdk.jshell.JShell::printIsEven приводит к Error: invalid method reference. И вы уже упомянули, что невозможно сделать методы верхнего уровня статическими (Modifier 'static' not permitted in top-level declarations, ignored).

После быстрого просмотра JEP, это кажется преднамеренным. И он фактически упоминает подход "define-static-method-in-new-class" сверху.

Я предполагаю, что "класс" верхнего уровня нуждается в специальной магии, чтобы иметь возможность переопределять методы и другие объявления верхнего уровня, а ограничения могут возникать из собственных ограничений JVM в его способности переопределять классы/методы во время выполнения, Источник интересен, но я не могу получить от него значимый ответ.


Изменить: Итак, я как-то увлекся. Это ваша вина.
Я все еще думаю, что невозможно получить ссылку на метод верхнего уровня в 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 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... dammit:)

О, хорошо, что все будет на сегодня.