LBYL против EAFP в Java?

Лично я считаю, что это подтверждено условностями, EAFP никогда не подходит. Вы можете рассматривать это как эквивалент следующего:

if (o != null)
    o.doSomething();
else
    // handle

в отличие от:

try {
    o.doSomething()
}
catch (NullPointerException npe) { 
    // handle
}

Кроме того, учтите следующее:

if (a != null)
    if (b != null)
        if (c != null)
            a.getB().getC().doSomething();
        else
            // handle c null
    else
        // handle b null
else
    // handle a null

Это может выглядеть намного менее элегантно (и да, это грубый пример - несите меня), но он дает вам гораздо большую детализацию при обработке ошибки, в отличие от того, чтобы обернуть все это в try-catch, чтобы получить этот NullPointerException, и затем попытайтесь выяснить, где и почему вы его взяли.

На мой взгляд, EAFP никогда не следует использовать, за исключением редких ситуаций. Кроме того, поскольку вы подняли вопрос: да, блок try-catch вызывает некоторые накладные расходы, даже если исключение не создано.

Исключения обрабатываются более эффективно в Python, чем в Java, что, по крайней мере, составляет частично, почему вы видите эту конструкцию в Python. В Java более неэффективно (с точки зрения производительности) использовать исключения таким образом.

Если вы обращаетесь к файлам, EAFP более надежен, чем LBYL, потому что операции, задействованные в LBYL, не являются атомарными, и файловая система может измениться между временем, когда вы смотрите, и временем, когда вы прыгаете. Собственно, стандартное название - TOCTOU - Time of Check, Time of Use; ошибки, вызванные неточной проверкой, являются ошибками TOCTOU.

Рассмотрите возможность создания временного файла, который должен иметь уникальное имя. Лучший способ узнать, существует ли выбранное имя файла еще, - это попытаться создать его - убедитесь, что вы используете параметры, гарантирующие, что ваша операция завершится неудачно, если файл уже существует (в терминах POSIX / Unix, флаг O_EXCL для open()). Если вы попытаетесь проверить, существует ли уже файл (возможно, с помощью access()), то между моментом, когда будет сказано «Нет», и временем, когда вы попытаетесь создать файл, кто-то или что-то еще могло создать файл.

И наоборот, предположим, что вы пытаетесь прочитать существующий файл. Ваша проверка того, что файл существует (LBYL), может сказать «он есть», но когда вы действительно открываете его, вы обнаруживаете, что «его там нет».

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

(Если вы возитесь с программами SUID или SGID, access() задает другой вопрос; он может иметь отношение к LBYL, но код все равно должен учитывать возможность сбоя.)

Помимо относительной стоимости исключений в Python и Java, имейте в виду, что между ними существует разница в философии / подходе. Java пытается быть очень строгим в отношении типов (и всего остального), требуя явных, подробных объявлений сигнатур классов / методов. Предполагается, что в любой момент вы должны точно знать, какой тип объекта вы используете и на что он способен. Напротив, «утиная типизация» в Python означает, что вы не знаете наверняка (и не должны заботиться), какой тип манифеста является объектом, вам нужно только позаботиться о том, чтобы он крякал, когда вы его об этом просите. В такой благоприятной среде единственное разумное отношение - предполагать, что что-то сработает, но быть готовым иметь дело с последствиями, если они этого не сделают. Естественная ограниченность Java не подходит для такого случайного подхода. (Это не призвано принижать ни подход, ни язык, а скорее сказать, что такое отношение является частью идиомы каждого языка, и копирование идиом между разными языками часто может приводить к неловкости и плохому общению ...)

Рассмотрим эти фрагменты кода:

def int_or_default(x, default=0):
    if x.isdigit():
        return int(x)
    else:
        return default

def int_or_default(x, default=0):
    try:
        return int(x)
    except ValueError:
        return default

Они оба выглядят правильно, правда? Но одного из них нет.

Первый, использующий LBYL, терпит неудачу из-за тонкого различия между isdigit и isdecimal; при вызове со строкой «²³?₅» он выдаст ошибку, а не вернет значение по умолчанию.

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

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

Стоит отметить, что EAFTP не об исключениях, и особенно код Java, не должен использовать исключения повсеместно. Речь идет о том, чтобы дать правильную работу правильному блоку кода. Например, использование возвращаемых значений Optional - это совершенно правильный способ написания кода EAFTP, который намного эффективнее для обеспечения правильности, чем LBYL.