Документация
Основы Dart 2.x
Основы Dart 2.x (Generics)

Андрей Кейда

13.09.2019 18:06:42 (обновлено 14.09.2019 12:10:49)

За все время: 3152 просмотра, 1479 посетителей.
За последние 30 дней: 23 просмотра, 14 посетителей.

Основы Dart 2.x (Generics)

Generics - параметризованные типы, дженерики или обобщения позволяют программе уйти от жесткой привязки к определенным типам, определить функционал так, чтобы он мог использовать данные любых типов и обеспечить их безопасность. Так же обобщения снижают повторяемость кода, дают вам возможность предоставить единый интерфейс и реализацию для многих типов.
Пример:
Если вы хотите, чтобы список содержал только строки (string), вы можете объявить его как List<String> (список строк). Таким образом, при присвоение не string списка возникнет ошибка.

var names = List<String>();
names.addAll(['Ryzen', 'Core', 'Pentium', 'Duron']);
names.add(42); // Ошибка

Так же с помощью выражения <T> мы можем указать, что объявляемый нами тип (класс например) типизирован неопределенным типом T (универсальным параметром) - где Т это тип вашего класса, вместо Т будет подставляться конкретный тип (это происходит динамически).

Пример:

 void main (){

    Processor ryzen = Processor(7, "AMD");
    Processor core = Processor("i7", "Intel");
}
 class Processor<T>{
    T model;   
    String company; 
    Processor(this.model, this.company);
}

Разберем подробнее:
У нас есть типизированный класс Processor c определенным типом T (универсальным параметром), дальше мы можем использовать наш символ T как обычный тип, например определять переменные этого типа, что мы и сделали если посмотреть на поле T model нашего класса. Далее, при выполнении нашей программы вместо Т будет динамически подставляться конкретный тип на основе входящих данных. То есть поле model будет иметь тип int когда мы передаем в конструкторе число 7 модели процессора ryzen и тип string когда мы передаем значение "i7" в модели процессора core.
- Так же стоит уточнить что в место символа Т в верхнем регистре, можно подставить абсолютно любой, например Х или Е, но обычно используется символ Т от английского слова Type (тип) .
Generics методы
Таким же образом мы можем создать типизированные методы:

T first<T>(List<T> ts) {
  T tmp = ts[0];
  return tmp;
}

Здесь параметр общего типа для first<Т> позволяет использовать аргумент типа Т в нескольких местах:
- Возвращаемый универсальный тип Т нашего метода.
- Аргумент метода List<T>.
- Локальная переменная метода T tmp .
Используйте "дженерики", чтобы получить максимально широкие возможности многократного использования кода, для обеспечения безопасности типов и повышения производительности.

Подборка заметок