Records र sealed classes भनेको के हुन्?

Question

Accepted Answer

**Records** (Java 16+) संक्षिप्त, अपरिवर्तनीय डेटा वाहक हुन् जो स्वचालित रूपमा boilerplate उत्पन्न गर्छन्, र **sealed classes** (Java 17+) ले कुन वर्गहरूले एक प्रकारलाई विस्तार/लागू गर्न सक्छन् भन्ने कुरा सीमित गर्छन्। दुवै आधुनिक सुविधाहरू हुन् जसले Java लाई अधिक अभिव्यक्तिशील बनाउँछन् र राम्रो मडेलिङ सक्षम गर्छन्।

## Records — अपरिवर्तनीय डेटा, शून्य 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
```

एक record ले यसका घटकहरूबाट constructor, accessors, `equals()`, `hashCode()`, र `toString()` स्वचालित रूपमा उत्पन्न गर्छ। क्षेत्रहरू **final** हुन् (अपरिवर्तनीय) — records पारदर्शी, अपरिवर्तनीय डेटा वाहकहरूका लागि डिजाइन गरिएका हुन् (DTOs, value objects, coordinates)।

## Records मा validation र methods हुन सक्छ

```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
}
```

## Sealed classes — नियन्त्रित विरासत

```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` प्रकारले स्पष्टरूपमा यसको अनुमत subtypes सूचीबद्ध गर्छ — तपाई कार्यान्वयनको पूर्ण सेट नियन्त्रण गर्नुहुन्छ, जो compiler ले लागू गर्छ। यसले एक **बन्द पदानुक्रम** मडेल गर्छ (variants को एक निश्चित, ज्ञात सेट)।

## Sealed + records + 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
};
```

कारण कि एक sealed प्रकारको subtypes ज्ञात र सीमित हुन्, compiler ले `switch` **exhaustive** छ भनी सत्यापन गर्न सक्छ — हराएका केसहरू पकडी राख्छ। Records र pattern matching सँग संयुक्त, यस Java मा algebraic-data-type शैली मडेलिङ ल्याउँछ।

## किन महत्त्वपूर्ण छ

Records र sealed classes महत्त्वपूर्ण आधुनिक Java सुविधाहरू हुन् जो अभिव्यक्तिता र सुरक्षा सुधार गर्छन्। **Records** ले डेटा वर्गहरूको कष्टप्रद, त्रुटि-प्रवण boilerplate हटाउँछन् (र सही, सुसंगत `equals`/`hashCode` गारन्टी दिन्छन् — त्यो सामान्य गलतीको समाधान गर्दछ) जबकि अपरिवर्तनीयता लागू गर्छन् — DTOs, value objects, र डेटा मडेलिङ लाई बहुत सफा बनाउँछन्। **Sealed classes** ले बन्द, नियन्त्रित प्रकार पदानुक्रमहरू सक्षम गर्छन् जो compiler ले बुझ्छ, जसले — records र pattern-matching `switch` सँग संयुक्त — variants को एक निश्चित सेटको exhaustive, type-safe हैन्डलिङ गर्न अनुमति दिन्छ (algebraic data types)।

सँगसँगै तिनीहरूले Java लाई थिचोमिचो, immutable-by-default, र सुरक्षित डोमेन मडेलिङका लागि सक्षम बनाउँछन् जो पुरानो Java लाई बहुत अधिक कोड आवश्यक पर्थ्यो।

तिनीहरूलाई जान्नु हाल Java मा निपुणता प्रतिबिम्बित गर्छ र सफा, अधिक मजबूत डिजाइनहरू सक्षम गर्छ जो पुरानो Java मा प्राप्त गर्न अधिक कोड आवश्यक पर्थ्यो।