Что такое записи (records) и запечатанные классы (sealed classes)?

Question

Accepted Answer

**Записи** (Java 16+) — это лаконичные, неизменяемые контейнеры данных, которые автоматически генерируют boilerplate код, а **запечатанные классы** (Java 17+) ограничивают, какие классы могут их расширять/реализовывать. Обе это современные возможности, которые делают 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
```

Запись автоматически генерирует конструктор, методы доступа, `equals()`, `hashCode()` и `toString()` на основе своих компонентов. Поля **final** (неизменяемы) — записи предназначены для прозрачных, неизменяемых контейнеров данных (DTO, value objects, координаты).

## Записи могут иметь валидацию и методы

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

Запечатанный тип явно перечисляет допустимые подтипы — вы контролируете полный набор реализаций, который компилятор проверяет. Это моделирует **закрытую иерархию** (фиксированный, известный набор вариантов).

## Запечатанные классы + записи + 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
};
```

Поскольку подтипы запечатанного типа известны и конечны, компилятор может проверить, что `switch` **исчерпывающий** — перехватывая пропущенные случаи. В сочетании с записями и pattern matching это привносит в Java стиль моделирования алгебраических типов данных.

## Почему это важно

Записи и запечатанные классы — значительные современные возможности Java, которые повышают выразительность и безопасность. **Записи** избавляют от утомительного, подверженного ошибкам boilerplate кода классов данных (и гарантируют корректные, согласованные `equals`/`hashCode` — решая эту распространённую проблему), одновременно обеспечивая неизменяемость — делая DTO, value objects и моделирование данных намного чище. **Запечатанные классы** позволяют создавать закрытые, контролируемые иерархии типов, которые компилятор понимает, и — в сочетании с записями и pattern-matching `switch` — позволяют исчерпывающе и типобезопасно обрабатывать фиксированный набор вариантов (алгебраические типы данных).

Вместе они делают Java более лаконичной, неизменяемой по умолчанию и способной к более безопасному моделированию предметной области, которое старой версии Java требовало гораздо больше кода для достижения.

Знание их отражает владение современной Java и позволяет создавать более чистые, надёжные дизайны, которые старая Java требовала намного больше кода для реализации.