records และ sealed classes คืออะไร?

Question

Accepted Answer

**Records** (Java 16+) คือตัวพาข้อมูล (data carrier) ที่กระชับและ immutable ซึ่ง generate โค้ดซ้ำซ้อน (boilerplate) ให้อัตโนมัติ และ **sealed classes** (Java 17+) จำกัดว่าคลาสใดบ้างที่สามารถ extend/implement ชนิดหนึ่งได้ ทั้งสองเป็นฟีเจอร์สมัยใหม่ที่ทำให้ Java แสดงออกได้ดีขึ้นและเปิดทางให้การจำลองโมเดลที่ดีกว่า

## Records — ข้อมูลที่ immutable ไม่มี 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 generate constructor, accessor, `equals()`, `hashCode()` และ `toString()` จาก component ของมันให้โดยอัตโนมัติ field ต่าง ๆ เป็น **final** (immutable) record ถูกออกแบบมาให้เป็นตัวพาข้อมูลที่โปร่งใสและ immutable (DTO, value object, พิกัด)

## record มีการ validate และเมธอดได้

```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` จะระบุชนิดย่อย (subtype) ที่ได้รับอนุญาตไว้อย่างชัดเจน คุณควบคุมเซตของการ implement ทั้งหมด ซึ่ง compiler จะบังคับใช้ให้ สิ่งนี้จำลอง **closed hierarchy** (เซตของรูปแบบที่ตายตัวและทราบล่วงหน้า)

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

เพราะ subtype ของชนิด sealed นั้นทราบและมีจำนวนจำกัด compiler จึงสามารถตรวจสอบได้ว่า `switch` ครอบคลุมครบทุกกรณี (**exhaustive**) ช่วยจับกรณีที่ขาดหายไป เมื่อรวมกับ record และ pattern matching สิ่งนี้นำการจำลองโมเดลแบบ algebraic data type มาสู่ Java

## ทำไมจึงสำคัญ

Records และ sealed classes เป็นฟีเจอร์สมัยใหม่ที่สำคัญของ Java ที่ปรับปรุงความสามารถในการแสดงออกและความปลอดภัย **Records** กำจัด boilerplate ที่น่าเบื่อและเกิดข้อผิดพลาดได้ง่ายของ data class (และรับประกัน `equals`/`hashCode` ที่ถูกต้องและสอดคล้องกัน ซึ่งแก้กับดักที่พบบ่อยนั้น) ในขณะที่บังคับใช้ความ immutable ทำให้ DTO, value object และการจำลองโมเดลข้อมูลสะอาดขึ้นมาก **Sealed classes** เปิดทางให้มี type hierarchy แบบปิดและควบคุมได้ที่ compiler เข้าใจ ซึ่งเมื่อรวมกับ record และ `switch` แบบ pattern-matching จะทำให้จัดการเซตของรูปแบบที่ตายตัวได้อย่างครอบคลุมและปลอดภัยเชิงชนิด (algebraic data type)

เมื่อรวมกัน ทั้งสองทำให้ Java กระชับขึ้น เป็น immutable โดยปริยาย และสามารถจำลองโมเดลโดเมนได้อย่างปลอดภัยขึ้น

การรู้จักฟีเจอร์เหล่านี้สะท้อนถึงความคล่องแคล่วกับ Java ปัจจุบัน และเปิดทางสู่การออกแบบที่สะอาดและแข็งแกร่งขึ้น ซึ่ง Java รุ่นเก่าต้องใช้โค้ดมากกว่ามากในการทำให้สำเร็จ