「オブジェクト指向プログラミング」の版間の差分

:[[C++]]の柔軟性と融通性とは正反対のオブジェクト指向言語。[[クラスベース]]で[[静的型付け]]重視である。[[契約プログラミング|契約による設計]]に基づく[[表明|アサーション]]の挿入でクラスの状態および演算用の引数と返り値を細かくチェックできる。[[例外処理]]も備えられている。クラスメンバ（フィーチャー）はデータ、アクセッサ、ミューテイタの三種限定で[[多重定義|オーバーロード]]はできない。カプセル化の可視性は自身に依存するクラス（クライアント）を定義する形で決められる。多重継承可能であり、クラス間の繋がりを[[仮想継承]]機能、各種[[オーバーライド]]指定子、名前衝突を解決するリネーミング機能などで綿密に設定できる。多態性は[[仮想関数|延期関数/手続き]]（サブタイプ多相）と[[ジェネリックプログラミング|ジェネリシティ]]（パラメトリック多相）も導入されていである。[[ガーベジコレクション]]機能が初めて導入されたオブジェクト指向言語でもある。

:[[C++]]をモデルにしつつ堅牢性とセキュリティを重視した[[クラスベース]]のオブジェクト指向言語。静的型付け重視である。パッケージ中心のカプセル化、単一のみの継承、仮想関数と多重実装可な[[インタフェース (抽象型)|インターフェース]]による多態性と、基本に忠実なクラスベースである。C++風の[[ポインタ (プログラミング)|ポインタ]]と値型インスタンスは除外されて参照型インスタンスに統一されした。[[Eiffel]]の思想から[[例外処理]]を整備し[[演算子オーバーロード]]を除外した。クラスメタデータを操作できる[[リフレクション (情報工学)|リフレクション]]は初期から採用された。オブジェクト指向と[[マルチスレッド]]仕様の調和が図られ、[[ソフトウェアコンポーネント|コンポーネント指向]]による動的クラスローディングの存在感が高められている。クラスメタデータを操作できる[[リフレクション (情報工学)|リフレクション]]は初期から採用された。中期から[[ジェネリクス]]（パラメトリック多相）と[[アノテーション|メタアノテーション]]（アドホック多相）が導入された。更に、ラムダ式と関数型インターフェースを軸によるした[[関数型言語|関数型構文]]も採用された。[[仮想マシン]]上で実行される。[[仮想マシン]]と[[ガーベジコレクション]]の技術は比較的高度と見なされている。

:[[Java]]を強く意識してマイクロソフト社が開発したクラスベースのオブジェクト指向言語。Javaよりも[[マルチパラダイムプログラミング言語|マルチパラダイム]]の性質が強化されており、言語仕様も比較的大規模と言える。ステートメント書式と各種データ型の取り扱いに、C++風の柔軟性と融通的を残しながら、様々な[[テンプレートメタプログラミング糖衣構文]]的なコーディングサポートも加えてコーディング上の利便性がより高められている。[[マルチパラダイムに発展スレッド]]仕様も整備させれている。アドホック多相では拡張メソッド、インデクサ、演算子オーバーロードなどを備えている。パラメトリック多相では[[共変性と反変性 (計算機科学)|共変/反変]]も扱える[[ジェネリクス]]を備えている。サブタイプ多相はクラスは単一継承でインターフェースは多重実装と基本通りである。[[関数型言語|関数型構文]]ではも整備されており、特にメソッド参照機能であるデリゲートの有用性が高められている。デリゲートは[[イベント駆動型プログラミング|イベント駆動構文]]の平易な表現も可能にしている。基本は[[静的型付け]]であるが、動的束縛型と[[ダックタイピング]]による[[動的型付け]]の存在感が高められているので漸進的型付けの言語と見なされている。[[.NET Framework]]（[[共通言語基盤]]=仮想実行システム）上で実行される。

