授業（プログラミング）

オブジェクトはクラスのインスタンスとして、インスタンス化によってクラスから構築されます。オブジェクトの状態のためにメモリが割り当てられ、初期化され、オブジェクトへの参照が使用元のコードに提供されます。オブジェクトは破棄されるまで使用可能です。破棄されると、その状態メモリは解放されます。

ほとんどのプログラミング言語では、コンストラクタとデストラクタを介してライフサイクルイベントでカスタムロジックを実装できます。

オブジェクトは、各メンバ変数の型と各メンバ関数（メソッド）のシグネチャというインターフェースとしてデータ型を表現します。クラスはインターフェースの実装を定義し、クラスをインスタンス化すると、インターフェースを介して実装を公開するオブジェクトが生成されます。^{[ 4 ]}型理論の観点から言えば、クラスは実装（具体的なデータ構造とサブルーチンの集合）であり、型はインターフェースです。異なる（具体的な）クラスは、（型システムに応じて）同じ（抽象的な）型のオブジェクトを生成できます。たとえば、型（インターフェース）Stackは、小さなスタックでは高速だがスケーラビリティが低いSmallStackと、スケーラビリティは高いが小さなスタックではオーバーヘッドが高いScalableStackによって実装される可能性があります。

クラスには、構文的に記述されたデータフィールド(またはプロパティ、フィールド、データメンバー、属性) が含まれます。^{[ 1 ]}これらは通常、プログラム実行時に状態変数に関連付けられるフィールドの型と名前です。これらの状態変数は、クラスまたはクラスの特定のインスタンスに属します。ほとんどの言語では、クラスによって定義された構造が、そのインスタンスが使用するメモリのレイアウトを決定します。他の実装も可能です。たとえば、Pythonのオブジェクトは連想キー値コンテナを使用します。^{[ 5 ]}

Eiffelなどの一部のプログラミング言語は、クラス定義の一部として不変条件を指定し、型システムを通じてそれらを強制します。クラスの不変条件を強制するためには、状態のカプセル化が必要です。

クラスまたはそのインスタンスの振る舞い（またはアクション^{[ 1 ]} ）は、メソッドを使用して定義されます。メソッドは、オブジェクトまたはクラスに対して操作を実行できるサブルーチンです。これらの操作は、オブジェクトの状態を変更したり、単にオブジェクトにアクセスする方法を提供したりします。^{[ 6 ]}さまざまな種類のメソッドが存在しますが、それらのサポートは言語によって異なります。一部のタイプのメソッドはプログラマのコードによって作成および呼び出されますが、コンストラクタ、デストラクタ、変換演算子などの他の特殊なメソッドは、コンパイラによって生成されたコードによって作成および呼び出されます。言語によっては、プログラマがこれらの特殊なメソッドを定義して呼び出すことも許可される場合があります。^{[ 7 ] [ 8 ]}

すべてのクラスは、構造と動作を提供することでインターフェースを実装（または実現）します。構造はデータと状態から成り、動作はメソッドの実装方法を指定するコードから成ります。^{[ 9 ]}インターフェースの定義とインターフェースの実装には区別がありますが、多くのプログラミング言語ではクラス宣言がインターフェースの定義と実装の両方を行うため、この区別は曖昧になっています。ただし、インターフェースと実装を分離する機能を提供する言語もあります。たとえば、抽象クラスは実装を提供せずにインターフェースを定義できます。

クラス継承をサポートする言語では、クラスが派生元のクラスからインターフェースを継承することも可能です。

例えば、"が " を継承し、" がインターフェース " を実装する場合、" は " が提供する機能（定数とメソッドの宣言）も実装します。classZclassYclassYinterfaceXclassZinterfaceX

アクセス指定子をサポートする言語では、クラスのインターフェースは、メソッドと属性（暗黙的なゲッターメソッドとセッターメソッドによる）の両方を含む、クラスのパブリックメンバーの集合とみなされます。プライベートメンバーや内部データ構造は、外部コードから依存されることを想定していないため、インターフェースの一部ではありません。

