抽象型(abstract type)で型階層を作る

このレッスンでは、Juliaの抽象型(abstract type)を使って型階層を作る方法を学び、共通の性質を持つ型同士を整理する考え方を理解することを目標にします。「Julia abstract type 使い方」で調べている方向けです。

abstract typeは、それ自体はインスタンスを作れない「型のグループ」を定義する仕組みです。「動物」という抽象的な概念のもとに「犬」「猫」といった具体的な型をぶら下げるイメージです。

サンプルコードでは、abstract type Animal endで抽象型を定義し、struct Dog <: Animalという書き方でDogがAnimalのサブタイプであることを示しています。<:という記号が型の階層関係を表す点に注目してみましょう。

初心者がよくつまずくのが、抽象型と具体型の違いです。抽象型は直接インスタンスを作れず、あくまで型階層を整理するための「箱」として機能する点を理解しておく必要があります。

実際の開発現場では、共通のインターフェースを持つ複数の型(動物の種類、図形の種類など)を扱いたい場面で、この型階層の考え方が活用されます。