名目型システム

コンピュータ サイエンスでは、データ型の互換性と同等性が明示的な宣言や型の名前によって決定される場合、型システムは名目上(名目ベースまたは名前ベースとも呼ばれる) です。名目上のシステムは、型が同等であるかどうか、および型が別の型のサブタイプであるかどうかを判断するために使用されます。名目上の型システムは、比較が対象の型の構造に基づいて行われ、明示的な宣言を必要としない 構造システムとは対照的です。

名目上の型付けとは、2 つの変数の宣言が同じ型を指定している場合にのみ、それらの変数の型に互換性があることを意味します。たとえば、Cでは、struct同じ翻訳単位内にある異なる名前を持つ 2 つの型は、フィールド宣言が同じであっても、互換性があるとは見なされません。

しかし、C ではtypedef既存の型の別名を導入する宣言も許可されています。これらは単に構文上のものであり、型チェックの目的で型とその別名を区別するものではありません。多くの言語に存在するこの機能により、(たとえば) 同じプリミティブ整数型が 2 つの意味的に異なる方法で使用される場合、型の安全性が失われる可能性があります。Haskellは、宣言の形式で C スタイルの構文上の別名を提供するtypeだけでなく、既存の型と同型newtypeの新しい異なる型を導入する宣言も提供します。^[1]

同様に、名目上のサブタイプ化とは、定義で明示的に宣言されている場合に限り、ある型が別の型のサブタイプであることを意味します。名目上の型付け言語では通常、宣言されたサブタイプが構造的に互換性があることが要件となります (ただし、Eiffel では互換性のないサブタイプを宣言できます)。ただし、「偶然」構造的に互換性があるがサブタイプとして宣言されていないサブタイプは、サブタイプとは見なされません。

C++、C#、Java、Kotlin、Objective-C、Delphi、Swift、Julia、Rustはすべて、主に名目上の型付けと名目上のサブタイプ付けの両方を使用します。

Java や C# などの名目上サブタイプ化された言語では、クラスをfinal (C# 用語ではseal )として宣言して、それ以上のサブタイプ化が許可されないことを示すことができます。

名目上の型付けは、偶発的な型の等価性を防ぐのに役立ち、構造的な型付けよりも型の安全性が向上します。ただし、その代償として柔軟性が低下します。たとえば、名目上の型付けでは、既存のサブタイプを変更せずに新しいスーパータイプを作成することはできません。

• 構造型システム
• 抽象型
• 型システム

• ピアス、ベンジャミン C. (2002)。「§19.3 名目型システムと構造型システム」。型とプログラミング言語。MITプレス。pp. 253– 。ISBN 0-262-16209-1。

• c2.com: 主格と構造型