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

Метка в Java относится только к оператору, который непосредственно следует за ней. Оператор break с этой меткой завершает именно этот оператор целиком, поэтому метка внешнего цикла позволяет выйти из него из тела вложенного цикла.

Метка не является произвольным переходом по программе: нельзя перейти внутрь другого блока или использовать метку за пределами её охватывающего оператора.

Исторический контекст

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

При этом Java намеренно не предоставляет произвольный оператор goto. Переход ограничен выходом из охватывающего оператора через break, что сохраняет структурированность управления.

Постановка проблемы

Обычный break завершает только ближайший цикл или switch. Если нужный внешний цикл находится за несколькими вложенными конструкциями, попытка использовать несколько break усложняет логику и может привести к ошибкам при изменении структуры кода.

Типичные альтернативы — булев флаг, дополнительный метод с return или исключение. Флаг увеличивает количество состояний, исключение искажает семантику обычного управления, а выделение метода иногда меняет удобную область видимости локальных переменных.

Подробное решение

Метка записывается перед оператором, например внешним циклом. break с указанием этой метки передаёт управление на оператор, следующий за помеченным оператором, полностью прекращая его выполнение.

public static void find(int[][] matrix, int target) {
    search:
    for (int row = 0; row < matrix.length; row++) {
        for (int column = 0; column < matrix[row].length; column++) {
            if (matrix[row][column] == target) {
                System.out.println("Найдено");
                break search;
            }
        }
    }
}

В примере break search завершает внешний цикл, а не только внутренний. После этого выполняется код, расположенный за внешним циклом.

Метка может обозначать не только цикл, но и любой оператор, включая блок. Однако continue с меткой разрешён только для помеченного цикла: он завершает текущую итерацию этого цикла и передаёт управление к его следующей итерации.

Имя метки должно находиться в области видимости из места применения break. Если подходящей охватывающей метки нет или она обозначает недопустимую для continue конструкцию, программа не скомпилируется.

При выходе через break выполняются конструкции finally, расположенные на пути выхода. Это правило не превращает метку в механизм обхода очистки ресурсов.

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

Ситуация из практики

При поиске элемента в матрице нужно немедленно завершить оба цикла после первого совпадения. Рассматривались три варианта: флаг, исключение и метка.

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

Для короткого локального поиска выбрана одна метка с говорящим именем. Она явно показывает границу выхода и не создаёт лишнего состояния. Если алгоритм стал длинным или содержит несколько таких переходов, предпочтительнее выделить отдельный метод и вернуть результат явно.

Что кандидаты часто упускают

Можно ли пометить блок, а не цикл?

Да. Метка может обозначать любой оператор, в том числе обычный блок. break с такой меткой завершит этот блок. Это полезно для выхода из последовательности альтернативных действий, но чрезмерное использование превращает код в трудно читаемую замену произвольным переходам.

Завершает ли break с меткой только внешний цикл?

Нет, он завершает весь помеченный оператор. Если метка относится к блоку, будет завершён блок; если к циклу — цикл целиком; если к switch — соответствующий switch. Поэтому область действия определяется не расстоянием до цикла, а тем, какой оператор непосредственно помечен.

Что происходит с finally при выходе через метку?

break является способом нормального, но досрочного завершения управления. Перед передачей управления наружу Java выполняет подходящие блоки finally, расположенные между местом break и точкой назначения. Исключение составляют ситуации вроде принудительного завершения виртуальной машины, когда обычная семантика выполнения не гарантируется.