Объясните, что такое проверяемые исключения и как они используются в программировании

Проверяемые исключения (checked exceptions) — это тип исключений в языках программирования, таких как Java, которые компилятор требует явно обрабатывать или объявлять в сигнатуре метода. Если метод может выбросить проверяемое исключение, то вызывающий код обязан либо обработать его в блоке try-catch, либо объявить это исключение в своем throws.

Это помогает сделать код более надежным, так как программист вынужден продумать обработку возможных ошибок, например, ошибок ввода-вывода или проблем с сетью.

Пример в Java:

public void readFile(String path) throws IOException {
    FileReader file = new FileReader(path);
    // ... чтение файла
}

public void process() {
    try {
        readFile("data.txt");
    } catch (IOException e) {
        e.printStackTrace();
    }
}

Здесь IOException — проверяемое исключение, и его нужно либо обработать, либо объявить.