Pythonのジェネリクスで型が抽象化されたクラスやデータを定義する - k.dev

はじめに Pythonでtype hintのあるコードを書いていると良くlist[int]の様に[]が付けられた型アノテーションに出会う。 これらはジェネリクスといい、普通のintやstr等の様な型とは違って抽象的な型を定義して再利用するための仕組みである。 ジェネリクスはよく使われ便利だが、初めて静的型のある言語を書く初心者にとっては理解が少しむずかしい。 この記事ではジェネリクスがなぜ必要なのか、どの様に機能するかを確認し、ジェネリクスに関連する応用的な機能まで紹介する。 題材となるクラスと課題 ジェネリクスの有用性を理解するための例として、以下のようなクラスを考える。 class StrMaybe: """strを保持する可能性のあるクラス""" def __init__(self, value: str | None): self.value = value def has_val