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

'''オブジェクト指向プログラミング'''（オブジェクトしこうプログラミング、{{Lang-en-short|''object-oriented programming''}}、略語:OOP）とは、互いに密接な関連性を持つ[[変数 (プログラミング)|データ]]（[[変数 (プログラミング)|変数]]または[[プロパティ]]）と[[サブルーチン|コード]]（[[関数 (プログラミング)|関数]]または[[メソッド (計算機科学)|メソッド]]）をひとつにまとめて[[オブジェクト (プログラミング)|オブジェクト]]とし、それぞれ異なる性質と役割を持たせたオブジェクトの様々な定義と、それらオブジェクトを相互に作用させる様々なプロセスの設定を通して、プログラム全体を構築するソフトウェア開発手法である。

'''[[オブジェクト指向]]'''という用語自体は、計算機科学者[[アラン・ケイ]]によって生み出されている。1962年公開の言語「[[Simula]]」にインスパイアされたケイが咄嗟に口にしたとされるこの造語は、彼が1972年から開発公開を始めた「[[Smalltalk]]」の言語設計を説明する中で発信されて1981年頃から知名度を得た。しかしケイが示したオブジェクト指向の要点である[[メッセージパッシング|メッセージング]]の考え方はさほど認知される事はなく、代わりに[[クラス (コンピュータ)|クラス]]と[[オブジェクト (プログラミング)|オブジェクト]]という仕組みを注目させるだけに留まっている。同時にケイの手から離れたオブジェクト指向は[[抽象データ型]]を中心にした解釈へと推移していき、1983年に計算機科学者[[ビャーネ・ストロヴストルップ]]が公開した「[[C++]]」が好評を博したことで、オブジェクト指向に対する世間の理解は「[[C++]]」とそのモデルの「[[Simula|Simula 67]]」のスタイルで定着した。それに基づいて[[カプセル化]]、[[継承 (プログラミング)|継承]]、[[ポリモーフィズム]]といった考え方も後年に確立された。

=== カプセル化クラスとインスタンス ===

==== メッカプセージパッシングル化 ====

