名前的型付けと構造的型付け
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/30 09:44 UTC 版)
「型システム」の記事における「名前的型付けと構造的型付け」の解説
「:en:Nominal type system」および「:en:Structural type system」も参照 名前的(nominal)と構造的(structural)は、静的/動的型付けでのプログラム要素の型を識別(identify)する際の性質である。 名前的型付けとは、システムが保持しているプログラム要素の参照情報上の型の名前を見て、データ値の型を識別するスタイルである。 構造的型付けとは、参照情報上の型の名前を見ないで、データ値本体の分析でデータ値の型を識別するスタイルである。ただし、データ集合を分解して行き着くリテラルの型識別は事実上の名前的型付けになる。例えば構造体では、フィールド構造(各フィールドの型の種類と順序)が一致しているならばフィールド名が違っても同じ型と判定される。構造的型付けは、部分型の判定にも多用される。例えばオブジェクトでは、特定の関数/手続きの構造を双方が所持しているならば、その部分型での等価と見なされる。特定のフィールド構造を双方が所持している場合も同様である。
※この「名前的型付けと構造的型付け」の解説は、「型システム」の解説の一部です。
「名前的型付けと構造的型付け」を含む「型システム」の記事については、「型システム」の概要を参照ください。
- 名前的型付けと構造的型付けのページへのリンク