【Flutter/Dart】TやS/E/Kとは？Generics（総称型）基礎

よくMapやSetに<T>や<S>がつく場合があります。これらはGenerics（総称型）といい予め格納する値の型を宣言（予約）しておくものです。

このページでは、Generics（総称型）の基礎について調べまとめてみました。

1 参考
2 Genericsとは
3 Genericsの効果
- 3.1 サンプル
  - 3.1.1 サンプル①
    - 3.1.1.1 解説
  - 3.1.2 サンプル②
    - 3.1.2.1 解説

参考

【参考】公式サイト
- Language tour | Dart > Generics
Generics（総称型）とは
- 利用目的
  - 特定の型を記載せず総称型を仮置きし、後で決定する
- メリット
  - 重複したコードを無くせる
  - 違う型の変数に代入すると、コンパイルエラーで教えてくれる
実行環境
- DartPadやAndroid Studio等で実行

Genericsとは

基本的な配列の型であるListのAPIドキュメンテーションを見ると、そこにはその型は実際はList<E>であることが判る。<…>記述はListは総称（或いはパラメタ化された）型、即ち正式の型パラメタたちを持っている型であることを示す。総称型の殆どの型パラメタは慣行的に E, T, S, K, 及び Vといった1文字の名前を持っている。
https://www.cresc.co.jp/tech/java/Google_Dart2/language/generics/generics.html

Genericsの効果

Genericsを使うメリットには

簡単に安全なコードを書ける
重複したコードを減らすことができる

です。

サンプル

サンプル①

void  main(){
var names = Map<String>();//GenericsにString型を指定
names.addAll(['Seth', 'Kathy', 'Lars']);//値を格納
names.add(42); // int型が追加されようとしているためエラー
｝

解説

このサンプルではエラーが起きます。MapクラスにジェネリクスでStringを指定したのにint型を追加しようとしているためです。

サンプル②

class User<String> {
  final String Name;//型指定
  User(this.Name);
}

void main() {
  final user = User('Tanaka');//String型に文字列を代入
  print(user.Name);
}