1962年、ノルウェー計算センターで[[モンテカルロ法]]シミュレーションを運用していた計算機科学者[[クリステン・ニゴール]]は、[[ALGOL|ALGOL60]]を土台にしてProcessと呼ばれる[[コルーチン]]機構を加えたプログラミング言語「[[Simula]]」を公開し、続けてその拡張にも取り組んだ。ニゴールの同僚で、1963年にSimulaを[[メインフレーム|汎用機]][[UNIVAC I|UNIVAC]]系統上で運用できるように実装した計算機科学者[[オルヨハン・ダール]]は、Processにローカル変数構造を共有する複数の手続き（サブルーチン）を加えてパッケージ化する言語仕様を考案し、これは一定の変数と手続きをまとめる[[モジュール]]と同類の機能になった。程なくしてALGOL60コンパイラに準拠していての限界を悟ったニゴールとダールは、1965年からSimulaを一から再設計するように方針転換した。その過程で彼らは、計算機科学者[[アントニー・ホーア]]が考案して1962年のSIMSCRIPT（[[FORTRAN]]用のスクリプト）に実装していたRecord Classを参考にしている。Record Classはソースコード水準の抽象表現を、各[[メインフレーム|汎用機]]に準拠した[[マシンコード]]水準の実装符号に落とし込む段階的データ構造のプログラム概念であった。これをモデルにした[[継承 (プログラミング)|継承]]と、その継承構造上に成り立つを利用した仮想手続き（仮想関数）の仕組みも考案され、こ上述のパッケージ化されたProcess（モジュール）に継承と仮想手続きの両機能を備加えたProcessものパッケージ化を「[[クラス (コンピュータ)|クラス]]」と定義し、クラスをメモリに展開したものを「[[オブジェクト (プログラミング)|オブジェクト]]」と定義する言語仕様がまとまり、1967年に「[[Simula|Simula67]]」が初公開された。オブジェクトという用語は、[[MIT]]の計算機科学者[[アイバン・サザランド]]が1963年に開発した[[Sketchpad]]（[[CAD]]と[[GUI]]の元祖）の設計内にあるObjectが先例であった。Simula67コンパイラはまず[[UNIVAC I|UNIVAC]]上で運用され、翌年から汎用機[[バロース B5000|バロースB5500]]などでも稼働されて北欧、ドイツ、ソ連の各研究機関へと広まり、1972年には[[IBMメインフレーム|IBM汎用機]][[System/360]]などにも導入されて北米全土にも広まった。その主な用途は物理シミュレーションであった。{{Quotation|''influenced by Sketchpad, Simula, the design for the ARPAnet, the Burroughs B5000, and my background in Biology and Mathematics, I thought of an architecture for programming.''

ネットワーク技術の発展に連れて、データとメソッドの複合体であるオブジェクトの概念は、[[分散システム]]構築のための基礎要素としての適性を特に見出される事になり、[[IBM|IBM社]]、[[アップル (企業)|アップル社]]、[[サン・マイクロシステムズ|サン社]]などが1989年に共同設立した[[Object Management Group|OMG]]は、企業システムネットワーク向け分散オブジェクトプログラミングの標準規格となる[[CORBA]]を1991年に公開した。その前年に[[マイクロソフト|マイクロソフト社]]は[[ウェブアプリケーション]]向けの分散オブジェクト技術となる[[OLE]]を発表し、1993年には[[Component Object Model|COM]]と称する[[ソフトウェアコンポーネント]]仕様へと整備した。この[[Component Object Model|COM]]の利用を眼目にしてリリースされた「[[Microsoft Visual C++|Visual C++]]」「[[Visual Basic]]」は[[World Wide Web|ウェブ]]時代の新しいプログラミングスタイル様式を普及させる先駆になった。この頃に[[抽象データ型]]のメソッドを通したデータ抽象、データ隠蔽、[[アクセスコントロール]]および分散オブジェクト＝[[プロセス間通信]]の[[インタフェース (情報技術)|インターフェース]]機構によるプログラムの抽象化といった概念は、[[カプセル化]]という用語にまとめられるようになった。クラスの[[継承 (プログラミング)|継承]]が最もオブジェクト指向らしい機能と見なされていたのが当時の特徴であった。継承構造を利用したサプタイピングは[[多態性]]という用語に包括され、多重継承の欠点が指摘されると分散オブジェクトのそれに倣った[[インタフェース (抽象型)|インターフェース]]の多重実装設計が取り上げられた。こうしてカプセル化の誕生と連動するようにしていわゆるオブジェクト指向の三大要素がやや漠然と確立されている。1996年にサン社がリリースした「[[Java]]」は三大要素が強く意識された[[クラスベース]]であり、その中の分散オブジェクト技術は[[JavaBeans|Beans]]と呼ばれた。類似の技術としてアップル社も[[MacOS]]上で[[Objective-C]]などから扱える[[Cocoa]]を開発している。また、1994年から96年にかけて「[[Python]]」「[[Ruby]]」「[[JavaScript]]」といったオブジェクト指向スクリプト言語がリリースされ、従来の[[クラスベース]]に対する[[プロトタイプベース]]という新しいプログラミングオブジェクト指向スタイルを定着させている。1994年の[[ギャング・オブ・フォー (情報工学)|GOF]][[デザインパターン (ソフトウェア)|デザインパターン]]の発表と、1997年に[[Object Management Group|OMG]]が標準[[モデリング言語]]として採用した[[統一モデリング言語|UML]]は、オブジェクト指向プログラミングの標準化を促進させた。{{Quotation|''... there were two main paths that were catalysed by Simula. The early one (just by accident) was the bio/net non-data-procedure route that I took. The other one, which came a little later as an object of study was abstract data types, and this got much more play.''<br>（Simulaを触媒にした二本の道があった。最初の一本はバイオネットな非データ手法で僕が選んだ方。少し遅れたもう一本は抽象データ型、こっちの方がずっと賑わっている。）|Alan Kay}}

:（''class''）の仕組みを中心にしたオブジェクト指向を[[クラスベース]]と言う。クラスはデータメンバとメソッドをまとめたものであり、[[プログラム意味論|操作的意味論]]を付加された静的[[構造体|レコード]]とも解釈される。クラスはインスタンスのひな型であり、インスタンスはクラスを実例化（量化）したものである。クラスはカプセル化、継承、多態性の三機能を備えていることが求められている。カプセル化は[[This (プログラミング)|this参照]]の仕組みの実装およびデータメンバとメソッドの可視性を指定すできる機能である。継承は自身のスーパークラスを指定すできる機能である。多態性は[[オーバーライド]]と[[仮想関数テーブル]]を処理する機能である。コンストラクタとデストラクタの実装も必要とされている。前者はインスタンス生成時に、後者はインスタンス破棄時に呼び出されるメソッドである。

:（''prototype''）の仕組みを中心にしたオブジェクト指向を[[プロトタイプベース]]と言う。プロトタイプとは識別名＆中間参照ペアの集合体を指す。この集合体は一般にフレームと呼ばれる。識別名＆中間参照ペアの割り当て箇所は一般にスロットと呼ばれる。スロットにはデータメンバとメソッドの識別名＆中間参照ペアが代入されるので、プロトタイプはクラスと同様にデータメンバとメソッドをまとめたものになる。プロトタイプは言語によってはクラスと呼ばれている。プログラマはシステムが提供する基底プロトタイプに、自由にデータメンバとメソッドを付け足して任意の派生プロトタイプを作成できる。プロトタイプは「型」相当であり、それを複製する方式で生成されるインスタンスは「値」相当である。データメンバとメソッドはその参照にインスタンスを必要とするものと、しないものに分かれる。前者はインスタンスメンバ、後者は静的メンバに相当するものである。インスタンスにも自由にデータメンバとメソッドを付け足すことができる。インスタンスはそのプロトタイプへの参照を保持しており、プロトタイプはその親プロトタイプへの参照を保持している。これは継承相当の機能になっている。インスタンスへの自由なメンバ付け替えは多態性相当の機能になっている。ただしプロトタイプは動的な[[関数型言語]]由来の仕様なので、クラスを用いるベースOOPの三大要素とはまた違った視点から眺める必要がある。

:（''instance''）はクラスベースではクラスを実例化（量化）したものであり、実装レベルで言うとデータメンバ群と仮想関数テーブルをメモリ上に展開したものになる。プロトタイプベースではプロトタイプを複製する方式で生成されたオブジェクトを指す。実装レベルで言うとメモリ上に展開された識別名＆中間参照ペアの動的配列になる。

:（''data member''）はクラスまたはオブジェクトに属する変数。データ（''data''）とも略称される。言語によってフィールド(分節)、プロパティ(特性)、アトリビュート(属性)、メンバ変数と呼ばれる。データメンバは、クラスデータメンバとインスタンスデータメンバに分かれる。クラスデータメンバは静的データメンバとも呼ばれる。その中で定数化されたものはクラス[[定数 (プログラミング)|定数]]と呼ばれる。クラスデータメンバはクラス名の名前空間でスコープされたグローバル変数と同じものであり、プログラム開始時から終了時まで確保される。インスタンスデータメンバはインスタンス生成時にメモリ上に確保されるものであり、その破棄時に消滅する。インスタンスデータメンバの参照にはそのthis参照が必要である。プロトタイプベースでは、プロトタイプで定義されたデータメンバでそのアクセスにインスタンス（self）を必要としないものが静的データメンバになる。

:（''method''）はクラスまたはオブジェクトに属する関数。言語によってはメンバ関数、メンバ手続きとも呼ばれる。データメンバの参照に特化したものはゲッター（''getter''）アクセッサ（''accessor''）と呼ばれる。データメンバの変更に特化したものはセッター（''setter''）ミューテイタ（''mutator''）と呼ばれる。メソッドは、クラスメソッドとインスタンスメソッドに分かれる。クラスメソッドは静的メソッドとも呼ばれる。クラスメソッドはクラス名の名前空間でスコープされたグローバル関数と同じものである。インスタンスメソッドを呼び出すにはそのthis参照が必要である。プロトタイプベースでは、プロトタイプで定義されたメソッドでそのアクセスにインスタンス（self）を必要としないものが静的メソッドになる。

:（''constructor''）はインスタンス生成時に呼び出されるそのクラスのメソッドである。インスタンスデータメンバを任意の値で初期化するためのものであるが、その他の初期化コードも記述できる。プロトタイプベースではシステム提供プロトタイプが保持する生成用メソッドまたは生成用のグローバル関数がコンストラクタ相当になる。

:（''this''）は、言語によっては「self」や「me」とも呼ばれる。<code>instance.method()</code>の書式で呼び出されたメソッド内で、そのインスタンスのメソッドンバを呼び出暗黙アクセスできるようにす時は、こるためのthis参照仕組みである。<code>instance</code>のアドレスが暗黙の引数として<code>method</code>に渡されている。this参照は、その該当<code>method</code>内で<code>this</code>となる。インスタンスを指すポインタである。そのメソッド内でデータメンバにアクセスする時はこの<code>this</code>が自動的に付加され、例えば<code>data</code>がシステム内で「は<code>this.データメンバ」data</code>のように変換されている。メソッドはインスタンスの実体化元（量化元）クラスで定義されているものである。これは、データにメソッドを付属させるカプセル化を実現するための仕組みである。this参照に対するsuper参照（''super''）は、サブクラスのインスタンスメソッド内で用いられるものであり、直上スーパークラスのデータ/メソッドにアクセスするための参照である。オーバーライドやドミナンスを無視してスーパクラスのメンバを呼び出すための仕組みである。

:（''access control''）は、カプセル化の情報隠蔽に基づいた機能であり、クラス内のデータメンバとメソッドの可視性を決定する。可視性とはそれにアクセス（参照/変更）できる範囲を意味する。これにはレキシカルスコープ基準とクライアント基準の二通りがあるが、前者の方が一般的である。広く使われているレキシカルスコープ基準の可視性は、プライベート、プロテクト、パブリックの三種が基本である。プライベートは同クラス内のメンバからのみ、プロテクトは同クラス内と派生クラス内のメンバからのみ、パブリックはどこからでもアクセス可能である。クライアント基準の可視性は、自身メンバへのアクセスを許可するクライアントクラス（フレンドクラス）を定義する方法で決められる。そのクライアントの許可は同時にその派生クラスの許可も兼ねている事が多く、継承によるクラス群の一括定義を可能にする。

:（''overloading''）は、一つ同じメソッド名（返り値の型＋メソッド名）にそれぞれ異なるパラメータリスト（引数欄）を付けたものを任意の数だけ列挙してメソッド名を多重定義する仕組みを指す。[[演算子]]もオーバーロード対象であり、[[単項演算子]]なら一つの引数の型、[[二項演算子]]なら二つの引数の型を多重定義することで演算対象の値の型ごとに計算内容をカスタマイズできる。任意個数の引数を多重定義できる( )演算子は、[[クロージャ]]または[[関数オブジェクト]]の表現に用いられる。アドホック多相とされる。

:（''method overriding''）とは継承による階層的、基底クラス構造で定義されたメソッド名義のインスタンスにおいて呼び出しを、サブ派生クラスので実装されたメソッドシグネチャの処理内容でそのス実行につなげる機能である。これは基底メソッドを派生メソッドで上書きすると形容される。オーパバークラス側イドされた基底メソッドの同じ内容はスルーされて派生メソッドシグネチャの処理内容を置き換えが実行される仕組みを指す。メソッドシグネチャとは「（返り値の型＋メソッド名＋各引数欄」の型と個数）が完全一致している基底側が派生側で構成オーバーライドされる識別単位である。このオーバーライド指定は親、基底側のメソッドが上書きされるのをデフォルトにvirtualやabstractで修飾するの方式と、子派生側のメソッドをoverrideやredefineで上書き修飾するのをデフォルトにする二通り方式がある。前者なら子側のメソッドを''override''や''redefine''で修飾しそれは基底側で親側メソッオーバーライドを上書きす可否の定義が固定される。のに対して、後者なら親側のメソッドを''virtual''や''deferred''や''abstract''で修飾しそれは子派生側メソッドで上書再定義できされる。そfinalで修飾されとは別にただメソッドを上書きは再定義不可のオーバーライドの拒絶にする場合は''final''などで修飾する。オーバーライドはメソッド名を参照アドレの呼び出しは、基底クラスの型にマッピ代入された派生クラスのイングすスタンスで行われる。オーバーライドによって呼び出される内容が多相化されたメソッドは[[仮想関数テーブル]]と呼ばれる機能を用いて実現。[[仮想関数テーブル]]（''virtual method table''）はその多相化のための仕組みであり、メソッドシグネチャとメソッド内容アドレスがマッピングされている。

:（''abstract class''）は、全部または一部のメソッドが抽象化されているクラスを意味する。即ち抽象化されたメソッドとを持つクラスである。抽象メソッド（''abstract method''）は、メソッドシグネチャ（返り値の型＋メソッド名＋各引数欄の型と個数）だけが定義されてコード内容が省略されているメソッドを指すである。抽象クラスはインスタンス化できないので継承専用になる。抽象メソッドは、そのサブクラスの方でメソッドのコード内容が実装されてオーバーライドされる。

:（''interface''）はプログラム概念と機能名の双方を指す用語である。言語によってはプロトコルと言われる。抽象メソッドと実体メソッドをメンバにする純粋抽象〜半抽象クラスを意味する。一般的にデータメンバはメンバにされない。クラスの振る舞い側面を抜き出した抽象体である。クラスによるインターフェースの継承は実装と呼ばれる。多重実装可が普通である。ミックスインとの違いは、抽象階層に焦点が当てられている事であり、直下の実装オブジェクトを共通の振る舞い側面でまとめることがその役割である。インターフェースは自身の[[下位概念]]である実装継承オブジェクトをグループ化できる。{{仮リンク|記名的型付け|en|Nominal type system|label=}}に準拠しているのでインターフェースの実装の明記が振る舞い側面の識別基準になる。インターフェースは抽象メソッド主体なので多重継承時のメンバ名の重複はあまり問題にならない。共通の実装メソッドに集約されるからである。インターフェースは非インスタンス対象である。

:（''mixin''）はインターフェースに似たプログラム概念を指す用語である。機能名は言語によって[[トレイト]]、プロトコル、構造型（''structural type''）と言われる。抽象メソッドと実体メソッドとデータメンバをメンバにする継承専用クラスを意味する。クラスを特徴付けるための構成パーツである。クラスによるトレイトの継承は実装と呼ばれる。多重実装可が普通である。インターフェースとの違いは、トレイトの実装階層に焦点が当てられている事であり、オブジェクトを所有メンバで特定してまとめることがその役割である。トレイトは自身の[[上位集合]]である実装継承オブジェクトをグループ化できる。{{仮リンク|構造的型付け|en|Structural type system|label=}}に準拠しているので所属メンバ構成自体がトレイト等価性の識別基準になる。これはトレイト実装を明記していなくても、そのトレイトが内包する全メンバを所持していれば同じトレイトと見なされることを意味する。トレイトは合成や交差が可能である。トレイトは多重継承時のメンバ名重複の際にその参照の優先順位に注意する必要がある。トレイトは非インスタンス対象である。

:''（duck typing''）は、特定のメソッド名（メソッドシグネチャ）またはプロパティ名（データメンバ名）の識別子を持っているかどうかでインスタンスをその都度分類する仕組みである。これはその場限りの型判別と言えるものである。判別されたインスタンスは自身が持つとされたメソッドまたはプロパティを呼び出される事になる。[[動的型付け]]の機能であり、ダックタイピングでは型情報の構成内容が判定基準になっているので{{仮リンク|構造的型付け|en|Structural type system|label=}}の考え方に準じている。

:（''metaclass''）は{{仮リンク|メタオブジェクトプロトコル|en|Metaobject|label=}}に準拠した機能名であり、実装方式は言語毎に違いがある。メタクラスは、クラスのデータメンバ、メソッド、スーパークラス、内部クラスなどの定義情報を記録した[[メタデータ]]である。クラスベースのメタクラス機能は、実装レベルではシステム側が用意している特別なシングルトンオブジェクトと考えた方が分かりやすい。それにはほとんどの場合システム側が提供する抽象インターフェースを通してのみアクセスできる。メタクラス内容を閲覧/変更できる機能はリフレクションと呼ばれる。プロトタイプベースでは、インスタンスの複製元であるプロトタイプまたはクラスがメタクラス機能も備えており、データメンバとメソッドの静的な事前定義の他、実行時にも動的にデータメンバとメソッドを付け替えできる。プロトタイプないしクラスもプログラマが自由に扱えるオブジェクトになっている。

:（''reflection''）は、メタクラス内容を閲覧/変更する機能であるが、変更できる内容範囲は言語ごとに異なっている。データメンバではデータ型、識別子、可視性が変更対象になる。メソッドではリターン型、識別子、パラメータリスト、可視性、オーバーライド指定が変更対象になる。双方の追加定義と削除もできる事がある。スーパークラスも変更できる事がある。メタクラスの変更はそのまま関連クラスと関連インスタンスにリフレクション（反映）される。ただし反映範囲はこれも言語によって異なる。

:また、実行時の文字列（char配列やString）をデータメンバとメソッドの内部識別子として解釈できる機能もリフレクションであり、上述のメタクラス操作よりもこちらの方がよく用いられる。これは実行時の文字列データを用いてのデータメンバ/メソッドへの動的なアクセスを可能にする。

:（''metadata annotation''）はクラスに任意の情報を埋め込める機能である。情報とは文字列と数値からなるキーワード、シンボル、テキストである。プログラマが自由な形式で書き込んで随時読み取るものであるが、システムから認識される形式のものもある。実装レベルではメタクラスに書き込まれてリフレクション機能またはその[[糖衣構文]]で読み取ることになる。[[マーカーインタフェース|マーカーインターフェース]]の拡張とも見なされている。メタアノテーションはクラス単位だけでなく、言語によってはインスタンス単位やメソッド単位でも埋め込むことができる。アドホック多相とされる。

:（''dynamic dispatch''）は、コンパイル時のメソッド名から呼び出されるメソッド内容が実行時に決定される仕組み全般を指す用語である。メソッドに引数を渡しての呼び出しを、オブジェクトにメッセージを発送（ディスパッチ）することになぞらえた事が由来である。発送先は実行時に選択決定されるメソッド内容を指す。メッセージは「[[This (プログラミング)|this参照]]×第1引数×第2引数..」といった[[直積集合]]で考えられているのでシングル、ダブル、マルチプルといった呼称になっている。発送先はthisおよび各引数の派生関係の組み合わせで選択される。thisの派生関係のみ影響しているものは専ら仮想関数と呼ばれるシングルディスパッチになる。それがthisでなく引数ならばただのシングルディスパッチになる。thisまたは各引数の内の2個以上のオブジェクトの派生関係が影響しているものは[[多重ディスパッチ|マルチプルディスパッチ]]になる。その中で特にthisと先頭引数の2個が影響して先頭引数インスタンスの仮想関数がthisを引数にしているVisitor形態のものは[[ダブルディスパッチ]]と呼ばれている。

:（''dynamic binding''）は、識別子が参照するまたは呼び出すオブジェクト、インスタンス、メソッド、データメンバなどのプログラム要素が、コンパイル時ではなく実行時に決められる仕組み全般を指す用語である。識別子はいわゆる変数名や関数名などを指す。

:（''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''）と呼ばれる事がある。

:オブジェクト指向下の関数オブジェクト（''function object''）はクラスベースでは、メソッドそのものを( )[[演算子オブジェクトして扱うというプーバーログラム概念であード]]による。関数型実装と、[[デリゲート (プログラミングの[[クロ)|デリゲージャト]]をモデルにしていよる実装などがある。前者はインスタンスを単に関数名らしく見せるための糖衣構文である( )[[演算子オ。後者のデリゲーバーロード]]やトは、メソッドシグネチャを型種にした[[関数ポインタ]]型の変数である[[デリゲート (プログラミング)|デリゲート]]などの実装形式がある。デリゲート変数にはインスタンスメソッドへの参照が代入されてクラス種類とそのインスタンス種類による処理の多相を表現できる。プロトタイプベースにおけるでは、関数はオブジェクトそのものと言える存在であり、ローカル変数がままプロパティ存在/メソッドを自由になっているのでクロージャが自然表現付け替えできる他、写像（動的バインディング）オブジェクトになる。それらは同時に関数の型として解釈されるローカル変数はメソッドの表現手段になる。そのメソッドの引/関数構成もプロパティ存在になっている場合はそれも変更できてクラスベースにおけるリフレクションを自然表現する。

:（''message receiver''）は、メソッセージド名を文字列で受け取ることに特化されたメソッドができる仕組みである。メッセージレシーバーはり、インスタンスのデフォルトで呼び出されるメソッド（共通窓口レシーバーの形態と、指定メソッドが存在）としていない時に呼び出さ備えられる補足レシーバーもの形態がである。窓口レシーバーメソッド名の次に引数が渡される。メソッセージド名文字列はセレクタと引数のペアまたはそのどちらかだけという書式であも呼ばれる。窓口プログラマはセレクタをレシーバーは極め内で自由に解釈して柔軟な任意のプロセスを実現に選択分岐できる。通常の<code>instance.method(arg)</code>が、実装の煩雑さとオレシーバーヘッドが大きくなる。セレクタ機構では識別子またはペア引数<code>instance selector: arg</code>や<code>instance.receiver(method_name, arg)</code>の注釈ようになる文字列である。受け取ったセレクタはメソッドへの自動による選択分岐をシステム側が主な用途になるが、そのフィルター処理と取りこぼ自動化し処理の中でただのキーワードとしても自由に解釈できる。補足レシーバーのメッセージはがメソッド名文字列と引数配列という書式になっており、いかなた。これの応用形であるメソッドミッシングネチャは、インスタンスにも該当し事前定義されていなかっいメソッドが呼び出された時にのみ、取りこぼしになる。こ用のレシーバーが呼び出されて、文字列化されたメソッド名文字列と引数配列を自由に解釈して柔軟な処理を行えが渡される。補足レシーバーの機能名はメソッドミッシングなどという仕組みである。

:（''immutable object''）は、データメンバが不変の設定されたクラスとそのインスタンスを指意味する。定数データメンバだけを持つクラインスとも読み替えられる。タンス、不変文字列型や、不変プリミティブの[[ボックス化|ボックス型]]、収納内容が不変の定数オブジェコレクトもション（Array、List、Set、Map）などを指す。イミュータブル（不変）はオブジェクトの性質というよりも、それを何のためにどう扱うかというプロセスまたはアルゴリズムとデザインパターンの方が要点になる。不変オブジェクトは[[並行計算|並行OOP]]と[[関数型言語|関数型OOP]]で最も重要視される。不変オブジェクトではセッターとミューテイタは禁止され、代わりに元への変更を反映して新たに生成したオブジェクトが返されることになる。この不変オブジェコレクションクトを取り扱う際のプログラミングスタイルでは従来要素のOOP追加/削除/変更による結果内容のコレクションが新たに生成されてそれが返り値にされまた引数用途にもなることから大幅に変わ、これはファーストクラスコレクションと呼ばれる。ただしなお、不変オブジェクトをコピーした専用の可変オブジェクトを取得したのならば、それへのセッターとミューテイタは許される。これは''copy-on-write''と呼ばれる仕組みである。

:（''subtyping''）はクラス（型）のあらゆる派生関係および派生構造の実装形式とその働き方を包括したプログラム概念である。サブタイプ多相（''subtype polymorphism''）とも呼ばれる。継承、オーバーライド、コンポジション、ジェネリクス、共変反変バリアンス、不透明型といったものは全てサブタイピングの一側面である。オブジェクト指向でよく使われるものは、振る舞いサブタイピング（''behavioral subtyping''）であり、これに当てはまるものは継承とメソッドオーバーライドを組みの合わせた技である仮想関数であがそれに当たる。

:* 合成（''composition''）は強いhas-a関係であり、AクラスがBクラスをデータメンバにし、Aクラスのコンストラクタと同時にBインスタンスが生成され、Aクラスのデストラクタと同時にBインスタンスが破棄される場合、AはBの合成となる。Bが自身のサブクラスで交換される場合は分離とともに破棄される。

:* 集約（''aggregation''）は弱いhas-a関係であり、AクラスがBクラスをデータメンバにし、Aクラスのコンストラクタとは関係なくBインスタンスが生成され、AクラスのデストラクタでBインスタンスが破棄されず、また分離時も破棄されない場合、AはBの集約となる。Aクラスがコレクション（配列、List、Set、Map）の仕組みでBインスタンスを持つ場合も、AはBの集約となる。

:* 依存（''dependency''）は強いhas-a関係であり、Aクラスのいずれかのメソッドが、Bクラスを引数の型または返り値の型にしている場合、AはBに依存しているとなる。なお、AクラスがBクラスの型のデータメンバを[[has-a]]している場合のAからBへの依存は、合成/集約の方で省略されている。