ریکارڈز اور سیلڈ کلاسز کیا ہیں؟

Question

Accepted Answer

**ریکارڈز** (Java 16+) مختصر، غیر تبدیل ہونے والے ڈیٹا کیرئیرز ہیں جو خود بخود boilerplate کوڈ تیار کرتے ہیں، اور **سیلڈ کلاسز** (Java 17+) اس بات کو محدود کرتے ہیں کہ کون سی کلاسز کسی ٹائپ کو extend/implement کر سکتی ہیں۔ یہ دونوں جدید خصوصیات ہیں جو Java کو زیادہ تاثیر انگیز بناتی ہیں اور بہتر ماڈلنگ کو ممکن بناتی ہیں۔

## ریکارڈز — غیر تبدیل ہونے والا ڈیٹا، کوئی boilerplate نہیں

```java
// ❌ a traditional data class needs ~40 lines of boilerplate
// (fields, constructor, getters, equals, hashCode, toString)

// ✅ a record generates ALL of that automatically
public record Point(int x, int y) {}

Point p = new Point(3, 4);
p.x();              // 3 — accessor (note: x(), not getX())
p.equals(new Point(3, 4));   // true — equals() generated
p;                  // Point[x=3, y=4] — toString() generated
p.hashCode();       // generated, consistent with equals
```

ایک ریکارڈ خود بخود اپنے اجزاء سے constructor، accessors، `equals()`، `hashCode()`، اور `toString()` تیار کرتا ہے۔ فیلڈز **final** (غیر تبدیل ہونے والے) ہوتے ہیں — ریکارڈز شفاف، غیر تبدیل ہونے والے ڈیٹا کیرئیرز کے لیے ڈیزائن کیے گئے ہیں (DTOs، ویلیو آبجیکٹس، کوآرڈینیٹس)۔

## ریکارڈز میں تصدیق اور طریقے ہو سکتے ہیں

```java
public record Range(int min, int max) {
    public Range {                          // compact constructor — validate
        if (min > max) throw new IllegalArgumentException("min > max");
    }
    public int size() { return max - min; }  // can add methods
}
```

## سیلڈ کلاسز — کنٹرول شدہ وراثت

```java
// restrict WHO can extend/implement — only the named classes
public sealed interface Shape permits Circle, Square, Triangle {}

public final class Circle implements Shape { double radius; }
public final class Square implements Shape { double side; }
public final class Triangle implements Shape { double base, height; }
// no other class can implement Shape
```

ایک `sealed` ٹائپ واضح طور پر اپنی منظور شدہ sub-types کی فہرست دیتا ہے — آپ کوڈ نفاذ کا مکمل سیٹ کنٹرول کرتے ہیں، جسے compiler نافذ کرتا ہے۔ یہ ایک **بند پابندی کردہ ہائراکی** (fixed، معلوم شدہ variants کا سیٹ) کو ماڈل کرتا ہے۔

## سیلڈ + ریکارڈز + pattern matching = طاقتور ماڈلنگ

```java
// the compiler KNOWS all the cases → exhaustive switch (no default needed)
double area = switch (shape) {
    case Circle c -> Math.PI * c.radius() * c.radius();
    case Square s -> s.side() * s.side();
    case Triangle t -> 0.5 * t.base() * t.height();
    // no default needed — sealed guarantees these are ALL the cases
};
```

کیونکہ سیلڈ ٹائپ کی sub-types معلوم اور محدود ہیں، compiler یقینی بناتا ہے کہ `switch` **جامع** ہے — لاپتہ cases کو پکڑتا ہے۔ ریکارڈز اور pattern matching کے ساتھ ملا کر، یہ Java میں algebraic-data-type انداز کی ماڈلنگ لاتا ہے۔

## یہ اہم کیوں ہے

ریکارڈز اور سیلڈ کلاسز اہم جدید Java کی خصوصیات ہیں جو تاثیر اور حفاظت میں بہتری لاتی ہیں۔ **ریکارڈز** ڈیٹا کلاسز کے خستہ، غلطی کے قابل boilerplate کو ختم کرتے ہیں (اور صحیح، مطابقت پذیر `equals`/`hashCode` کی ضمانت دیتے ہیں — اس عام خرابی کو حل کرتے ہوئے) جبکہ غیر تبدیل ہونے کی حالت کو نافذ کرتے ہیں — DTOs، ویلیو آبجیکٹس، اور ڈیٹا ماڈلنگ کو بہت صاف بناتے ہوئے۔ **سیلڈ کلاسز** بند، کنٹرول شدہ ٹائپ پابندیوں کو ممکن بناتے ہیں جو compiler سمجھتا ہے، جو — ریکارڈز اور pattern-matching `switch` کے ساتھ — variants کے ایک محدود سیٹ کو جامع، ٹائپ-محفوظ طریقے سے ہینڈل کرنے کی اجازت دیتا ہے (algebraic data types)۔

ایک ساتھ وہ Java کو زیادہ مختصر، غیر تبدیل ہونے والے سے پہلے، اور محفوظ ڈومین ماڈلنگ میں قابل بناتے ہیں جسے پرانا Java حاصل کرنے کے لیے بہت زیادہ کوڈ چاہتا ہے۔

ان کو جاننا موجودہ Java کے ساتھ روانی کو ظاہر کرتا ہے اور صاف، زیادہ مضبوط ڈیزائنز کو ممکن بناتا ہے جو پرانا Java حاصل کرنے کے لیے بہت زیادہ کوڈ چاہتا تھا۔