Для того, чтобы он используется try. finally без статьи catch?

Контракты - общая концепция в рисунке и анализе исправления алгоритмов. Концепция состоит в том, что функции, методы или другие единицы наших программ должны иметь:

• Предварительные условия: Условия, которые llamantes должны поставлять заранее для того, чтобы метод произвел правильные результаты;
• Постусловия: Условия, которые (данные предварительные условия) метод обещает, встретятся, когда он возвратится;
• Неварианты: Условия, что метод обещает, что он не затронет — они будут верными или фальшивыми, возвратившись если и только, если это это были, войдя.

В этой раме, try { ... } finally { ... } это полезное сооружение для того, чтобы наш код смог гарантировать постусловия даже если встретились исключения внутри блока try { ... } или в любом методе, призванном внутри этого блока. Ввиду того, что команды внутри блока finally { ... } всегда они будут работать, исключение или нет, общо помещать там код, который гарантирует постусловия.

Примеры "чистоты", которую другие дали, падают внутри этой рамы. Идея, чем в этих примерах:

1. Используется ресурс такие как файл или связь в базу данных;
2. Существуй постусловие, которое вынуждает к коду примера гарантировать, что ресурс закроется, не важно, чтобы он произошел в Вашем использовании.

Это было использование больше общо finally в старых версиях Java. В Java 7 ввел новое сооружение, названное "try with resources," который он искажает try { ... } finally { ... } в Ваших самых общих использованиях:

try (OutputStream out = ...) {
    // usar el OutputStream `out`
} // postcondición: `out` ha sido cerrado

Другой класс примера - с программными средствами синхронизации между трэдами ("threads"). В пакете java.util.concurrent.locks существуют несколько классов замков ("locks"), что обычно используются с try {...} finally {...}:

Lock l = ...;
l.lock();
try {
    // Entre los hilos que comparten la cerradura `l`, sólo uno
    // puede entrar en este bloque a la vez.
} finally {
    l.unlock();
}  // postcondición: la cerradura está abierta

Но нужно нажимать снова концепцию постусловий. В конце концов, try { ... } finally { ... } это не специально механизм "чистоты" а общего инструмента, чтобы облегчать состав правильных программ. Так что у него есть другие использования, еще, если гораздо менее общие, чем эти два.

Нужно добавлять другой тип примеров. Частая причина ошибок программирования - ранний вывод ("early return") функции или метода. Типичные случаи - нечто похожее:

public LoQueSea miMétodo(Desto algo, Coso queSéYo) {
    // muchas lineas...

    if (noSéQué()) {
        return new LoQueSea(algo);  // salida temprana
    } 

    // muchas más lineas...

    cosaQueSiempreTieneQuePasar(queSéYo);
    return new LoQueSea(algo.con(queSéYo));
}

Предполагая, что всегда нам необходимо называть метод cosaQueSiempreTieneQuePasar(), у этого примера есть ошибка: когда noSéQué() возвратись с true мы выходим ранними и забываем позвонить cosaQueSiempreTieneQuePasar(). Решение во многих случаях - следующее:

public LoQueSea miMétodo(Desto algo, Coso queSéYo) {
    try {
        // muchas lineas...

        if (noSéQué()) {
            return new LoQueSea(algo);  // salida temprana
        } 

        // muchas más lineas...
        return new LoQueSea(algo.con(queSéYo));
    } finally {
        // Este bloque se ejecuta siempre, aun si hay 
        // salida temprana.
        cosaQueSiempreTieneQuePasar(queSéYo);
    }
}

И здесь удар шаром закрепит, что, несмотря на то, что много ответов упомянули об исключениях как мотив для try {...} finally {...}, этот пример показывает, что мы можем сталкиваться с проблемами даже, если нет исключений. Другие примеры возможные с break и continue в структурах повторения как for (...) {...}.

Или скорее, исключения, return рано, break и continue они есть что-то общим — ранний вывод блока кода — и finally это общее решение для проблем, которые вызывают все эти.