Оператор return с выражением возвращает значение этого выражения. Тип cancel() является пустым выражением — оно не имеет значение.

Логически вы хотите выполнить cancel(), а затем вернуться - вот что вы должны сказать. Два действия (вызов cancel() и затем возврат) логически различны.

Теперь Java может иметь что-то вроде типа "unit" вместо void, но это повлияет на а не просто возвращаемые значения.

Это интересный вопрос. Поскольку java применяет тип возвращаемого значения (void — тип возвращаемого значения), ваше первое утверждение кажется логичным. Я бы принял это только за условность. Поскольку void является заполнителем, а не объектом, вероятно, было решено не использовать его для согласованности языка или простоты компилятора.

Из JLS

Оператор return без Expression должен содержаться в теле метода, объявленного с использованием ключевого слова void, не возвращающего никакого значения (§8.4), или в теле конструктора (§8.8).

дальше

Чтобы быть точным, оператор return без Expression всегда завершается внезапно, причиной является возврат без значения.

Это как писать:

void v = (void) 1;
return (v);

Итак, я думаю, что void не является type в Java. В C++ допустимо return cancel();. Как программист на C++, знакомый с Java, я могу ответить так: многие вещи не поддерживаются в синтаксисе Java. Может быть, для простоты или читабельности.

Примечание. Объявление void f() похоже на объявление procedure f() в паскале, и процедура не может возвращать никаких значений, таких как функции, поэтому мы должны вызывать их в отдельном операторе.

void не является типом. Если вы используете тип Void вместо void, ваш код будет работать, но: вам придется вручную return null во всех точках выхода из вашего метода.

Потому что вы не вернете void. void не является значением, поэтому его нельзя вернуть.

Это тавтология. Это означает, что void определяет, что метод не имеет возвращаемого значения. Следовательно, как вы можете «вернуть пустоту», если пустота вообще не является возвратом?

Краткий ответ

Оператор return cancel() должен возвращать допустимое значение, но объявление метода void run() объявляет, что run() не возвращает значение; следовательно, return cancel() в run() является ошибкой. Оператор return (без выражения) пытается передать управление вызывающему объекту и используется, когда тип возвращаемого значения метода равен void; следовательно, не ошибка.

Длинный ответ

JLS The *return* Statement указано:

Оператор return без выражения пытается передать управление инициатору метода или конструктора, который его содержит. [...] Оператор возврата с выражением должен содержаться в объявлении метода, который объявлен для возврата значения (§8.4), иначе возникает ошибка времени компиляции. Выражение должно обозначать переменную или значение некоторого типа T, иначе произойдет ошибка времени компиляции. Тип T должен быть присваиваемым (§5.2) объявленному типу результата метода, иначе возникает ошибка времени компиляции.

В разделе Method Return Type JLS указано:

Тип возвращаемого значения метода объявляет тип значения, которое возвращает метод, если он возвращает значение, или указывает, что метод недействителен. Объявление метода d1 с типом возвращаемого значения R1 является замещаемым по типу возвращаемого значения другим методом d2 с типом возвращаемого значения R2 тогда и только тогда, когда выполняются следующие условия: [...] * Если R1 недействителен, то R2 недействителен.

JLS Types, Values, and Variablesглава, первый абзац гласит:

Язык программирования Java является строго типизированным языком, что означает, что каждая переменная и каждое выражение имеют тип, который известен во время компиляции. Типы ограничивают значения, которые может содержать переменная (§4.12) или которые может создавать выражение, ограничивают операции, поддерживаемые этими значениями, и определяют значение операций.

В разделе The Kinds of Types and Values JLS указано:

В языке программирования Java существует два вида типов: примитивные типы (§4.2) и ссылочные типы (§4.3). Соответственно, существует два типа значений данных, которые могут храниться в переменных, передаваться в качестве аргументов, возвращаться методами и обрабатываться: примитивные значения (§4.2) и ссылочные значения (§4.3).

Теперь еще несколько цитат. В разделе Expression Statements JLS указано:

В отличие от C и C++, язык программирования Java позволяет использовать в качестве операторов выражений только определенные формы выражений. Обратите внимание, что язык программирования Java не допускает «приведения к пустоте» — void не является типом

В разделе Method Body JLS указано:

Если метод объявлен недействительным, то его тело не должно содержать оператора возврата (§14.17), содержащего выражение.

И, наконец, в разделе JLS Method Declarations говорится :

Объявление метода либо указывает тип значения, которое возвращает метод, либо использует ключевое слово void, чтобы указать, что метод не возвращает значение.

Теперь, когда мы собираем все это вместе, мы можем сделать следующий вывод:

• Если оператор return содержит выражение, выражение должно оцениваться как допустимое значение.
• Допустимое значение выражения return должно быть примитивным или ссылочным типом.
• void не является допустимым типом значения.
• Метод, объявленный с типом возвращаемого значения void, не возвращает значения.
• Метод void run() не возвращает значение.
• В run() return без выражения с радостью передаст управление вызывающей стороне.
• В run() return some expression является ошибкой, поскольку some expression должно быть допустимым значением, а run() не возвращает значение.

return x явно означает «вернуть значение x», независимо от того, какой это тип (тип, конечно, по-прежнему должен соответствовать возвращаемому типу любой функции, в которую помещен оператор).

void — это, строго говоря, отсутствие типа и, в более широком смысле, отсутствие значения, поэтому возвращать его не имеет смысла, как и не имеет смысла (и не является разрешено) для объявления переменной void.

Void не является реальным типом. Void — это просто заполнитель, чтобы сделать синтаксис определения методов более последовательным. Это не инновация Java; это унаследовано от C.

По этой причине компилятор не позволяет вам писать return cancel(), даже если метод cancel() является void.

void не является типом. void в определении метода — это просто заполнитель, который ничего не возвращает.

Интересная идея. Основная проблема заключается в спецификации языка, которая определяет оператор return как состоящий из return <expression>. Метод void не является выражением, поэтому конструкция не разрешена.

Вы обнаружили, что можете воспроизвести функциональность, выполнив метод void, а затем вернув его, поэтому нет никакой реальной причины разрешать это.

Из JLS:

Оператор return без выражения должен содержаться в теле метода, объявленного с использованием ключевого слова void, чтобы не возвращать никакого значения, или в теле конструктора.

...

Оператор return с Expression должен содержаться в объявлении метода, объявленного для возврата значения, иначе произойдет ошибка времени компиляции. Выражение должно обозначать переменную или значение некоторого типа T, иначе произойдет ошибка времени компиляции. Тип T должен быть присваиваемым объявленному типу результата метода, иначе произойдет ошибка времени компиляции.

грамматика Java на самом деле не заботится о тип вызова метода, так что это не проблема. Это должно быть что-то дальше по цепочке, в системе проверки типов. Я думаю, суть в том, что если грамматически необязательный оператор включен после ключевого слова return, то система ожидает передачи значения. void безусловно является типом, но нет значений с типом void.

Но, конечно, ничто из этого толком не объясняет ответ на ваш вопрос. Как вы указали, нет причин, по которым эту идиому нельзя допускать. Но и уважительной причины для этого нет. Так что это жеребьевка. Можно было бы попытаться объяснить, почему они сделали то, что сделали, но это, вероятно, было бы бессмысленно.

Правильный способ справиться с этим:

void run() {
...
if (done) {
    cancel();
    return;
    }
...
}