Можно ли наследоваться от Record или наследовать Record от другого класса

Хотя наследование классов запрещено, Record может реализовывать любое количество интерфейсов:

🟢 Junior Level

Нет, нельзя. В языке Java для записей (Record) действуют два категорических запрета на наследование классов:

Нельзя наследоваться от Record: Любой record неявно является final. Попытка объявить класс или другой record, расширяющий запись, вызовет ошибку компиляции.
Record не может расширять другие классы: Все записи неявно наследуются напрямую от абстрактного класса java.lang.Record. Так как множественное наследование классов в Java запрещено, ключевое слово extends для record недопустимо.

public record Point(int x, int y) {}

// ❌ Ошибка компиляции: Cannot inherit from final 'Point'
public class ColoredPoint extends Point {} 

// ❌ Ошибка компиляции: Records cannot extend other classes
public record MyRecord(int a) extends SomeClass {} 

// ❌ Ошибка компиляции: Records cannot extend java.lang.Record explicitly
public record MyRecord(int a) extends Record {} 

Что разрешено: Реализация интерфейсов

Хотя наследование классов запрещено, Record может реализовывать любое количество интерфейсов:

public record User(String name, String email) implements Serializable, Comparable<User> {
    @Override
    public int compareTo(User o) {
        return this.name.compareTo(o.name);
    }
}

🟡 Middle Level

Почему в Java введены такие жесткие ограничения

Запрет на наследование в Record — это осознанное архитектурное решение создателей языка (Брайан Гетц и команда OpenJDK):

Принцип исчерпывающего описания состояния: Состояние записи определяется исключительно ее заголовком. Если бы наследование классов было разрешено, подкласс мог бы объявить дополнительные поля экземпляра, нарушив контракт «заголовок равен состоянию».
Гарантия неизменяемости (Immutability): Подкласс мог бы добавить мутабельные поля или переопределить методы-аксессоры, возвращая разные значения при последовательных вызовах.
Нарушение контракта equals() и hashCode(): Классическая проблема эквивалентности в ООП (описанная Джошуа Блохом в Effective Java): невозможно сохранить симметричность и транзитивность equals(), если подкласс добавляет новые поля. Для Record равенство определено строго и математически: два рекорда равны тогда и только тогда, когда равны все их компоненты.
Свобода оптимизации компилятора (JIT / Project Valhalla): Зная, что класс final и его структура неизменна, JVM может инлайнить аксессоры, разворачивать объекты на стеке (Escape Analysis) и в будущем превращать их в плоские Value Types.

Чем заменить наследование: Композиция и Делегирование

Вместо попыток построить иерархию классов используется классический принцип «Composition over Inheritance»:

// ❌ Попытка сделать базовую сущность через наследование:
// record AuditedEntity(...) extends BaseAuditInfo {} // Ошибка!

// ✅ Идиоматичный подход: Композиция компонентов
public record AuditMetadata(Instant createdAt, String createdBy) {}

public record Order(
    UUID orderId,
    BigDecimal amount,
    AuditMetadata audit // Вложенный неизменяемый компонент
) {}

🔴 Senior Level

Алгебраические типы данных (ADT): Sealed Interfaces + Records

В современной Java (Java 17+) классическое иерархическое наследование для моделей данных заменено на алгебраические типы данных (Algebraic Data Types / ADT):

Product Type (Тип-произведение) — моделируется через record ($A \times B \times C$: заказ состоит из ID, цены И даты).
Sum Type (Тип-сумма) — моделируется через sealed interface ($A + B + C$: платеж может быть ЛИБО картой, ЛИБО наличными, ЛИБО криптовалютой).

// Запечатанный интерфейс строго ограничивает возможные реализации:
public sealed interface PaymentMethod permits CardPayment, CashPayment, CryptoPayment {}

public record CardPayment(String cardNumber, String cvv) implements PaymentMethod {}
public record CashPayment(BigDecimal tenderedAmount) implements PaymentMethod {}
public record CryptoPayment(String walletAddress, String txHash) implements PaymentMethod {}

Исчерпывающий Pattern Matching в Java 21+

Компилятор знает все разрешенные ветки sealed-интерфейса. Благодаря этому в операторе switch не требуется ветка default, а компилятор выдает ошибку, если разработчик забыл обработать одну из ветвей:

public String processPayment(PaymentMethod method) {
    return switch (method) {
        case CardPayment(var num, var cvv) -> "Processing card: " + mask(num);
        case CashPayment(var amount)       -> "Cash received: " + amount;
        case CryptoPayment(var addr, var tx) -> "Crypto transfer: " + tx;
        // default НЕ НУЖЕН: компилятор гарантирует исчерпывающий анализ (Exhaustiveness Check)
    };
}

Ограничения на уровне спецификации JVM (JVMS)

Запрет на наследование жестко закреплен не только в компиляторе javac, но и в виртуальной машине Java (JVM):

