ДобрыйЧеловекВ Java несколько иначе. Нужно явно указать, что метод может породить исключение, не обработав его или сгенерировав самостоятельно в каких-то условиях. Почему так?

В java есть 3 типа исключений.

1. Внутренние ошибки jvm. Нормальные люди не обрабатывают. Типа out of memory, ошибки чётности и т.п. RuntimeError и наследники.

2. Ошибки программы. Деление на 0, ошибка преобразования типа и т.п. Можно ронять программу, если встретилось- ошибка же, не факт, то работать можно. RuntimeException и наследники.

3. Ошибки ВНЕШНЕГО мира. Сеть, диск. Они естественным образом возникают при работе программы- сервер недоступен, место на диске закончилось, нет прав записи в этот каталог и т.п. Их надо корректно обрабатывать- повторить запрос, уточнить у пользователя путь, предложить почистить диск. И чтобы программист не забыл- их сделали checked - т.е. метод не может их кинуть, не объявив в throws. А при вызове его- либо обработать, либо явно сказать, что оно вылетит. Либо, если вылетать не должно- превратить в RuntimeException.

Интересная особенность- реализация интерфейса не может добавить checked exception ;)
Что правильно, но иногда напрягает.

При дизайне иногда бывают ошибки, что куда кидать- например NumberFormatException скорее должно быть checked.

Почему-то многие разработчики считают, что checked exception не нужны. Да, наследуют свои ошибки от RuntimeException. В C# вообще отказались от них (т.е. Хейлсберг тоже считает checked exception лишними). По мне- так хорошая штука, хотя заставляет думать о себе...