:オブジェクト指向で言われるメッセージ（''message''）は、複数の方面の考え方が混同されている曖昧な用語になっている。元々はSmalltalkから始まったメッセージ構文ベースのオブジェクト指向の中心機構である。以前はクラスベースの方でもメソッドの呼び出しをメッセージを送るという風に考えることが推奨されていた。メッセージはオブジェクトのコミュニケーション手段と標榜されているが、その忠実な実装内容はそれほど知られていないのが実情である。最も混同されているものに[[アクターモデル]]があるが、そこで言われる非同期性とオブジェクト指向で言われる遅延性は現行の実装スタイルではそれほど共通していない。[[ソフリモートウェアプロシージャコンポーネントル]]と[[Object Request Broker|オブジェクトリクエストブローカー]]で言われる相互通信の働き方もメッセージパッシングと呼ばれることが多いが、その仕様と機能は動的ディスパッチに該当するものである。メッセージのオブジェクト指向的運用はメッセージングと名付けられているが、普通にメッセージパッシングとも呼ばれている。具体的な機能例としてはSmalltalk、Objective-C、Selfの[[メッセージ転送|メッセージレシーバー]]と、Rubyのメソッドミッシングなどがある。ただしこれらは[[アラン・ケイ]]のメッセージング構想の本質を得ているものではない。

:（''generics''）は、クラス内で扱われるメンバの任意の「型」を総称化してそたままの詳細決クラス定義を可能にし、そのクラスをインスタンス化まする各構文箇所で遅延させ「型」の詳細を決定できる仕組みようにしたコンパイル時の静的な機能である。言語によっては[[テンプレート (プログラミング)|テンプレート]]（''template''）と呼ばれる。ここでの「型」とは、データメンバの型とメソッドの引数/返り値の型を指している。クラス内のそれらを総称化して型変数にし、コンストラクタ呼び出し時の仮型引数に実型引数を適用すると、型変数に実型引数を当てはめたインスタンスが生成される。型が総称化されたメンバ型を持つクラスはジェネリッククラスと呼ばれる。特定の型に依存しないクラスを汎用的に定義できるので、型が違うだけの重複コードを削減できるという利点がある。パラメトリック多相とされる。言語によっては、ジェネリッククラス同士を[[共変性と反変性 (計算機科学)|共変性と反変性]]による継承関係で結ぶことができる。これはジェネリッククラスに適用する実型引数の継承関係を、そのジェネリッククラス同士の継承関係にシフトする仕組みである。<code>class 猫 extends 動物</code>とすると<code>List<猫></code>は<code>List<動物></code>のサブクラスになる。共変性は実型引数の継承関係をそのままジェネリッククラスの継承関係にシフトするが、反変性ではこれを逆にする。共変性では<code>List<猫></code>は<code>List<動物></code>のサブクラスだが、反変性では<code>List<動物></code>は<code>List<猫></code>のサブクラスになる。[[共変性と反変性 (計算機科学)|共変性と反変性]]はまとめてバリアンス（''variance''）と呼ばれる事がある。

:（''type constraint''）は、(A)ジェネリッククラスの型引数/型変数、(B)代入値の型が実行時に決められる動的束縛型の変数、(C)動的ローディング時に詳細が隠されたままの値が代入される不透明型の変数、などの宣言に用いられるものである。それぞれは制約用の基準クラスで記号修飾され、その基準クラス及びその派生型の値が代入、束縛、適用されるという宣言になる。(A)の型引数/型変数では基準クラス及びその派生クラスが適用される宣言になる。(B)の動的束縛型では基準クラス及びその派生型の値が代入される宣言になる。(C)の不透明型では基準クラス及びその詳細不明なである派生型の値が代入される宣言になる。型制約は型境界（''type bound''）とも呼ばれる。これには上限と下限がある。これまでの説明は型制約と上限型境界（''upper type bound''）は性質的に同義であるが、その反対の。下限型境界（''lower type bound''）では上述の、基準クラス及びその基底型の値が代入、束縛、適用されるという宣言になる。