Кратко

ExecutorService имеет и submit(Callable) и submit(Runnable) методы.

1. В первом случае (с while (true)), и submit(Callable) и submit(Runnable) соответствие, таким образом, компилятор должен выбрать между ними
   • submit(Callable), предпочтено submit(Runnable), потому что Callable более конкретны , чем [1 111]
   • Callable, имеет throws Exception в [1 114], таким образом, не необходимо поймать исключение в нем
2. Во втором случае (с while (tasksObserving)) только [1 116] соответствие, таким образом, компилятор выбирает, это
   • Runnable не имеет никакого throws объявление по run() метод, таким образом, это - ошибка компиляции для не ловли исключения в run() метод.

полная история

Спецификация языка Java описывает, как метод выбран во время компиляции программы в [1 156] 15.2.2$ :

1. Определяют Потенциально Применимые Методы ( 15.12.2.1$ ), который сделан в 3 фазах для строгого, свободного и переменного вызова арности
2. , Выбирают Most Specific Method ( 15.12.2.5$ ) из методов, найденных на первом шаге.

Позволяют нам проанализировать ситуацию с 2 submit() методы в двух фрагментах кода, обеспеченных OP:

ExecutorService executor = Executors.newSingleThreadExecutor();
    executor.submit(() -> {
        while(true)
        {
            //DO SOMETHING
            Thread.sleep(5000);
        }
    });

и

ExecutorService executor = Executors.newSingleThreadExecutor();
    executor.submit(() -> {
        while(tasksObserving)
        {
            //DO SOMETHING
            Thread.sleep(5000);
        }
    });

(где tasksObserving не последняя переменная).

Определяют Потенциально Применимые Методы

Первый, компилятор должен определить потенциально применимые методы : 15.12.2.1$

, Если участник является фиксированным методом арности с арностью n, арностью вызова метода, равны n, и для всего, что я (1 в‰ i ¤ в‰ ¤ n), i'th аргумент вызова метода потенциально совместим , как определено ниже, с типом i'th параметра метода.

и немного далее в том же разделе

выражение потенциально совместимо с целевым типом согласно следующим правилам:

лямбда-выражение А (В§15.27) потенциально совместимо с функциональным интерфейсным типом (В§9.8), если все следующее верно:

арность функционального типа целевого типа совпадает с арностью лямбда-выражения.

, Если функциональный тип целевого типа имеет пустой возврат, то тело лямбды является или выражением оператора (В§14.8) или совместимым с пустотой блоком (В§15.27.2).

, Если функциональный тип целевого типа имеет (непустой) тип возврата, то тело лямбды является или выражением или совместимым со значением блоком (В§15.27.2).

Позволяют нам отметить, что в обоих случаях, лямбда является лямбдой блока.

Позволяют нам также отметить, что Runnable имеет void тип возврата, таким образом, чтобы быть потенциально совместима с [1 125], лямбда блока должна быть совместимый с пустотой блок . В то же время, Callable имеет непустой тип возврата, так чтобы быть потенциально comtatible с [1 127], лямбда блока должна быть совместимый со значением блок .

15.27.2$ определяют, каков пустой совместимый блок и совместимый блок значения .

тело лямбды блока А совместимо с пустотой, если каждый оператор возврата в блоке имеет форму return;.

тело лямбды блока А совместимо со значением, если оно не может обычно завершаться (В§14.21), и каждый оператор возврата в блоке имеет форму return Expression;.

Позволяют нам посмотреть на 14,21$, абзац приблизительно [1 130] цикл:

Некоторое время оператор может обычно завершать эквивалентность, по крайней мере одно из следующего верно:

, в то время как оператор достижим и выражение условия не является константным выражением (В§15.28) с верным значением.

существует достижимый оператор завершения, который выходит в то время как оператор.

В borh случаях, лямбды являются на самом деле лямбдами блока.

В первом случае, как это видно, существует while цикл с константным выражением со значением true (без [1 133] операторы), таким образом, это не может обычно завершаться (на 14,21$); также это не имеет никаких операторов возврата, следовательно первая лямбда совместима со значением .

В то же время, нет никаких return операторы вообще, таким образом, это также совместимо с пустотой . Так, в конце, в первом случае, лямбда и пусто - и совместима со значением .

Во втором случае, while цикл может обычно завершаться с точки зрения компилятора (потому что выражение цикла больше не является константным выражением), таким образом, лямбда в целом может обычно завершаться , таким образом, это не совместимый со значением блок . Но это - все еще совместимый с пустотой блок , потому что это не содержит никакой return операторы.

промежуточный результат состоит в том, что в первом случае лямбда и совместимый с пустотой блок и совместимый со значением блок ; во втором случае это только [11 141] совместимый с пустотой блок .