C++の抽象クラスについて

Question

C++にて、抽象クラスのインスタンス生成は禁止されていますが、ポインタを介したアクセスが許されているのは何故ですか？
純粋仮想関数が呼ばれるとまずいので、抽象クラスそのもののインスタンス化は禁止し、ポインタは許可。抽象クラスのインスタンス化が禁止されている以上、ポインタの参照先は具象クラスのインスタンスという保証があります。そして、型の観点からすると疎結合を維持できると。そういう認識でいたのですが合ってますか？

Answer 1

こんにちは。

抽象クラスのインスタンス生成は禁止されていますが、ポインタを介したアクセスが許されているのは何故ですか？

それを禁止するとポリモーフィズムによる抽象的なアクセスができなくりますのでポインタを介したアクセスは必須要件と思います。
むしろ、「インスタンスを生成できないような仕組みを用意したのは何故か？」ではないでしょうか？

インスタンスを生成する必要が無い場合やインスタンスを生成させたくない場合があるからだと思います。
私自身は基底クラス側で定義しづらいような仮想関数をいちいち定義しないですむので助かってます。

Answer 2

例えば、メソッドの呼び出しを記述する段階（プログラミングの工程の関係、別担当者の場合など）において、インスタンスの具体的な実装が判明（確定）していないことがありえます。

このような場合は、「抽象クラスの仮想関数を用いてメソッドの呼び出し元を作成しておき、必要に応じてこの具象クラスを定義してインスタンスを渡す」ようにすればプログラムの動作を切り替えられます。

Answer 3

お詫び：回答してはみたのですが質問者さんが気にしているポイントをはずしてしまってました。
失礼しました。

---

Chironianさんと同じことを言っているだけだとは思うのですが、

「抽象クラスに対して直接インスタンスが生成できない」というのは「未定義のものがあるのに実体化できてしまうと矛盾」なので自然な仕様に思います。

「抽象クラスのポインターを通じてその抽象クラスでvirtualなメソッドへアクセス」というのは以下のように考えるとこれまた自然に思えます。

• 抽象クラスへのポインターには何かの実体(インスタンス)のアドレスが入るはず
• 抽象クラスに直接newして実体は生成できない
• ということはその抽象クラスを継承した具象クラスが実体を生成したはずである
• であれば抽象クラスのvirtualメンバーはかならず具象クラスで定義されているはずである
• ということは抽象クラスへのポインターを介してvitualメンバーへアクセスできることは至極妥当である