オブジェクト指向プログラミング手法では、クラスのインターフェースの操作は互いに独立している必要があると規定されています。その結果、インターフェースのクライアントがインターフェースで宣言されたメソッドを使用する階層的な設計になります。インターフェースは、クライアントが特定の順序でインターフェースの操作を呼び出すことを要求しません。このアプローチの利点は、クライアントコードが、クライアントがオブジェクトにアクセスできるときはいつでもインターフェースの操作が使用可能であると想定できることです。^{[ 10 ]}

以下は一般的なアクセス指定子のセットです。^{[ 11 ]}

• プライベート（またはクラスプライベート）は、クラス自体へのアクセスを制限します。同じクラスに属するメソッドのみがプライベートメンバーにアクセスできます。
• protected（またはclass-protected）を使用すると、クラス自体とそのすべてのサブクラスがメンバーにアクセスできます。
• 「公開」とは、どのコードでもその名前でメンバーにアクセスできることを意味します。

多くのオブジェクト指向言語は上記のアクセス指定子をサポートしていますが、その意味論は異なる場合があります。

オブジェクト指向設計では、アクセス指定子とパブリックメソッドの実装の慎重な設計を組み合わせて、クラスの不変条件（オブジェクトの状態に対する制約）を強制します。アクセス指定子の一般的な使用例は、クラスの内部データとそのインターフェースを分離することです。内部構造はプライベートにされ、パブリックなアクセサメソッドを使用して、そのようなプライベートデータを検査または変更できます。

アクセス指定子は必ずしも可視性を制御するわけではなく、プライベートメンバであってもクライアントの外部コードから見える場合があります。一部の言語では、アクセスできないが可視なメンバをランタイム時に参照できます（たとえば、メンバ関数から返されるポインタによって）。ただし、クライアントコードからメンバの名前を参照して使用しようとすると、型チェッカーによって阻止されます。^{[ 12 ]}

さまざまなオブジェクト指向プログラミング言語は、メンバーのアクセス可能性と可視​​性をさまざまな程度で強制し、言語の型システムとコンパイルポリシーに応じて、コンパイル時または実行時に強制します。たとえば、Java言語では、クラスのプライベート データにアクセスするクライアント コードはコンパイルできません。^{[ 13 ]} C++言語では、プライベート メソッドは可視ですが、インターフェースからはアクセスできません。ただし、クラスのインターフェースを表す完全に抽象化されたクラスを明示的に宣言することで、それらを不可視にすることができます。^{[ 14 ]}

一部の言語には、その他のアクセシビリティ機能が備わっています。

• インスタンスとクラスのアクセス可能性：Rubyは、class- privateとclass-protectedの代わりに、instance-privateとinstance -protectedのアクセス指定子をサポートしています。これらは、インスタンスのクラスではなく、インスタンス自体に基づいてアクセスを制限するという点で異なります。^{[ 15 ]}
• フレンド: C++ は、クラスのフレンド関数として明示的に宣言された関数が、プライベートまたはプロテクトとして指定されたメンバーにアクセスできるメカニズムをサポートしています。^{[ 16 ]}
• パスベース: Java は、ファイルの論理パスであるJava パッケージ内のメンバーへのアクセスを制限することをサポートしています。ただし、保護されたメンバーにアクセスするために、フレームワーク クラスと同じパッケージ内のクラスを実装して Java フレームワークを拡張するのが一般的です。ソース ファイルはまったく異なる場所に存在し、別の.jarファイルにデプロイされる可能性がありますが、JVM の観点からは同じ論理パスにあることになります。^{[ 11 ]}

クラスは他のクラスで構成されることができ、それによって囲んでいるクラスとその埋め込まれているクラスとの間に構成関係が確立されます。クラス間の構成関係は、has-a関係とも呼ばれます。^{[ 20 ]}例えば、クラスはCarクラスで構成され、クラスを含むことができますEngine。したがって、はCarを持ちますEngine。構成の1つの側面は包含であり、これはコンポーネントインスタンスを、それらを持つインスタンスによって囲むことです。囲んでいるオブジェクトが値によってコンポーネントインスタンスを含む場合、コンポーネントとその囲んでいるオブジェクトは同様のライフタイムを持ちます。コンポーネントが参照によって含まれている場合、それらは同様のライフタイムを持たない可能性があります。^{[ 21 ]}例えば、Objective-C 2.0では次のようになります。

