オブジェクトしこう‐プログラミング〔‐シカウ‐〕【オブジェクト指向プログラミング】
読み方：おぶじぇくとしこうぷろぐらみんぐ
《object-oriented programming》コンピューターのプログラミング技法の一。データに対する処理はデータそのものに付随したものであるというオブジェクト指向の概念に基づく。プログラムの内部動作や操作手順の詳細を知ることなく利用でき、また、再利用が容易になるため、ソフトウエアの設計や開発の効率化を図ることができる。この手法によるプログラミング言語としてC++、Java、スモールトークなどがある。OOP。
オー‐オー‐ピー【OOP】
読み方：おーおーぴー
《object-oriented programming》⇒オブジェクト指向プログラミング
オブジェクト指向
ソフトウェア開発の考え方の一つ。データとそのデータを処理するためのメソッドがセットになった様々なオブジェクトを作り、オブジェクトに様々な処理をさせるという形でプログラムを作成していく。
具体的には、クラスというデータとそのデータを処理するメソッドがセットになったものを定義しておき、プログラム内で、定義したクラスのインスタンスを作成してメソッドを実行することで、そのインスタンスのデータを処理する。インスタンス一つ一つやクラス自体など、オブジェクト指向では様々なものがオブジェクトと呼ばれる。PHP 5で、はオブジェクト指向開発を行うための言語仕様が大幅に改良された。
関連用語
OOPSLA
(Object-oriented programming から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/24 05:47 UTC 版)
ナビゲーションに移動 検索に移動
OOPSLA (Object-Oriented Programming, Systems, Languages & Applications) とは、ACMが毎年開催している国際会議である。オブジェクト指向プログラミングのシステム、言語、アプリケーションを主題としている。
第1回のOOPSLAは1986年、ポートランドで開催された。主催したのはACMのSIGPLAN (Special Interest Group for Programming Languages) であった。OOPSLAの開催地とテーマは毎年変わる。通常、論文発表を中心として、比較的実用的な実験報告、パネル、ワークショップ、チュートリアルなどがある。
OOPSLAは今日のオブジェクト指向プログラミングの隆盛に寄与してきた。また、デザインパターン、リファクタリング、アスペクト指向プログラミング、モデル駆動工学、アジャイルソフトウェア開発、ドメイン固有言語といった関連分野の発展にも寄与した。
ヨーロッパではOOPSLAに対応する国際会議として ECOOP がある。
OOPSLAの単独開催は2009年度が最後になっており、2010年以降はACM主催の綜合コンピュータプログラミング国際会議「SPLASH」に組み込まれて、包括開催されるようになっている。
これまでの開催地と幹事
| 年 | 開催地 | 会議幹事 | プログラム幹事 |
|---|---|---|---|
| 2010年 | SPLASHの包括会議に移行 | ||
| 2009年 | フロリダ州オーランド | Shail Arora | Gary T. Leavens |
| 2008年 | テネシー州ナッシュビル | Gail E. Harris | Gregor Kiczales |
| 2007年 | カナダ ケベック州モントリオール | Richard P. Gabriel | David Bacon |
| 2006年 | オレゴン州ポートランド | Peri Tarr | William Cook |
| 2005年 | カリフォルニア州サンディエゴ | ラルフ・ジョンソン | Richard P. Gabriel |
| 2004年 | カナダ ブリティッシュコロンビア州バンクーバー | ジョン・ブリシディース | Doug Schmidt |
| 2003年 | カリフォルニア州アナハイム | Ron Crocker | ガイ・スティール・Jr |
| 2002年 | ワシントン州シアトル | Mamdouh Ibrahim | 松岡聡 |
| 2001年 | フロリダ州タンパ湾区 | Linda Northrop | ジョン・ブリシディース |
| 2000年 | ミネソタ州ミネアポリス | Mary Beth Rosson | Doug Lea |
| 1999年 | コロラド州デンバー | Brent Hailpern | Linda Northrop |
| 1998年 | カナダ ブリティッシュコロンビア州バンクーバー | Bjorn Freeman-Benson | Craig Chambers |
| 1997年 | ジョージア州アトランタ | Mary Loomis | Toby Bloom |
| 1996年 | カリフォルニア州サンノゼ | Lougie Anderson | James Coplien |
| 1995年 | テキサス州オースティン | Rebecca J. Wirfs-Brock | Mary Loomis |
| 1994年 | オレゴン州ポートランド | Jeff McKenna | J. Eliot B. Moss |
| 1993年 | ワシントンD.C. | Timlynn Babitsky and Jim Salmons | ラルフ・ジョンソン |
| 1992年 | カナダ ブリティッシュコロンビア州バンクーバー | John Pugh | Rebecca J. Wirfs-Brock |
| 1991年 | アリゾナ州フェニックス | John Richards | Alan Snyder |
| 1990年 | カナダ オンタリオ州オタワ （ECOOPと共催） | David Thomas and Pierre Cointe | 米澤明憲 |
| 1989年 | ルイジアナ州ニューオーリンズ | George Bosworth | ケント・ベック |
| 1988年 | カリフォルニア州サンディエゴ | Alan Otis and ラリー・テスラー | Kurt Shmucker |
| 1987年 | フロリダ州オーランド | Adele Goldberg and Chet Wisinski | Jerry L. Archibald |
| 1986年 | オレゴン州ポートランド | Daniel G Bobrow and Alan Purdy | Daniel Ingalls |
外部リンク
オブジェクト指向プログラミング
 | この項目「オブジェクト指向プログラミング」は途中まで翻訳されたものです。（原文：en:Object-oriented programming(13:57, 15 November 2021 UTC)の翻訳） 翻訳作業に協力して下さる方を求めています。ノートページや履歴、翻訳のガイドラインも参照してください。要約欄への翻訳情報の記入をお忘れなく。（2021年11月） |
