[Flutter] ジェネリック型の使い方

2023年5月4日2023年6月12日

Flutterにおいて、ジェネリック型を使用することで、様々な型に対して汎用的な処理を行うことができます。ジェネリック型は、クラスやメソッドの引数や戻り値の型を決定するために使用されます。Dart言語自体がジェネリック型をサポートしているため、Flutterでも同様にジェネリック型を使用することができます。

ジェネリック型を使用する例

以下は、ジェネリック型を使用して、汎用的なリストを定義する例です。

class MyList<T> {
  List<T> _items = [];

  void add(T item) {
    _items.add(item);
  }

  T get(int index) {
    return _items[index];
  }

  void remove(T item) {
    _items.remove(item);
  }

  int get length {
    return _items.length;
  }
}

上記の例では、MyListというクラスを定義しています。ジェネリック型の<T>を使用して、MyListがどの型の要素を保持するかを決定します。List<T>という型を使用して、MyListが内部的に保持するリストの要素の型を決定します。_itemsというプライベートなリストに対して、add、get、remove、lengthといったメソッドを定義しています。これらのメソッドは、T型に対して汎用的な処理を行います。

ジェネリック型の略称の意味と使い方

ジェネリック型にはTやK、Vなどの略称があります。これらの略称は、型パラメーターに使用されるもので、それぞれに意味があります。以下では、それぞれの略称の意味と使い方について説明します。

T型

T型は、Dartにおいて最も一般的に使用される型パラメーターの略称です。これは、型パラメーターのうち、最初に考えられるもので、特に決まった意味はありません。ただし、T型は、一般的に汎用的な型パラメーターとして使用され、型安全なジェネリッククラスや関数を実装するために使用されます。

class Pair<T, U> {
  final T first;
  final U second;

  const Pair(this.first, this.second);
}

void main() {
  final pair = Pair<String, int>('hello', 42);
  print('First value: ${pair.first}');
  print('Second value: ${pair.second}');
}

上記の例では、Pairクラスを定義しています。このクラスは、2つの値を保持するために使用されます。ジェネリック型パラメーターTとUを使用して、任意の2つの型のペアを表すことができます。また、Pairクラスのインスタンスを作成するときに、T型とU型の具体的な型を指定します。これにより、型安全なジェネリッククラスを実装することができます。

K型

K型は、Mapクラスのキーを表すために使用される型パラメーターの略称です。K型は、T型と同様に、一般的に汎用的な型パラメーターとして使用されます。Mapクラスのキーは、一意である必要があります。

void main() {
  final map = <String, int>{'one': 1, 'two': 2, 'three': 3};
  print('Keys: ${map.keys}');
  print('Values: ${map.values}');
}

上記の例では、Mapクラスを使用して、キーが文字列で値が整数であるマップを作成しています。ジェネリック型パラメーターKとVを使用して、任意のキーと値の型のマップを表すことができます。また、Mapクラスのインスタンスを作成するときに、K型とV型の具体的な型を指定します。

V型

V型は、Mapクラスの値を表すために使用される型パラメーターの略称です。V型も、T型やK型と同様に、一般的に汎用的な型パラメーターとして使用されます。

void main() {
  final map = <String, int>{'one': 1, 'two': 2, 'three': 3};
  print('Keys: ${map.keys}');
  print('Values: ${map.values}');
}

その他の型

他にも、E型、S型、R型など、様々な型パラメーターの略称が存在します。これらの型は、一般的に、以下のような場合に使用されます。

E型: ListやSetなど、コレクションの要素を表すために使用されます。
S型: Setクラスの要素を表すために使用されます。
R型: 関数の戻り値を表すために使用されます。

これらの型パラメーターは、一般的に汎用的な型パラメーターとして使用され、型安全なジェネリッククラスや関数を実装するために使用されます。

class Stack<E> {
  final List<E> _items = [];

  void push(E item) => _items.add(item);
  E pop() => _items.removeLast();
}

void main() {
  final stack = Stack<int>();
  stack.push(1);
  stack.push(2);
  stack.push(3);
  print('Popped item: ${stack.pop()}');
}

上記の例では、Stackクラスを定義しています。このクラスは、スタックとして機能するために使用されます。ジェネリック型パラメーターEを使用して、任意の型の要素をスタックに追加できます。また、Stackクラスのインスタンスを作成するときに、E型の具体的な型を指定します。

ジェネリック型の利点

ジェネリック型を使用することによって、以下のような利点があります。

型安全性の向上：ジェネリック型を使用することで、コンパイル時に型エラーを検出することができます。例えば、List<int>型のリストにString型の要素を追加しようとした場合には、コンパイルエラーが発生します。
コードの再利用性の向上：汎用的な処理を行うために、同じ処理を複数の型に対して実装する必要がなくなります。
コードの可読性の向上：ジェネリック型を使用することによって、コードをより簡潔に書くことができます。

ジェネリック型の制約

ジェネリック型には、以下のような制約があります。

ジェネリック型には上限がある：例えば、T extends SomeClassというように、T型が`SomeClassクラスであることを保証するように制限することができます。上限を指定しない場合、T型はどの型でも可能となります。
ジェネリック型は、実行時には型情報が失われる：ジェネリック型を使用する場合、実行時には型情報が消失してしまいます。これは、Dart言語がジェネリック型を実行時にもサポートしないためです。そのため、実行時には、型エラーが発生する可能性があります。
ジェネリック型は、パフォーマンスに影響を与える可能性がある：ジェネリック型を使用する場合、コンパイラーがコードを生成する際に、型を決定するために多少のオーバーヘッドが発生します。これは、リストやマップなどの大量のデータを処理する場合に特に影響を与える可能性があります。

ジェネリック型の具体例

Flutterでは、ジェネリック型を多用しています。以下は、FlutterのFutureクラスのジェネリック型を使用した例です。

Future<String> fetchData() async {
  final response = await http.get(Uri.parse('https://example.com/data'));
  if (response.statusCode == 200) {
    return response.body;
  } else {
    throw Exception('Failed to load data');
  }
}

上記の例では、Futureクラスを使用して、非同期処理を実行しています。Future<String>という型を使用して、fetchDataメソッドが文字列を返すことを表しています。http.getメソッドは非同期で実行され、レスポンスが返されたら、response.bodyという文字列がFuture<String>として返されます。また、レスポンスのステータスコードが200以外の場合には、Exceptionをスローしています。

まとめ

ジェネリック型は、Flutterで汎用的な処理を実現するために非常に役立ちます。ジェネリック型を使用することで、型安全性の向上やコードの再利用性の向上などの利点があります。ただし、制約やパフォーマンスの影響にも注意する必要があります。Flutterでは、ジェネリック型を多用しているため、より詳細なドキュメントやサンプルコードを参照することをお勧めします。

よかったらシェアしてね！

URLをコピーしました！

URLをコピーしました！