@interface Car : NSObject@property NSString * name ; @property Engine * engine @property NSArray * tires ;@終わり

このCarクラスには、 NSString (文字列オブジェクト)、Engine、およびNSArray (配列オブジェクト)のインスタンスが含まれています。

クラスは 1 つ以上の既存のクラスから派生することができ、それによって派生元のクラス (基底クラス、親クラス、または親クラス (スーパークラス) と派生クラス (子クラスまたはサブクラス) があります。派生クラスと派生元のクラスの関係は、一般的にis-a関係として知られています。 ^{[ 22 ]}例えば、クラス 'Button' はクラス 'Control' から派生できます。したがって、Buttonです。親クラスの構造的メンバーと動作的メンバーは、継承され継承したものに加えて、追加の構造的メンバー (データ フィールド) と動作的メンバー (メソッド) を定義できるため、特殊化となります。また、派生クラスは、言語が許可する場合、継承したメソッドをオーバーライド

すべての言語が多重継承をサポートしているわけではありません。たとえば、Java では、クラスが複数のインターフェースを実装できますが、継承できるのは 1 つのクラスのみです。^{[ 23 ]}多重継承が許可されている場合、階層は有向非巡回グラフ(略して DAG) であり、そうでない場合はツリーです。階層では、クラスがノード、継承関係がリンクとなります。同じレベルのクラスは、異なるレベルのクラスよりも関連付けられる可能性が高くなります。この階層のレベルは、レイヤーまたは抽象化レベルと呼ばれます。

例（iPhone SDKからの簡略化されたObjective-C 2.0コード）：

@interface UIResponder : NSObject //... @interface UIView : UIResponder //... @interface UIScrollView : UIView //... @interface UITableView : UIScrollView //...

この例では、UITableViewはUIScrollViewであり、 UIViewであり、 UIResponderであり、NSObjectです。

オブジェクト指向分析および統一モデリング言語（UML）では、2 つのクラス間の関連付けは、クラス間または対応するインスタンス間のコラボレーションを表します。関連付けには方向性があります。たとえば、2 つのクラス間の双方向の関連付けは、両方のクラスがそれらの関係を認識していることを示します。^{[ 24 ]}関連付けには、その名前または目的に応じてラベルを付けることができます。^{[ 25 ]}

関連ロールは、関連付けの最後に与えられ、対応するクラスの役割を記述します。たとえば、「subscriber」ロールは、クラス「Person」のインスタンスがクラス「Magazine」との「subscribes-to」関連付けに参加する方法を記述します。また、「Magazine」は同じ関連付けで「subscribed magazine」ロールを持ちます。関連ロールの多重度は、関連付けの他のクラスの各インスタンスに対応するインスタンスの数を記述します。一般的な多重度は、「0..1」、「1..1」、「1..*」、「0..*」で、「*」は任意の数のインスタンスを指定します。^{[ 24 ]}

継承をサポートする言語において、抽象クラス、または抽象基底クラス（ABC）とは、直接インスタンス化できないクラスのことです。対照的に、具象クラスとは、直接インスタンス化できるクラスのことです。抽象クラスのインスタンス化は、具象サブクラスを介して間接的にのみ可能です。

抽象クラスは、明示的にそのようにラベル付けされるか、単に抽象メソッド（または仮想メソッド）を指定するかのいずれかです。抽象クラスは、一部のメソッドの実装を提供することができ、また、抽象クラスの直接または間接の子孫によって実装されるシグネチャを介して仮想メソッドを指定することもできます。抽象クラスから派生したクラスをインスタンス化する前に、その親クラスのすべての抽象メソッドが派生チェーン内のいずれかのクラスによって実装されている必要があります。^{[ 26 ]}

ほとんどのオブジェクト指向プログラミング言語では、プログラマが抽象クラスを指定でき、それらのインスタンス化は許可されません。たとえば、Java、C#、PHPでは、予約語(キーワード)abstractが使用されます。^{[ 27 ] [ 28 ]} C++では、抽象クラスは、その言語の適切な構文で指定された少なくとも 1 つの抽象メソッド (C++ の用語では純粋仮想関数) を持つクラスです。^{[ 26 ]}

純粋仮想メソッドのみで構成されるクラスは、C++ では純粋抽象基底クラス(または純粋 ABC ) と呼ばれ、言語のユーザーからはインターフェースとしても知られています。 ^{[ 14 ]}他の言語、特に Java や C# では、言語のキーワードを介してインターフェースと呼ばれる抽象クラスのバリアントをサポートしています。これらの言語では多重継承は許可されていませんが、クラスは複数のインターフェースを実装できます。このようなクラスには、公開アクセス可能な抽象メソッドのみを含めることができます。^{[ 23 ] [ 29 ] [ 30 ]}

一部のプログラミング言語では、グローバルスコープ以外のスコープでクラスを宣言することができます。そのようなクラスには様々な種類があります。

内部クラスとは、別のクラス内で定義されたクラスのことです。内部クラスとその包含クラスとの関係も、別の種類のクラス関連付けとして扱うことができます。内部クラスは通常、包含クラスのインスタンスに関連付けられたり、包含クラスと一緒にインスタンス化されたりすることはありません。言語によっては、包含クラスの外部からクラスを参照できる場合とできない場合があります。関連する概念として、内部型（内部データ型またはネスト型とも呼ばれる）があり、これは内部クラスの概念を一般化したものです。C ++ は、内部クラスと内部型の両方をサポートする言語の例です（typedef宣言による）。^{[ 31 ] [ 32 ]}

ローカルクラスとは、プロシージャまたは関数内で定義されたクラスのことです。このような構造では、クラス名への参照は、クラスが宣言されたスコープ内に限定されます。言語のセマンティックルールによっては、ローカルクラスには非ローカルクラスに比べて追加の制限がある場合があります。一般的な制限の1つは、ローカルクラスのメソッドが囲んでいる関数のローカル変数にアクセスできないようにすることです。たとえば、C++では、ローカルクラスは囲んでいる関数内で宣言された静的変数を参照できますが、関数の自動変数にはアクセスできません。^{[ 33 ]}

メタクラスとは、インスタンスがクラスであるクラスのことです。^{[ 34 ]}メタクラスは、クラスの集合の共通構造を記述し、デザインパターンを実装したり、特定の種類のクラスを記述したりできます。メタクラスは、フレームワークを記述するためによく使用されます。^{[ 35 ]}

Python、Ruby、Smalltalkなどの一部の言語では、クラスもオブジェクトです。したがって、各クラスは、言語に組み込まれた固有のメタクラスのインスタンスです。^{[ 5 ] [ 36 ] [ 37 ]} Common Lisp Object System (CLOS) は、これらのクラスとメタクラスを実装するためのメタオブジェクトプロトコル(MOP) を提供します。^{[ 38 ]}

finalクラスはサブクラス化できません。これは基本的に抽象クラスとは正反対で、抽象クラスは使用するにはサブクラス化する必要があり、直接インスタンス化することはできません。finalクラスは暗黙的に具象クラスであり、直接インスタンス化できます。

finalJava、C++、PHP では、クラスはキーワードを使用して final として宣言されますsealed。C# では、この概念はキーワードで修飾された Java のクラスと混同してはいけません。Java のクラスはsealed、選択されたサブクラスからの継承のみを許可します。^{[ 39 ] [ 40 ] [ 41 ] [ 42 ]} Kotlinのような言語では、すべてのクラスはデフォルトで final ですが、クラスから継承できるようにするには、代わりに とマークする必要がありますopen。^{[ 43 ]}

例えば、Java のクラスは とマークされています。^{[ 44 ]}Stringfinal

finalクラスは、サブクラス化可能なクラスでは利用できない最適化をコンパイラが実行できるようにする可能性がある。^{[ 45 ]}

「シールクラス」とは、継承を特定のクラスのリストに制限するクラスのことです。これはsealed、C# の final クラスを示すキーワードと混同してはいけません。シールクラスが継承できる許可されたクラスのリストは、permits句を使用して指定されます。^{[ 46 ]}

public sealed class Quadrilateral extends Shape implements Renderable , Transformable , Comparable < Quadrilateral > , Measurable permits Parallelogram , Trapezoid , Kite { // ... }

non-sealedは、sealed クラスを拡張するクラスまたはインターフェースが未知のクラスによって拡張されることを宣言するために使用される別のキーワードです。^{[ 47 ]}

sealed class Parallelogram extends Quadrilateral { /* ... */ } sealed class Rectangle extends Parallelogram { /* ... */ }非シールクラスSquare はRectangleを継承します{ /* ... */ }// Square は非シールなので、どのクラスでも継承できます。class RedSquare extends Square { /* ... */ }

オープンクラスは変更できます。通常、実行可能プログラムは顧客によって変更できません。開発者は一部のクラスを変更できますが、通常、標準クラスや組み込みクラスは変更できません。Ruby では、すべてのクラスがオープンです。Python では、クラスは実行時に作成でき、その後すべて変更できます。^{[ 48 ]} Objective-C のカテゴリを使用すると、プログラマは既存のクラスを再コンパイルしたり、ソースコードにアクセスしたりすることなく、メソッドを追加できます。

一部の言語ではミックスインを特別にサポートしていますが、多重継承を持つ言語では、ミックスインは単に「is-a-type-of」関係を表さないクラスです。ミックスインは通常、複数のクラスに同じメソッドを追加するために使用されます。たとえば、クラスは、共通の親を持たないクラスにインクルードされたときにUnicodeConversionMixin呼び出されるメソッドを提供する場合があります。unicodeToAscii()FileReaderWebPageScraper

この機能をサポートする言語では、部分クラスとは、単一のソースコードファイル内または複数のファイルにわたって定義を複数の部分に分割できるクラスのことです。 ^{[ 49 ]}これらの部分はコンパイル時にマージされるため、コンパイラの出力は部分クラスではない場合と同じになります。

部分クラスを導入する主な動機は、ビジュアルデザイナーなどのコードジェネレータの実装を容易にすることです。^{[ 49 ]}そうでなければ、開発者が書いたコードの中に生成されたコードをインターリーブできるコードジェネレータを開発するのは困難または妥協を強いられます。部分クラスを使用すると、コードジェネレータは別のファイルまたはファイル内の粗粒度部分クラスを処理できるため、複雑な解析による生成コードの挿入が軽減され、コンパイラの効率が向上し、開発者のコ​​ードが破損する潜在的なリスクがなくなります。部分クラスの単純な実装では、コンパイラは部分クラスのすべての部分を「統合」するプリコンパイルのフェーズを実行できます。その後、コンパイルは通常どおり続行できます。^{[ 50 ]}

部分クラス機能のその他の利点と効果は以下のとおりです。

• クラスのインターフェースと実装コードを独自の方法で分離することを可能にします。
• エディタ内で大規模なクラスを簡単にナビゲートできるようにします。
• アスペクト指向プログラミングと同様の方法で関心の分離を可能にするが、特別なツールは使用しない。
• 複数の開発者が単一のクラスを同時に作業できるため、後で個々のコードを1つのファイルにマージする必要がなくなります。

Smalltalkでは、クラス拡張という名称で部分クラスがかなり以前から存在していました。.NET Framework 2の登場に伴い、Microsoftは部分クラスを導入し、 C# 2.0とVisual Basic 2005の両方でサポートされるようになりました。WinRTも部分クラスをサポートしています。^{[ 51 ]}

インスタンス化不可能なクラスを使用すると、プログラマーはクラスごとにフィールドとメソッドをグループ化し、それらのフィールドとメソッドはクラスのインスタンスを作成せずに実行時にアクセスできます。実際、この種のクラスではインスタンス化は禁止されています。

例えば、C# では、 とマークされたクラスはstaticインスタンス化できず、静的メンバー (フィールド、メソッド、その他) しか持つことができず、インスタンス コンストラクタを持つことができず、 ですsealed( は final です)。 ^{[ 52 ]}

名前のないクラスまたは匿名クラスは、定義時に名前や識別子に束縛されません。^{[ 53 ] [ 54 ]}これは、名前付き関数と名前のない関数に似ています。

interface Greeting { void sayHello (); }// Greeting インターフェースを実装する匿名クラスGreeting myGreeting = new Greeting () { @Override public void sayHello () { System . out . println ( "匿名クラスからのこんにちは！" ); } };myGreeting.sayHello ( ) ;

カプセル化は、ユーザーがクラスの不変条件を破ることを防ぎます。これは、インターフェースで公開されていない側面についてオブジェクトクラスの実装を変更しても、ユーザーコードに影響を与えないために有用です。カプセル化の定義は、セキュリティ上の問題よりも、関連情報のグループ化とパッケージ化（凝集度）に重点を置いています。

クラスベース言語、より正確には型付き言語（サブクラス化がサブタイピングの唯一の方法である）は、実装とインターフェースを混同しているとして批判されてきた。これはオブジェクト指向プログラミングの本質的な原則である。批判者たちは、オブジェクトのコレクションを格納するバッグクラスを作成し、それを拡張してオブジェクトの重複を排除したセットクラスと呼ばれる新しいクラスを作成する可能性があると述べている。^{[ 61 ] [ 62 ]} この場合、バッグクラスのオブジェクトを受け取る関数は、2 つのオブジェクトを追加するとバッグのサイズが 2 つ増えることを期待するかもしれないが、セットクラスのオブジェクトを渡した場合、2 つのオブジェクトを追加してもバッグのサイズが 2 つ増えるかどうかはわからない。この問題は、サブクラス化が、リスコフ置換原則として知られるサブタイピングの原則が成り立たない場合にもサブタイピングを意味するために生じる。バーバラ・リスコフとジャネット・ウィングは、1994 年の論文でこの原則を次のように簡潔に定式化した。

サブタイプ要件: Let ⁠${\displaystyle \phi (x)}$オブジェクトについて証明可能な性質である${\displaystyle x}$タイプの​${\displaystyle T}$⁠ . それから⁠${\displaystyle \phi (y)}$オブジェクトに対して真であるべきである${\displaystyle y}$タイプの​${\displaystyle S}$どこで​${\displaystyle S}$はのサブタイプです${\displaystyle T}$⁠ .

したがって、通常はサブタイピングとサブクラス化を区別する必要がある。現在のほとんどのオブジェクト指向言語はサブタイピングとサブクラス化を区別しているが、設計手法によっては区別しないものもある。

また、よくある例として、子クラスから作成された人間オブジェクトは親クラスのオブジェクトにはなれません。これは、子クラスと親クラスがどちらも人間クラスを継承しているにもかかわらず、クラスベースの言語では実行時にオブジェクトのクラスの種類を変更できないためです。クラスベースの言語では、この制限はクラスの統一的なビューをユーザーに維持するために不可欠です。ユーザーは、メソッドの実装のいずれかがクラスの不変条件を破る変更を引き起こすかどうかを気にする必要はありません。このような変更は、オブジェクトを破棄してその場所に別のオブジェクトを構築することで行うことができます。オブジェクトはブラックボックスの抽象化として扱われ、オブジェクトIDを介してアクセスされるため、このような変更が行われた場合でも、ポリモーフィズムを使用して関連するインターフェースを維持できます。ただし、通常はオブジェクトを参照するオブジェクト参照の値が変更されるため、クライアントコードに影響が生じます。

Simulaはクラス抽象化を導入したが、クラスベース言語の代表的な例はSmalltalkである。その他には、 PHP、C++、Java、C#、Objective-Cなどがある。