Record'lar ve sealed class'lar nedir?

Question

Accepted Answer

**Record'lar** (Java 16+), kalıp kodu otomatik olarak oluşturan, değişmez veri taşıyıcılardır ve **sealed class'lar** (Java 17+) hangi sınıfların bir tipe genişleyebileceği/uygulayabileceğini kısıtlar. Her ikisi de Java'yı daha ifadeli hale getiren ve daha iyi modelleme sağlayan modern özelliklerdir.

## Record'lar — değişmez veri, sıfır kalıp kod

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

Bir record, bileşenlerinden kurucu, erişimciler, `equals()`, `hashCode()` ve `toString()`'i otomatik olarak oluşturur. Alanlar **final**'dır (değişmez) — record'lar, şeffaf, değişmez veri taşıyıcıları (DTO'lar, değer nesneleri, koordinatlar) için tasarlanmıştır.

## Record'lar doğrulama ve metodlar içerebilir

```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 class'lar — kontrol edilen kalıtım

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

Bir `sealed` tipi, izin verilen alt tiplerini açıkça listeler — uygulamaların tam setini kontrol edersiniz ve derleyici bunu zorunlu kılar. Bu, bir **kapalı hiyerarşiyi** (sabit, bilinen bir varyant seti) modelleştirir.

## Sealed + record'lar + pattern matching = güçlü modelleme

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

Bir sealed tipin alt tipleri bilinen ve sonlu olduğundan, derleyici bir `switch`'in **exhaustive** (tüm durumları kapsadığını) doğrulayabilir — eksik durumları yakalayabilir. Record'lar ve pattern matching ile birleştirildiğinde, bu Java'ya cebirsel veri tipi tarzı modelleme getirir.

## Neden önemli

Record'lar ve sealed class'lar, ifadeyi ve güvenliği iyileştiren önemli modern Java özellikleridir. **Record'lar**, veri sınıflarının sıkıcı, hatalara açık kalıp kodunu elimine eder (ve doğru, tutarlı `equals`/`hashCode` garantiler — yaygın bir hatayı çözer) ve değişmezliği zorunlu kılar — DTO'ları, değer nesnelerini ve veri modellemeyi çok daha temiz hale getirir. **Sealed class'lar**, derleyicinin anladığı kapalı, kontrol edilen tür hiyerarşilerini sağlar ve bunlar — record'lar ve pattern-matching `switch` ile birleştirildiğinde — sabit bir varyant setinin exhaustive, tür-güvenli işlenmesini (cebirsel veri türleri) mümkün kılar.

Birlikte, Java'yı daha kısa, değişmez-by-default ve eski Java'nın çok daha fazla kod gerektirdiği daha güvenli domain modellemeye açık hale getirir.

Onları bilmek, güncel Java'nın akıcı olduğunu gösterir ve daha temiz, daha sağlam tasarımları mümkün kılar.