Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2015/02/15 12:07:37」(JST)

wiki ja

コンピュータサイエンスにおいて、データ型S が他のデータ型T とis-a関係にあるとき、S をT の派生型（はせいがた、subtype）であるという。またT はS の基本型（きほんがた、supertype）であるという。基本型のデータを処理するように作られたプログラムは、その派生型のデータでも正しく処理することができる。つまり、基本型-派生型関係ではリスコフの置換原則(Liskov Substitution Principle)[1]が成り立つ。とは言っても、実際のプログラミング言語では独自の型の派生（subtyping）の概念を採用していることもあり、またそのような概念を持たないこともある。

例

例をとおして、派生型について考える。「鳥」という基本型と「アヒル」「ガチョウ」「ハクチョウ」という3つの派生型を仮定する。それぞれの派生型は「鳥」という抽象概念を別々の形で具体化しているが、「鳥」としての多くの特徴を継承し共有している。データは4つのうちのどの型のインスタンスとしても宣言できる。

ほとんどのクラスベースオブジェクト指向言語では、サブクラスが派生型の概念を実現している。A がB のサブクラスだったなら、A のインスタンスはB のインスタンスが期待されるあらゆる場面で使用可能となる（インタフェースの継承）。それゆえA はB の派生型であるといえる。ここで重要なことは、B を型として宣言された変数は実行時にA 型の値を持っているかもしれない、ということである。多くのオブジェクト指向プログラマはこの状況を、B をその変数の静的型、A をその変数の動的型である、と表現する。この規則の例外には、派生型を作らずに実装の継承ができる言語（private inheritance[2]のあるC++など）や基本型から継承した機能を派生型で取り除くことができる言語（Eiffelなど）がある。

別の例を考える。浮動小数点数と整数で同じコードを共有したい場合に、整数が浮動小数点数の派生型となる場合と、整数と実数を包含するnumber型が定義されている場合が考えられる。プログラマは型の派生を利用することで、それを使わない場合よりも抽象化したコードが書けることがある。

function max (x as number, y as number)
  if x < y then
    return y
  else
    return x
end

この関数には整数と実数のどちらの値でも渡すことができる。このため、型の派生はポリモーフィズムの一形態と考えられることが多い。上記の例はC++のテンプレートとも比較される。

型理論においては、派生型関係は<:と表記される。つまり、A <: Bという表記はA はB の派生型であるという意味である。型理論における型の派生は、A <: Bならば型A を持つ式はどれでも型B をも持つという事実によって特性付けられる。この形式的な推論規則は「包摂」として知られている。

型の派生方式

型理論の研究者は、派生型であると宣言されたもののみを派生型とするnominal subtyping（nominative; 公称型）と、2つの型の構造によって派生型関係にあるかが決まるstructural subtyping（structural; 構造型）を区別する。上記のクラスベースオブジェクト指向言語の例は公称型である。構造型のオブジェクト指向言語では、型A のオブジェクトが型B のオブジェクトの処理できるメッセージすべてを処理できるなら（言い換えると、同じメソッドを実装していれば）、継承関係に関係なく、A はB の派生型となる。

型の派生を持つプログラミング言語の実装は大きく2つに分類される。型A の値の内部表現が型B の値としての内部表現も兼ねるinclusive（包含的）な実装と、型A の値が型B の値に「自動的に変換」されることのあるcoercive（強制的）な実装である。オブジェクト指向言語のサブクラスによる型の派生はたいてい包含的である。前述の整数と浮動小数点数の派生型関係は、内部表現が異なっているので、強制的な例である。

ほぼすべての型システムでは型の派生関係が定義されている。それは反射律（型A について、A <: A）と推移律（A <: BかつB <: CならばA <: C）を満たすものである。つまり前順序が成り立つ。

参考資料

Meyer, Bertrand (2000年). Object-Oriented Software Construction. Prentice Hall. ISBN 0136291554.
- 邦訳『オブジェクト指向入門第2版』 ISBN 4798111112
“The Liskov Substitution Principle (PDF)” (英語). 2006年12月26日閲覧。
- “The Liskov Substitution Principle (PDF)” (日本語). 2006年12月26日閲覧。

外部リンク

c2.com: Nominative and structural typing

UpToDate Contents

全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.

1. パーキンソン病の臨床症状 clinical manifestations of parkinson disease
2. 心的外傷後ストレス障害の解離性：疫学、臨床症状、評価、および診断 dissociative aspects of posttraumatic stress disorder epidemiology clinical manifestations assessment and diagnosis
3. 古典型ホジキンリンパ腫の疫学、病理学的特徴、および診断 epidemiology pathologic features and diagnosis of classical hodgkin lymphoma
4. 非淡明細胞型腎癌に対する治療アプローチ the treatment approach to non clear cell renal carcinoma
5. 限局性初期乳癌における予後予測因子 prognostic and predictive factors in early non metastatic breast cancer

Japanese Journal

アルツハイマー病の早期診断バイオマーカーを探る

山﨑貴男,飛松省三,Yamasaki Takao,Tobimatsu Shozo,ヤマサキタカオ,トビマツショウゾウ
福岡医学雑誌 103(11), 215-225, 2012-11-25
… えがある,2)認知機能は正常とはいえないが認知症の診断基準を満たさない,3)複雑な日常生活動作に最低限の障害はあっても基本的な日常生活機能は正常,の3つを満たす状態を指す.MCIの病因は多様であるが,サブタイプのひとつである健忘型MCIは高率(10-15%/年)にADに移行する.最近では,発症前AD(preclinical AD,脳にAD病変はあるが無症状の時期)という概念が提唱され,超早期診断の重要性が議論されている.この新たな概念が提唱 …
NAID 120005068813

MERCHANDISING EDITION : MD FOCUS レギュラーコーヒー手軽な簡易抽出型の市場が拡大中シングルサーブタイプも注目度が高い

Chain store age 43(20), 103-105, 2012-11-15
NAID 40019477865

Related Pictures

MCパレットサブテーブル(タップ穴タイプ) ナベヤ【AXEL】アズワン模型・プラモデル投稿コミュニティ【MG-モデラーズギャラリー MCパレットサブテーブル(T溝タイプ) ナベヤ【AXEL】アズワン 2281212 | Phoenix Contact インターフェイスモジュール, メス, 37 極 D ゴルフ屋72.com・ヤフー店 - パター（ダンロップ）｜Yahoo オフィスデスク Gデスク（W800×D800・高強度サブテーブルタイプ MCパレットサブテーブル(取付穴タイプ) ナベヤ【AXEL】アズワン

★リンクテーブル★

リンク元	「イミダフェナシン」「亜型」「亜類型」「subtype」
拡張検索	「受容体サブタイプ」「レセプターサブタイプ」
関連記事	「タイ」「ブタ」「タイプ」