Exception handling اور checked/unchecked فرق کیسے کام کرتا ہے؟

Question

Accepted Answer

Java errors کو **`try`/`catch`/`finally`** سے handle کرتا ہے، اور منفرد طریقے سے **checked** exceptions (لازمی طور پر declared یا handled ہونے چاہئیں) کو **unchecked** exceptions (runtime، enforce نہیں ہوتے) سے الگ کرتا ہے۔ یہ فرق Java error handling کا مرکز ہے۔

## بنیادی ڈھانچہ

```java
try {
    FileReader f = new FileReader("file.txt");   // may throw IOException
    // ... use it ...
} catch (FileNotFoundException e) {
    System.out.println("not found: " + e.getMessage()); // specific first
} catch (IOException e) {
    System.out.println("io error");                      // broader after
} finally {
    System.out.println("always runs — cleanup");         // runs no matter what
}
```

`finally` ہمیشہ execute ہوتا ہے (cleanup)، چاہے exception throw ہو یا `return` ہو۔

## Exception hierarchy

```text
Throwable
  ├── Error            — serious JVM problems (OutOfMemoryError) — don't catch
  └── Exception
        ├── RuntimeException  → UNCHECKED (not enforced by the compiler)
        │     NullPointerException, IllegalArgumentException, IndexOutOfBounds...
        └── (other Exceptions) → CHECKED (compiler enforces handling)
              IOException, SQLException...
```

## Checked exceptions — compiler سے enforce شدہ

```java
// MUST either catch it or declare `throws` — the compiler won't let you ignore it
public void readFile() throws IOException {   // declare it
    Files.readAllLines(Paths.get("file.txt")); // throws checked IOException
}
```

**Checked** exceptions (IOException، SQLException) قابلِ بحالی، متوقع حالات کی نمائندگی کرتے ہیں (file موجود نہ ہو، network ناکام ہو)۔ Compiler آپ کو انہیں handle یا declare کرنے پر *مجبور* کرتا ہے — بیرونی ناکامی کو واضح بناتے ہوئے۔

## Unchecked exceptions — runtime، enforce نہیں

```java
// NOT required to declare or catch — usually indicate PROGRAMMING BUGS
String s = null;
s.length();                       // NullPointerException (unchecked)
int x = arr[10];                   // ArrayIndexOutOfBoundsException (unchecked)
Integer.parseInt("abc");           // NumberFormatException (unchecked)
```

**Unchecked** (RuntimeException subclasses) عام طور پر programming errors کو ظاہر کرتے ہیں — آپ bug کو ہر جگہ catch کرنے کی بجائے ٹھیک کرتے ہیں۔ Compiler handling کو force نہیں کرتا۔

## try-with-resources (خودکار cleanup)

```java
// resources implementing AutoCloseable are closed automatically
try (FileReader f = new FileReader("file.txt")) {
    // use f
}   // f.close() called automatically, even on exception — no finally needed
```

## بہترین طریقے

```text
✓ Catch specific exceptions, not bare Exception
✓ Use try-with-resources for files/connections (auto-close)
✓ Don't swallow exceptions silently (empty catch blocks)
✓ Throw meaningful exceptions; include context in messages
✓ Custom exceptions extend Exception (checked) or RuntimeException (unchecked)
```

## اہمیت

مضبوط error handling ضروری ہے، اور Java کی **checked/unchecked distinction ایک منفرد (اور بحث کا موضوع) خصوصیت ہے** جو گہرائی سے سمجھنے کے قابل ہے۔

Checked exceptions متوقع بیرونی ناکامیوں (I/O، DB) کی explicit handling کو force کرتے ہیں — قابلِ اعتماد بناتے ہوئے لیکن کبھی کبھی verbose ہونے کی تنقید کی جاتی ہے؛ unchecked exceptions bugs کی نمائندگی کرتے ہیں جنہیں routine طور پر catch کرنے کی بجائے ٹھیک کیا جائے۔

Hierarchy، ہر قسم کب لاگو ہوتی ہے، `try/catch/finally` semantics، اور جدید **try-with-resources** خودکار cleanup کے لیے جاننا صحیح، قابلِ اعتماد Java لکھنے کے لیے بنیادی ہے — اور اپنی exceptions کو مناسب طریقے سے design کرنے کے لیے۔

یہ فرق کیسے Java APIs کو design کیا جاتا ہے اس کو متاثر کرتا ہے اور interview اور code-review کا بار بار آنے والا موضوع ہے۔