型の互換性とは? わかりやすく解説

型の互換性

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/30 09:44 UTC 版)

型システム」の記事における「型の互換性」の解説

静的型付き言語型検査では、すべての式の型がその式が現れ文脈期待される型と一貫しているか、検証しなければならない。たとえば、x := eという代入文では式eの推論される型は変数xの宣言型または推論型と一貫してなければならない。この一貫性概念互換性といい、プログラミング言語ごとに固有ののである明らかなように、eとxの型が同一でかつその型への代入操作許可されているなら、これは正当な式である。したがって最も単純な型システムでは、2つの型互換であるかどうか2つの型同一である(または等価である)かどうか等価性)という単純な問題置き換えることができる。別の言語では2つの式が同じ型を持つと理解されるのに別の基準採用している。これら、型の「同一性理論」は非常に多岐にわたっており、2つ対極の例は構造的型システムと名前的型システムとである。構造的型システムとは外部見せている構造インタフェース、特に暗黙的なもの)が同じものを持つ値を同じ型であるとするもので、名前的型システムとは型宣言構文からのみ型の同一性判定する(型が同じ「名前」を持たなければならない)ものであるオブジェクト指向言語のように基底型と派生型の関係がある言語では、互換性の関係はより複雑なものとなる。型Derivedが型Base派生型であるとすると、Derived型の値はBase型の値が必要とされる文脈使用することができる(リスコフの置換原則)。しかし逆は真ではない。等価性同様に派生型の関係はプログラミング言語によって異なった方法定義され多くバリエーション存在しうる。@media screen{.mw-parser-output .fix-domain{border-bottom:dashed 1px}}パラメータ付けされたまたはアドホックポリモーフィズムを持つ言語存在は型の互換性に何らかの意味を持つのかもしれない。[要説明]

※この「型の互換性」の解説は、「型システム」の解説の一部です。
「型の互換性」を含む「型システム」の記事については、「型システム」の概要を参照ください。

ウィキペディア小見出し辞書の「型の互換性」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「型の互換性」の関連用語

型の互換性のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



型の互換性のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの型システム (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS