C++が完全なオブジェクト指向言語ではない理由とは？部分的なオブジェクト指向の理由を解説

はじめに

オブジェクト指向プログラミング言語の基本的な特徴として、継承（Inheritance）、カプセル化（Encapsulation）、ポリモーフィズム（Polymorphism）の3つが挙げられます。これらの機能を完全にサポートする言語が「オブジェクト指向プログラミング言語」と呼ばれます。

C++はこれらの3つの機能を備えていますが、完全にはサポートしていません。そのため、C++は「部分的なオブジェクト指向言語」と分類されることがあります。ここでは、C++が完全なオブジェクト指向言語とみなされない理由を詳しく見ていきましょう。

理由1：main()関数がクラスの外に存在する

C++ではプログラムの実行を開始するためにmain()関数が必要ですが、このmain()関数はクラスの内部に存在する必要がありません。つまり、C++ではクラスを使わずにコードを書くことが可能です。

一方、Javaのような純粋なオブジェクト指向言語では、ファイル名と同じ名前のクラスが必ず1つ必要であり、main()関数もそのクラスの内部に定義しなければなりません。この違いが、C++のオブジェクト指向性を弱める一因となっています。

理由2：グローバル変数が使用できる

C++ではグローバル変数を定義でき、プログラムのどこからでもアクセス可能です。しかし、これはデータの完全なプライバシーを保証するものではありません。誰でもアクセスや変更を制限されることなく行えるため、カプセル化の概念が部分的にしか実現されないのです。

対照的にJavaでは、変数はクラス内で宣言し、アクセス修飾子（private、protected、publicなど）を付けることで、データへのアクセスを厳密に制御できます。

理由3：フレンド関数の存在

C++にはフレンド関数（friend関数）という仕組みがあります。フレンド関数を使用すると、あるクラスのprivateメンバーやprotectedメンバーに外部からアクセスできるようになります。

これはカプセル化による情報隠蔽の原則に反するため、オブジェクト指向言語の概念に違反しているとも言えます。なお、Javaにはフレンド関数に相当する機能は存在しません。

まとめ

C++は継承・カプセル化・ポリモーフィズムを備えているものの、以下の点から「完全なオブジェクト指向言語」とは言えません。

• main()関数がクラス外に存在でき、クラスなしでコードを書ける
• グローバル変数によりカプセル化が不完全になる
• フレンド関数によってカプセル化の原則が破られる

これらの理由から、C++は「部分的なオブジェクト指向言語」、あるいは「マルチパラダイム言語」として分類されるのです。C言語との互換性を保ちながら手続き型プログラミングも可能にする柔軟性は、C++の大きな特徴であり、強みでもあります。