[過去ﾛｸﾞ] C++相談室 part165 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
821(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ cd32-nY3F) [sage] 2025/04/06(日) 09:09:40.72 ID:CSMreA7R0(1/4) AAS
>>818818(1): デフォルトの名無しさん (ﾜｯﾁｮｲ 6ea1-pnyl) [sage] 2025/04/06(日) 00:01:49.29 ID:xzDebXnC0(1/3) AAS
質問なのですが基底クラスでpublicとした仮想関数の可視性を派生クラスでprivateに狭めることができるのですが
なんでこんな仕様なの？
これは逆に言うと派生クラスでprivateとした一般メソッドに対し、
たまたま同じシグネチャの仮想関数を基底クラスで定義されたら基底クラス経由でprivateとしたメソッドを外部から呼び出せ
てしまいカプセル化の危機……！
そういう仕様になっているメリットとは一体……
コードで言えばこういう状況かな？
外部ﾘﾝｸ:wandbox.org
基底にある仮想関数と同じシグネチャならオーバーライドするという規則は単純に言語設計の失敗。
だからこそ override 指定子が導入された。
override 指定子ではオーバーライドのつもりでオーバーライドになっていないときを検出できても
オーバーライドではないつもりでオーバーライドになってしまうことは検出できないのだが……
互換性を壊す変更を入れるわけにもいかずそのままズルズルと今まで失敗を引きずってきたという歴史的経緯。
823(1): はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ cd32-nY3F) [sage] 2025/04/06(日) 09:27:02.17 ID:CSMreA7R0(2/4) AAS
意図せずオーバーライドになってしまうことがあるのは失敗だが、
意図して private でオーバーライドする分には「そういうインターフェイス」なのだからカプセル化の破綻ではないよ。
830: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ cd32-nY3F) [sage] 2025/04/06(日) 11:43:04.77 ID:CSMreA7R0(3/4) AAS
たとえば GCC なら -Wsuggest-override を付けておけば override 指定子なしでオーバーライドしているときを警告する。
外部ﾘﾝｸ:wandbox.org
だけどこのオプションは -Wall にも -Wextra にも含まれてないから個別に指定しなきゃならなくて、普段は有効になってないのが普通かも。
838: はちみつ餃子◆8X2XSCHEME (ﾜｯﾁｮｲ cd32-xzp7) [sage] 2025/04/06(日) 16:50:10.05 ID:CSMreA7R0(4/4) AAS
>>837`private` などは用途が限定的なキーワードだからそういうことも出来るけど `class` はちょっと問題があるな。
template<class T> class foo {};
みたいなのが破綻する。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s