Что хотят услышать интервьюеры:

В Dart обобщенные типы реализованы через параметризацию классов, функций и коллекций типовыми параметрами, например T или K, V. Это позволяет описывать код, который работает с разными типами, сохраняя статическую типизацию. На практике генераics в Dart тесно связаны с проверкой типов во время компиляции.

Определение:

Обобщенные типы в Dart — это механизм, который позволяет задавать тип как параметр. Вместо жестко зашитого типа используется переменная типа, и один и тот же класс или функция могут работать с разными типами данных без потери типобезопасности.

Типичные примеры — List<int>, Map<String, int>, Future<T>, собственные классы вроде Box<T>. Это делает код более переиспользуемым и понятным для компилятора.

Пример использования:

class Box<T> {
  final T value;
  Box(this.value);

  T getValue() => value;
}

void main() {
  final intBox = Box<int>(42);
  final stringBox = Box<String>('hello');

  print(intBox.getValue());    // 42
  print(stringBox.getValue()); // hello
}

Пояснение кода:

Код показывает обобщенный класс Box<T>, где T — параметр типа. При создании Box<int> тип T подставляется как int, а при создании Box<String> — как String. Благодаря этому один и тот же класс безопасно хранит значения разных типов, а компилятор проверяет корректность использования.

По шагам:

Объявляется класс с типовым параметром T.
Поле value и метод getValue() используют этот же тип T.
При создании экземпляра указывается конкретный тип.
Внутри экземпляра компилятор знает, с каким типом работает код.

Ключевые моменты:

Обобщения в Dart реализованы через типовые параметры у классов, функций и коллекций.
Они дают переиспользование кода без потери статической типизации.
Частые примеры: List<T>, Map<K, V>, Future<T>, собственные классы и функции.
Тип проверяется компилятором, что снижает число ошибок во время выполнения.
Обобщения делают API более читаемым и предсказуемым для потребителя.

В каком виде реализована поддержка обобщенных типов в языке Dart?