Флаги доступа: Байткод класса записи обязан содержать модификаторы ACC_FINAL и ACC_RECORD.
Проверка суперкласса: Согласно JVMS §4.1, суперклассом любого record должен быть строго java/lang/Record.

Запрет для обычных классов: JLS §8.1.4 объявляет ошибкой компиляции попытку обычного класса расширить java.lang.Record:

// Ошибка компиляции: The type java.lang.Record cannot be the superclass of RegularClass;
// only records can extend java.lang.Record
public class RegularClass extends java.lang.Record {}

ClassLoader Verification: Если загрузчик классов попытается загрузить сгенерированный в обход компилятора байткод обычного класса, унаследованного от java.lang.Record, JVM выбросит ClassFormatError или VerifyError.

4 Tricky Questions

1. Может ли обычный класс явно унаследоваться от `java.lang.Record` (`public class MyClass extends java.lang.Record`)?

Ответ: Нет, это категорически запрещено спецификацией языка (JLS §8.1.4).

Попытка скомпилировать такой класс завершится ошибкой: «The type java.lang.Record cannot be the superclass of MyClass; only records can extend java.lang.Record».

Более того, это ограничение проверяется верификатором байткода самой JVM. Если попытаться подделать байткод через ASM или ByteBuddy и загрузить обычный класс (без флага ACC_RECORD), суперклассом которого указан java/lang/Record, JVM при линковке класса выбросит фатальную ошибку ClassFormatError.

2. Может ли Record быть объявлен с модификаторами `abstract`, `sealed` или `non-sealed`?

Ответ:

abstract: Запрещено. Любой record неявно является final и содержит исчерпывающую реализацию всех методов. Сочетание final abstract невозможно в Java.
sealed / non-sealed: Запрещено. Поскольку record не может иметь наследников (он final), модификаторы управления наследованием к нему неприменимы.

Однако record может выступать в качестве разрешенного листа (permitted leaf) в объявлении другого sealed-интерфейса:

public sealed interface Result<T> permits Success, Failure {}
public record Success<T>(T data) implements Result<T> {}
public record Failure<T>(Throwable error) implements Result<T> {}

3. Как концепция Algebraic Data Types (ADT) в Java заменяет классическое наследование классов при помощи Records и Sealed Interfaces?

Ответ: Классическое наследование классов строится на открытом полиморфизме: базовый класс открыт для добавления новых подклассов в любых модулях, а поведение распределяется по виртуальным методам подклассов.

ADT предлагают обратный подход — закрытые типы данных:

sealed interface фиксирует исчерпывающий перечень возможных вариантов состояния системы (Sum Type).
record фиксирует строго неизменяемую структуру данных для каждого конкретного варианта (Product Type).
Новые операции и логика добавляются не через модификацию интерфейсов, а снаружи — через чистые функции и сопоставление с образцом (Pattern Matching / Visitor Pattern без boilerplate). При добавлении нового варианта компилятор заставит обработать его во всех switch-выражениях проекта.

4. Если два Record имеют абсолютно одинаковые компоненты (`record PointA(int x, int y)` и `record PointB(int x, int y)`), можно ли использовать их взаимозаменяемо без общего интерфейса?

Ответ: Нет, нельзя.

В Java реализована номинативная типизация (Nominal Typing), а не структурная типизация (Structural/Duck Typing). Даже если два рекорда имеют побайтово идентичные поля, сигнатуры и типы, для системы типов JVM PointA и PointB — это два абсолютно разных несовместимых типа. Присвоить экземпляр PointA переменной типа PointB без явного создания нового объекта невозможно. Полиморфная взаимозаменяемость возможна только через общий предок-интерфейс:

public interface Coordinates { int x(); int y(); }
public record PointA(int x, int y) implements Coordinates {}
public record PointB(int x, int y) implements Coordinates {}

🎯 Шпаргалка для интервью

Главные тезисы о наследовании Records

Record $\rightarrow$ Class: Record не может расширять никакой класс (он уже неявно extends java.lang.Record).
Class $\rightarrow$ Record: Никакой класс или рекорд не может наследоваться от Record (он неявно final).
Class $\rightarrow$ java.lang.Record: Обычному классу запрещено наследоваться от java.lang.Record.
Интерфейсы: Record может реализовывать любые интерфейсы (implements InterfaceA, InterfaceB).
Модификаторы: Record не может быть abstract, sealed или non-sealed.
Замена наследованию: Композиция (has-a) и Алгебраические типы данных (sealed interface + record).

Красные флаги на интервью

❌ «Можно наследоваться от абстрактного рекорда»: абстрактных рекордов в Java не существует.
❌ «Record наследуется от Object»: прямой суперкласс Record — это java.lang.Record, который в свою очередь наследует Object.
❌ «Мы используем наследование рекордов для добавления полей к DTO»: это не компилируется в Java.