| プログラミング・パラダイム |
|---|
|
オブジェクト指向プログラミング（オブジェクトしこうプログラミング、英: object-oriented programming, OOP）とは、「オブジェクト」という概念に基づいたプログラミングパラダイムの一つである。
OOPでは、相互に作用するオブジェクトを組み合わせてプログラムを設計する[1][2]。
OOPの方法として、クラスベースOOPとプロトタイプベースOOPがある。 クラスベースOOPでは、オブジェクトが属する集合としてクラスを定義し、クラス定義からそのインスタンスとしてオブジェクトを生成する。 プロトタイプベースOOPでは既存のオブジェクト（プロトタイプ）を複製し、プロトタイプの複製に変更を加えることで様々な対象を表すオブジェクトを生成する。
広く使われているプログラミング言語の多く、例えばC++やJavaやPythonなどは、マルチパラダイムであるが、程度の差はあれ、オブジェクト指向プログラミングをサポートしており、大抵は命令型や手続き型プログラミングとの組み合わせで用いられる。
歴史
Button クラスは、データを表す変数（図中 xsize など）と関数（図中 draw() など）を持つ。一般的なクラスは継承によりサブクラスを持つことができる。また、オブジェクトはクラスのインスタンスである。アラン・ケイによれば “object-oriented”（オブジェクト指向）という言葉は、1967年ごろケイ自身が考案したものであるという[3]。しかし、現在のオブジェクト指向プログラミングという文脈における「オブジェクト」や「指向」を表す用語が初めて登場したのは、1950年代後半から1960年代前半にかけてのマサチューセッツ工科大学(MIT)においてである。 1960年代初頭の人工知能グループ界隈では、「オブジェクト」はプロパティ（属性）を持つ個体識別可能なアイテム（LISPの atom）を意味していた[4][5]。 後にケイは、1966年にLISPの内部構造を詳細に理解したことが彼の考え方に強い影響を与えたと述べている[3]。
MITにおける初期の例としては、この他にも、1960年から1961年にかけてアイバン・サザランドが作成したSketchpadが挙げられる。サザランドは、1963年の技術レポートの用語集 （Sketchpadに関する自身の博士論文をもとにしたもの）で、グラフィカルなインタラクションに特化しているとはいえ「オブジェクト」と「インスタンス」の概念を定義している （クラスの概念は"master"または"definition"として把握されている）。[6] また、MIT版のALGOLであるAED-0では、データ構造 （この言語の方言では"plexes"と呼称）と手続きを直接結びつけ、後に「メッセージ」、「メソッド」、「メンバ関数」と呼ばれるようなものの萌芽がみられる。[7]
1962年、クリステン・ニゴールはノルウェー計算センターでシミュレーション言語のプロジェクトを開始した。これは彼が以前に用いたモンテカルロ法と実世界のシステムを概念化する仕事に基づくものであった。オーレ＝ヨハン・ダールが正式にプロジェクトに参加し、UNIVAC I (UNIVAC 1107) 上で動作するSimulaプログラミング言語が設計された。Simulaは、クラスやオブジェクト、継承、ダイナミックバインディングなど、今日のオブジェクト指向プログラミングには不可欠である重要な概念を導入した。[8] Simulaはまた、プログラミングにおけるデータ保全を考慮して設計されたものでもあった。プログラミングのデータ保全のために参照カウントによる検出プロセスが実装されたのに加え、最終手段としてガベージコレクタが主記憶装置（メモリ）内の使用されていないオブジェクトを削除するようになっていた。しかし、データオブジェクトの概念は1965年には既に確立されていたものの、プライベートやパブリックといった変数のスコープのレベルによるデータのカプセル化については、アクセスする手続きもまた隠蔽できなければならなかったため、Simulaでは実装されなかった。[9]
初期の段階では、Simulaはプログラミング言語ALGOL 60のための手続きパッケージとされていた。しかし、ALGOLによる制約に不満を感じた研究者たちは、UNIVAC ALGOL 60コンパイラを使用した本格的なプログラミング言語としてSimulaを開発することにした。ダールとニゴールは1965年から1966年にかけてSimulaの普及に尽力し、スウェーデン、ドイツ、ソビエト連邦などでSimulaの使用が増加した。1968年には、バロース B5000上で広く利用されるようになり、後にはURAL-16コンピュータ上にも実装された。1966年、ダールとニゴールはSimulaのコンパイラを書いた。彼らは、SIMSCRIPT （自由形式の英語的な汎用シミュレーション言語）を実装に用いて、アントニー・ホーアのレコード・クラス概念を取り入れることに熱心に取り組んだが、彼らは、一般化されたプロセスの概念として、レコード・クラスの属性を保持する層と、接頭辞 (prefix) の系列を保持する層の二層構造とする方式に辿り着いた。 接頭辞の系列を通じて、プロセスは先行する定義を参照し、それらの属性を追加することができる。このようにしてSimulaは、クラスとサブクラスの階層を導入し、これらのクラスからオブジェクトを生成することを可能にする方法を導入することとなった。[7]
1972年にはIBM System/360およびIBM System/370のIBMメインフレーム用にSimula 67コンパイラが完成[8]。同年、フランスのCII 10070およびCII Iris 80メインフレーム用のSimula 67コンパイラが無償で提供された。1974年には、Simulaユーザー会は23カ国のメンバーを有するまでになっていた。1975年初頭、DECsystem-10メインフレームファミリー用のSimula 67コンパイラが無償でリリースされ、同年8月までにDECsystem-10のSimula 67コンパイラは28サイトにインストールされた （そのうちの22サイトは北米）。オブジェクト指向のプログラミング言語としてSimulaは、貨物港における船舶と積載貨物の動きを調査・改善するための研究のような、物理モデリングの研究に携わる研究者に主に利用されていた[8]。
1970年代、Xerox パロアルト研究所(PARC)において、アラン・ケイ、ダン・インガルス、アデル・ゴールドバーグらによって、プログラミング言語Smalltalkの最初のバージョンが開発された。Smaltalk-72はプログラミング環境を含み、動的型付けであり、当初はコンパイルしてからの実行ではなくインタプリタ実行であった。Smalltalkは、言語レベルでのオブジェクト指向の適用と、グラフィカルな開発環境で注目されたが、Smalltalkが様々なバージョンを経て成長するにつれ、この言語への関心も高まっていった[10]。 SmalltalkはSimula 67で導入されたアイデアの影響を受けてはいるものの、クラスを動的に生成・変更できるなど、完全に動的なシステムとして設計された[11]。
1970年代、SmalltalkはLispコミュニティに影響を与え、Lispコミュニティは、Lispマシンを通じて開発者に紹介されたオブジェクトベースの技術を取り入れた。Lispの様々な拡張機能（LOOPS やFlavorsなどが導入した多重継承やMixin）の試みは、最終的に関数型プログラミングとオブジェクト指向プログラミングを統合し、メタオブジェクト・プロトコルによる拡張を可能にしたCommon Lispのオブジェクト指向システム (CLOS) へとつながった。 1980年代には、メモリ上のオブジェクトをハードウェアでサポートするプロセッサ・アーキテクチャを設計する試みがいくつか行われたが、Intel iAPX 432やLinn Smart、Rekursivなど、いずれも商業的に成功しなかった。
1981年、ゴールドバーグはByte Magazine 8月号のSmalltalk特集号で、Smalltalkとオブジェクト指向プログラミングをより多くの人々に紹介した。 1986年、ACMが主催する第一回OOPSLAが開催され、予想に反して1,000人が参加した。1980年代半ばには、ITTでSmalltalkを使っていたブラッド・コックスによってObjective-Cが開発され、博士論文でSimulaを扱っていたビャーネ・ストロヴストルップよってオブジェクト指向のC++が作られた[10]。 1985年には、バートランド・メイヤーもEiffelの最初の設計を行った。ソフトウェアの品質に焦点を当てたEiffelは、純粋なオブジェクト指向プログラミング言語であり、ソフトウェアのライフサイクル全体をサポートする記法をもつ。メイヤーは、ソフトウェア工学とコンピュータサイエンスの少数の重要なアイデアに基づいたEiffelでのソフトウェア開発手法をオブジェクト指向入門で解説している。Eiffelでは、メイヤーが開発した信頼性担保の機構である契約プログラミングが、開発手法と言語の双方に不可欠な要素となっている。
1990年代前半から半ばにかけて、オブジェクト指向プログラミングは、その技術をサポートするプログラミング言語が広く普及したことにより、プログラミングパラダイムとして主要なものとなった。その中には、Visual FoxPro 3.0[注 1][12][13]、C++[14]、Delphi[15]などがある。 その勢力は、オブジェクト指向プログラミング技術に支えられたグラフィカルユーザインタフェースの人気向上と共に高まった。動的なGUIライブラリとOOP言語が密接に連携している例としては、Smalltalkを規範にしたCのオブジェクト指向の動的メッセージング拡張であるObjective-Cで書かれたmacOSのCocoaフレームワークなどが挙げられる。また、OOPツールキットの存在は、イベント駆動型プログラミングの人気を高めることにも繋がった（ただし、この概念はOOPに限定されるものではない）。 チューリッヒ工科大学では、ニクラウス・ヴィルトらが、データ抽象化やモジュール化プログラミングなどの研究を行っていた （ただし、これらは1960年代以前にも一般的に使われてはいた）。 1978年に発表されたModula-2にはこの2つが盛り込まれており、その後に発表されたOberonでは、オブジェクト指向やクラスなどに対する独自のアプローチが盛り込まれている[16]。
オブジェクト指向の機能は、Ada、BASIC、Fortran、Pascal、COBOLなど、既存の多くの言語に追加されていったが、しかし、設計当初にこれらの機能を想定していなかった言語に追加した場合、コードの互換性や保守性には問題が生じることが多かった。
最近では、主としてオブジェクト指向でありながら、手続き型プログラミングの方法論にも対応した言語が数多く登場している。そのような言語としては、PythonやRubyがある。最近の商業的なオブジェクト指向言語で最も重要なものには、サン・マイクロシステムズ社が開発したJavaや、Microsoftの.NETプラットフォーム用に設計されたC#、Visual Basic .NET (VB.NET) が挙げられる。 これら二つのフレームワークは、実装を抽象化することによるOOP使用の利点をそれぞれの方法で示している。VB.NETとC#間では言語間継承をサポートしており、一方の言語で定義されたクラスが他方の言語で定義されたクラスをサブクラス化することができる[17]。
OOPLの特徴
オブジェクト指向プログラミング言語 (OOPL) では、オブジェクトを使用するが、言語仕様でOOP対応を謳っていても、関連する技術や構造のすべてが言語機能により直接サポートされているわけではない。以下に挙げる特徴は、特に言及されている例外を除いて、クラス指向やオブジェクト指向の傾向が強いとされる言語 （あるいはOOPをサポートするマルチパラダイムプログラミング言語）に共通すると考えられるものである。
非OOPLとの共通点
- 変数
- 整数型や英数字の文字のような形式化された少数の組み込みデータ型の情報、または、文字列、リスト、ハッシュテーブルなどのデータ構造に、組み込み型もしくは、ポインタが格納されたものを結果として格納することができる。
- 手続き（関数、メソッド、サブルーチンとも呼ばれる）
- 入力を受け取り、出力を生成し、データを操作する。近年の言語には、ループや条件構文のような構造化プログラミングの構成要素が含まれる。
モジュラープログラミングサポートでは、手続きをファイルやモジュールにまとめて整理する機能がある。モジュールは名前空間を持つため、あるモジュールの識別子が、他のモジュールの同名の手続きや変数と衝突することを避けることができる。
クラスとオブジェクト
オブジェクト指向プログラミング（OOP）をサポートする言語は、コードの再利用と拡張性のために、典型的には、クラスまたはプロトタイプの形で継承を使用する。クラスを使用するものは、主に二つの概念をサポートする。
- クラス
- 与えられた型やクラスのオブジェクトのデータ形式やそれらを利用可能な手続きの定義であり、また、データや手続き （クラスメソッドとも呼ばれる）そのものを含む場合もある。つまり、クラスは、メンバーとなるデータや手続きを含むものである。
- オブジェクト
- クラスのインスタンス
オブジェクトは、システムが扱おうとする（多くは現実世界の）対象を表現したものである。例えば、描画アプリケーションにおける「円」・「四角」・「メニュー」などのオブジェクトや、オンラインショッピングシステムにおける「ショッピングカート」・「顧客」・「商品」などのオブジェクトがある[18]。 オブジェクトは、ファイルのオープンを表すオブジェクトや、米国慣用単位からメートル法に変換するサービスを提供するオブジェクトのように、より抽象的なエンティティを表すこともある。
各々のオブジェクトは、特定のクラスのインスタンスと呼ばれる （例えば、nameフィールドに "Mary"が設定されているオブジェクトは、クラスEmployeeのインスタンスとなる）。OOPの手続きはメソッドと呼ばれ、変数は、フィールド、メンバー、属性、プロパティとも呼ばれる。関連して、以下のような用語がある
- クラス変数
- クラス自体に属する。変数をクラス全体に唯一のものとして所有する。
- インスタンス変数または属性
- 各々のオブジェクトに属する。データはオブジェクトごとに所有する。
- メンバ変数
- 特定のクラスで定義されるクラス変数とインスタンス変数の両方を指す。
- クラスメソッド
- クラス自体に属する。クラス変数へのアクセスのみ有し、手続き呼び出しからの入力のみ受け付ける。
- インスタンスメソッド
- 各々のオブジェクトに対して、呼び出された特定のオブジェクトのインスタンス変数、入力、およびクラス変数にアクセスできる。
オブジェクトは、複雑な内部構造を持った変数のようにアクセスされるが、多くの言語で実質的にはポインタでありインスタンス （ヒープやスタック内のメモリ上オブジェクト）への参照として機能する。オブジェクトは、内部コードと外部コードを分離を可能とする抽象化の層を提供する。外部のコードは、特定の入力引数の組み合わせで特定のインスタンスメソッドを呼び出したり、インスタンス変数を読み込んだり、インスタンス変数に書き込んだりすることで、オブジェクトを使用することができる。オブジェクトは、コンストラクタと呼ばれるクラス内の特定メソッドを呼び出すことで生成される。プログラムは実行中に、それぞれ独立して操作することが可能な同じクラスのインスタンスを多数作成することができる。これは、同じ手続きを異なるデータセットで簡便に利用する方法となる。
クラスを使用するOOPをクラスベース・プログラミングと呼ぶことがあるが、プロトタイプベース・プログラミングではクラスを使用しないのが一般的である。そのため、オブジェクトとインスタンスという概念の定義は、それぞれで大きく異なるが類似した用語が用いられている。
言語によっては、トレイトやmixinのような概念を用いてクラスやオブジェクトを構成することが可能である。
クラスベース対プロトタイプベース
クラスベースの言語では、予めクラスが定義され、そのクラスに基づいてオブジェクトがインスタンス化される。例えば、appleとorangeという2つのオブジェクトが、Fruitというクラスからインスタンス化された場合、それらは本質的には果物であり、同じように取り扱えることの保証がされる。
プロトタイプベースの言語では、オブジェクトが主要な実体である。クラスは存在しない。オブジェクトのプロトタイプとは、あるオブジェクトからリンクされている別のオブジェクトに過ぎない。すべてのオブジェクトは一つのプロトタイプリンクを持つ （一つのみ）。新しいオブジェクトは、プロトタイプとして選ばれた既存のオブジェクトに基づいて作成することができる。fruitオブジェクトが存在し、appleとorangeの両方がfruitをプロトタイプとしている場合、2つの異なるオブジェクトappleとorangeを果物と考えることができる。fruit「クラス」という概念は明示的には存在しないが、同じプロトタイプを共有するオブジェクトの同値クラスとしては存在する。プロトタイプの属性やメソッドは、このプロトタイプで定義された同値クラスのすべてのオブジェクトから委譲先とされる。オブジェクト固有の属性やメソッドは、同値クラスの他のオブジェクトに共有されない場合がある。例えば、属性sugar_contentはappleには予期せず存在しない場合がある。プロトタイプで実装できるのは単一継承のみである。
動的ディスパッチとメッセージパッシング
メソッドの呼び出しに応じて実行する手続きのコードを選択するのは、外在するコードではなく、オブジェクトの責任である。典型的には、オブジェクトに関連付けられたテーブルから実行時にメソッドを検索するが、この機能は動的ディスパッチとして知られており、抽象データ型 （またはモジュール）において、すべてのインスタンスの操作が静的に実装されているのとは対照的である。呼び出しの変化が、呼び出されたオブジェクトの単一の型にのみには依らない場合 （つまり複数のオブジェクトがメソッド選択に関与する場合）、多重ディスパッチと呼ばれる。
メソッド呼び出しは、メッセージパッシングとも呼ばれる。これは、メソッド呼び出しを、ディスパッチのためにオブジェクトに渡されるメッセージ （メソッドの名前とその入力引数）として概念化したものである。
カプセル化
カプセル化とは、オブジェクト指向プログラミングにおいて、データとそのデータを操作する関数を結び付け、両者を外部からの干渉や誤用から守ることである。データのカプセル化は、OOPの重要な概念である情報隠蔽にも通じる。
クラスがメソッドを通じてのみオブジェクトの内部データへのアクセスを許可し、それ以外の呼び出しコードにアクセスを許可しない場合、これはカプセル化として知られる強力な抽象化、または情報隠蔽の形態である。いくつかの言語 （Javaなど）では、クラスがアクセス制限を明示的に行うことができる。例えば、内部データであることをprivateというキーワードで指定し、クラス外のコードが使用することを意図したメソッドをpublicというキーワードで指定することができる。また、メソッドはpublic、private、またはprotected （同クラスとそのサブクラスからのアクセスは許可するが、異なるクラスのオブジェクトからのアクセスは許可しない）のように中間のアクセスレベルとすることもできる。また他の言語 （Pythonなど）では、アクセス制限は、命名法などの慣例によってのみ強制される （例えば、privateのメソッドはアンダースコアで始まる名前を持つ、など）。カプセル化することで、外部のコードがオブジェクトの内部動作に関与してしまうことを防ぐことができ、リファクタリングを容易にする。例えば、クラスの設計者は、外部のコードは変更することなく、そのクラスのオブジェクト内部のデータ表現を変更することができる （公開されているメソッドの呼び出しが同じように動作する限りにおいて）。また、特定のデータに関連するすべてのコードを同じクラスに配置することで、他のプログラマが理解しやすいように整理することもできる。カプセル化は、疎結合を促進する技術である。
コンポジション、継承、委譲
オブジェクトは、そのインスタンス変数に他のオブジェクトを含めることができ、これをオブジェクトコンポジションと呼ぶ。例えば、"従業員"クラスのオブジェクトは、"名前" や "役職"といった自身のインスタンス変数に加えて、"住所"クラスのオブジェクトを （直接またはポインタを介して）含むことができる。 オブジェクトコンポジションは、"has-a" の関係を表現するために使用できる。例えば、すべての従業員は住所を持っているので、すべての"従業員"オブジェクトは、"住所"オブジェクトを格納する場所 （オブジェクトに直接埋め込まれていることも、ポインターで指定された別の場所に格納されることもある）にアクセスできる。
クラスをサポートする言語は、大抵は継承をサポートしている。継承とは、クラスを「○○は△△である」という関係("is-a-type-of")の階層に配置することであるが、例えば、Employee クラスは Person クラスを継承する場合、親クラスで利用できるデータやメソッドは、子クラスでも同じ名前で利用可能である。また、Person クラスは、first_name と last_name という変数を make_full_name() というメソッドで定義した場合、これらの定義はEmployeeクラスでも利用可能である。加えて、Employeeクラスには変数 position と salary を追加することもできる。この手法では、同じ手続きやデータ定義を簡単に再利用できるだけでなく、現実世界の関係を直感的に反映できる可能性を広げる。開発者は、データベースのテーブルやプログラミングのサブルーチンを扱うのではなく、開発アプリケーションのユーザーがより精通しているドメインのオブジェクトを扱うことができる[19]。
サブクラスはスーパークラスで定義されたメソッドをオーバーライドできる。言語よっては多重継承が可能だが、多重継承ではオーバーライドの解決は複雑になる可能性がある。また、言語によってはmixinを特別にサポートしているものもあるが、多重継承をサポートする言語では、mixinは単に is-a-type-of の関係を表すことのないクラスの一つである。mixinは典型的には、同一のメソッドを複数のクラスに追加するために使われる。例えば、共通の親クラスを持たないFileReaderクラスとWebPageScraperクラスに、unicode_to_ascii()というメソッドを持つUnicodeConversionMixinクラスを含ませる（mixinする）ことにより共通のメソッドを提供することができる。
抽象クラスは、オブジェクトへインスタンス化することはできない。インスタンス化できる他の具象クラスが継承するためにのみ存在する。Javaでは、finalキーワードを用いて、クラスがサブクラス化されるのを防止できる。
Composition over inheritanceの方針は、継承の代わりに合成を使って has-a 関係を実装することを提唱している。例えば、EmployeeクラスはPersonクラスを継承する代わりに、各Employeeオブジェクトの内部にPersonオブジェクトを含めることで、仮にPersonクラスが公開された属性やメソッドを多数持っていても、外部のコードからは隠せるようにする。また、Goのように、継承を全くサポートしていない言語も存在する。
開放/閉鎖原則は、クラスやメソッドは「拡張に対しては開放的であるが、変更に対しては閉鎖的であるべき」という原則を提唱している。
委譲もまた、継承の代わりに利用できる言語機能である。
ポリモーフィズム
サブタイピング （ポリモーフィズムの一形態）では、呼び出すコードが、サポートされている階層のどのクラスを操作しているのか （親クラスなのかその子孫なのか）という詳細には関知しないことが可能である。一方、継承階層内のオブジェクト間では、同じ操作名でも挙動が異なる場合がある。
例えば、Circle型とSquare型のオブジェクトが、Shapeという共通のクラスから派生している場合、Shapeの各型のDraw関数は、それぞれの描画に必要な機能を実装しているが、呼び出しのコードは、描画されるShapeが特定の型であるかどうかには無関心でいられる。
これもまた、クラス階層からコードを引き離して単純化し、強力な関心の分離を可能にする抽象化の一種である。
オープンな再帰
オープンな再帰[20]をサポートする言語では、オブジェクトのメソッドは同じオブジェクト上の他のメソッドや自分自身を呼び出すことができる。通常はthisやselfと呼ばれる特別な変数やキーワードを使用して呼び出しをするのが一般的であるが、この変数は「遅延結合」であり、あるクラスで定義されたメソッドが、そのサブクラスで後から定義された別のメソッドを呼び出すことができる。
デザインパターン
継承とBehavioral subtyping
継承は意味論的には is-a の関係を作るため、サブクラスからインスタンス化されたオブジェクトは、スーパークラスからインスタンス化されたオブジェクトの代わりに、常に安全に使用できる、と推測するのは直感的ではあるが、この直観は、ほとんどのOOPL、特にミュータブルなオブジェクトを許可している言語では誤りである。 （ミュータブルなオブジェクトを持つ）OOPLの型検査器によって強制される部分型付け （部分型多相/サブタイピング多相）では、いかなる状況でも、振る舞いにおける部分型付け (Behavioral subtyping) は保証することはできない。 Behavioral subtyping は一般に決定不能であり、プログラム （コンパイラ）では実装できない。クラスやオブジェクトの階層は、文法間違いでは検出できない使い方がされる可能性を考慮に入れて、慎重に設計する必要がある。この問題はリスコフの置換原則としても知られている。
GoFデザインパターン
オブジェクト指向とデータベース
OOPL と関係データベース管理システム (RDBMS) は、どちらも今日[update]のソフトウェアとして非常に一般的であるが、双方を接続する場合、関係データベースは、オブジェクトを直接格納しないため （ただし、今日ではこれに近しい拡張機能を持つ RDBMS も存在する）、この二つの世界を橋渡しすることが一般的な需要として擡頭した。アクセス方法やデータパターンを OOPL と RDB との間で橋渡しする際の問題は、オブジェクト-リレーションのインピーダンスミスマッチと呼ばれている。 この問題に対処するためのアプローチはいくつかある。欠点のない一般的な解決策といえるものはない[21]が、代表的なものとして、オブジェクト関係マッピング(ORM)があり、Visual FoxProなどのIDE言語や、Java Data Objects、Ruby on RailsのActive Recordなどのライブラリが存在する。
また、RDBMS を代替するオブジェクトデータベースも存在するが、技術的にも商業的にも RDBMS ほど広く成功は収めていない。
OOPと制御構造
OOPは、ソースコードのコードの再利用性やソフトウェアの保守性を高めるよう発展してきたが[22] 、ある時期までは制御フローの透過的な表現については、あまり省みられることもなく、コンパイラが任意に処理すれば良いと考えられてきた。しかし、OOPでの実現にはある種の困難を伴うものの、並列ハードウェアやマルチスレッドコーディングの重要性が増すにつれ透過的な制御フローの開発は重要になってきている[23][24][25][26]。
責任駆動設計 対 データ駆動設計
責任駆動設計では、クラスは、共有する情報とそれを扱う責務という観点から定義されるべきであるとし、クラス定義 （とその利用者）の契約として設計する。Wirfs-BrockとWilkersonは、責任駆動設計と対比して、データ駆動設計は、クラスが保持すべきデータ構造のみを中心に定義されるとし、責任駆動型の設計が望ましいとしている[27]。
SOLID、GRASPのガイドライン
SOLIDのガイドラインは、プログラミングにおける五つの実践の頭文字をとった語呂合わせであり、マイケル・C・フェザーズ[28]が考案し提唱したものである
- S : 単一責任の原則(英語版)
- O : 開放/閉鎖原則
- L : リスコフの置換原則
- I : インターフェイス分離の原則(英語版)
- D : 依存性逆転の原則
GRASP(General Responsibility Assignment Software Patterns）は、クレーグ・ラーマンが提唱したもう一つガイドラインである。
形式意味論
脚注
注釈
- ^ 1995年6月 Visual FoxPro 3.0, FoxPro は手続き型言語からオブジェクト指向言語へと進化した。Visual FoxPro 3.0では、データベースコンテナ、シームレスなクライアント/サーバー機能、ActiveXのサポート、OLEオートメーションとヌルのサポートが導入された。Summary of Fox releases
出典
- ^ Kindler & Krivy 2011.
- ^ Lewis & Loftus 2008, §1.6 "Object-Oriented Programming".
- ^ a b Meaning 2003.
- ^ LISP 1 Programmers Manual 1960, p. 88f.
- ^ LISP 1.5 Programmers Manual 1962, p. 105.
- ^ Sutherland 1963.
- ^ a b Nygaard & Dahl 1978.
- ^ a b c Holmevik 1994.
- ^ Dahl 2004.
- ^ a b Meyer 2009.
- ^ Kay 1993.
- ^ FoxProの歴史: Foxprohistory.org
- ^ 1995年のVisual FoxPro 3.0 レビュー/ガイド: DFpug.de
- ^ Khurana, Rohit (1 November 2009). Object Oriented Programming with C++, 1E. ISBN 978-81-259-2532-3
- ^ マイナビTECH+: Delphiがトップ20位から脱落: 「Delphiは2001年6月にトップ20位入りを果たし、2000年代初頭には最も人気のある統合開発環境として広く使用されていた。」[1]
- ^ Wirth, Niklaus. From Modula to Oberon and the programming language Oberon (Report). ETH Technical Reports D-INFK. Vol. Band 82. Wiley.
- ^ 共通型システム|Microsoft Docs [2]
- ^ Booch, Grady (1986). Software Engineering with Ada. Addison Wesley. p. 220. ISBN 978-0-8053-0608-8. "Perhaps the greatest strength of an object-oriented approach to development is that it offers a mechanism that captures a model of the real world."
- ^ Jacobsen, Ivar; Magnus Christerson; Patrik Jonsson; Gunnar Overgaard (1992). Object Oriented Software Engineering. Addison-Wesley ACM Press. pp. 43–69. ISBN 978-0-201-54435-0
- ^ 『型システム入門』オーム社、2013年、185頁。 18.10 selfを介したオープンな再帰
- ^ Neward, Ted (26 June 2006). “The Vietnam of Computer Science”. Interoperability Happens. 4 July 2006時点のオリジナルよりアーカイブ。2 June 2010閲覧。
- ^ Ambler, Scott (1 January 1998). “A Realistic Look at Object-Oriented Reuse”. drdobbs.com. 4 July 2010閲覧。
- ^ Shelly, Asaf (22 August 2008). “Flaws of Object Oriented Modeling”. Intel Software Network. 4 July 2010閲覧。
- ^ James, Justin (1 October 2007). “Multithreading is a verb not a noun”. techrepublic.com. 10 October 2007時点のオリジナルよりアーカイブ。4 July 2010閲覧。
- ^ Shelly, Asaf (22 August 2008). “HOW TO: Multicore Programming (Multiprocessing) Visual C++ Class Design Guidelines, Member Functions”. support.microsoft.com. 4 July 2010閲覧。
- ^ Robert Harper (17 April 2011). “Some thoughts on teaching FP”. Existential Type Blog. 5 December 2011閲覧。
- ^ Wirfs-Brock, Rebecca; Wilkerson, Brian (1989). “Object-Oriented Design: A Responsibility-Driven Approach”. ACM SIGPLAN Notices 24 (10): 74. doi:10.1145/74878.74885.
- ^ https://wiki.c2.com/?MichaelFeathers
出典
- Kindler, E.; Krivy, I. (2011). Object-Oriented Simulation of systems with sophisticated control. International Journal of General Systems. pp. 313–343.
- Lewis, John; Loftus, William (2008). Java Software Solutions Foundations of Programming Design (6th ed.). Pearson Education Inc.. ISBN 978-0-321-53205-3
- Kay, Alan; Ram, Stefan (23 July 2003). "Dr. Alan Kay on the Meaning of "Object-Oriented Programming"". www.purl.org. 2022年8月15日閲覧。
- McCarthy, J.; Brayton, R.; Edwards, D.; Fox, P.; Hodes, L.; Luckham, D.; Maling, K.; Park, D. et al. (March 1960). LISP I Programmers Manual. ボストン, マサチューセッツ: Artificial Intelligence Group, en:M.I.T. Computation Center and Research Laboratory. p. 88f. オリジナルの17 July 2010時点におけるアーカイブ。. "In the local M.I.T. patois, association lists [of atomic symbols] are also referred to as "property lists", and atomic symbols are sometimes called "objects"."
- McCarthy, John; Abrahams, Paul W.; Edwards, Daniel J.; Hart, swapnil d.; Levin, Michael I. (1962). LISP 1.5 Programmer's Manual. en:MIT Press. p. 105. ISBN 978-0-262-13011-0. "Object — a synonym for atomic symbol"
- Sutherland, I. E. (1963年1月30日). “Sketchpad: A Man-Machine Graphical Communication System”. Technical Report No. 296, Lincoln Laboratory, Massachusetts Institute of Technology via Defense Technical Information Center (stinet.dtic.mil). 17 July 2019閲覧。
- Ali, Junade (2016-09-28) (英語). Mastering PHP Design Patterns (1 ed.). Birmingham, England, UK: Packt Publishing Limited. ISBN 978-1-78588-713-0
- Nygaard, Kristen; Dahl, Ole-Johan (1978-08-01). “Development of the SIMULA languages”. ACM SIGPLAN Notices (Association for Computing Machinery) 13 (8): 245–272. doi:10.1145/960118.808391.
- Dahl, Ole Johan (2004). "The Birth of Object Orientation: The Simula Languages" (PDF). From Object-Orientation to Formal Methods. Lecture Notes in Computer Science. Vol. 2635. pp. 15–25. CiteSeerX 10.1.1.133.6730. doi:10.1007/978-3-540-39993-3_3. ISBN 978-3-540-21366-6. 2021年10月22日閲覧。
- Kay, Alan (1993-03-01). “The Early History of Smalltalk”. ACM SIGPLAN Notices (Association for Computing Machinery) 28 (3): 69–95. doi:10.1145/155360.155364.
- Holmevik, Jan Rune (1994). “Compiling Simula: A historical study of technological genesis”. IEEE Annals of the History of Computing 16 (4): 25–37. doi:10.1109/85.329756.
- Meyer, Bertrand (2009). Touch of Class: Learning to Program Well with Objects and Contracts. Springer Science & Business Media. pp. 329. Bibcode: 2009tclp.book.....M. ISBN 978-3-540-92144-8
関連項目
システム
- CADES
- Common Object Request Broker Architecture (CORBA)
- Distributed Component Object Model
- Distributed Data Management Architecture
- Jeroo
モデリング言語
- Object-oriented programmingのページへのリンク
