質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

88.82%

【C++】 非仮想関数へoverride指定子を付与できない理由

解決済

回答 4

投稿

  • 評価
  • クリップ 0
  • VIEW 1,470

torimingo

score 78

仮想関数にしないと、override指定子を付与することができないのはなぜでしょうか。
仮想関数でなくても、オーバーライドすることはできるのではないでしょうか。
コードを以下に示します。

#include <iostream>

class Parent
{
public:
    void func()
    {}
};

class Child : public Parent
{
public:
    void func() // overrideを付与することができない
    {
        std::cout << "child" << std::endl;
    }
};

int main()
{
    Child child;
    child.func();
    return 0;
}


上記を実行すると「child」と出力されます。
func()はオーバーライドされていると思うのですが、override指定子を付与することができないのはなぜでしょうか?
func()を仮想関数にすれば、override指定子を付与することができます。

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 過去に投稿した質問と同じ内容の質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 4

+3

それはオーバーライドじゃなくて遮蔽ですかね。

ただ静的ポリモフィズム(CRTP)の文脈でoverrideつけたくなることはあります。仕方がないのでstatic_assertで代用するわけですが。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/04/11 11:39 編集

    リンク先をすこし読んでみたのですが、静的ポリモフィズムとは、そもそも、継承を使わなくても実装できそうにみえたのですが、そういうわけでもないのでしょうか?
    リンク先では、myclass1クラスとmyclass2クラスは、Interfaceクラスを継承していますが、静的ポリモフィズムでは、これは必須なのでしょうか?
    テンプレートに異なるクラスを渡すことで多様性を実現しているだけではないのでしょうか・・・?
    テンプレートのなかにある関数をvirtualにできないというのは、今回の質問内容とは異なるもので、ちょっと時間がないので調べられません。
    時間ないので、ちゃんとみれてませんが、全然見当違いのこと言ってたら、すいません!

    キャンセル

  • 2019/04/11 13:53

    リンク先で言及されているので御覧ください("非常に簡単ですが、色々と問題があります。"以下)。

    キャンセル

  • 2019/04/11 15:31 編集

    失礼しました、リンク先の言及後のコードしか見ていませんでした。
    言及後のコードは、構文的に?ちょっと難しくて、改善点や利点がよくわかりませんでした。
    (言及後のコードで、Printerクラスを配列で管理できないようにみえるのですが、管理できるのでしょうか・・・)
    いずれにしても、本題から少し脱線している気がしますので、この辺までとさせてください。
    静的ポリモフィズムについては、必要になったときにまた勉強してみようと思います。

    キャンセル

checkベストアンサー

+2

仮想関数でなくても、オーバーライドすることはできるのではないでしょうか。

いいえ。仮想関数でないメンバ関数に対しては、「オーバーライド(override)」ではなく「隠蔽(hiding)」が行われます。そしてクラス継承を用いたプログラム設計では、この「隠蔽」はプログラマが望まない動作になりがちです。

そもそも override キーワードは、プログラマのミスによって「オーバーライド」がうっかり「隠蔽」にならないようにする 安全装置 として導入されました。cpprefjpサイトの解説 も参照ください。

この override キーワードは、新しい機能性を提供する(=できることが増えて嬉しい)ものではありません。既存ソースから override キーワードを削除してもプログラムの意味自体は全く変化しませんが、ソースコード自身の自己記述能力の向上、将来的な設計変更に対する堅牢性の向上に大きく貢献するものです。


下記は、override キーワードがあればコンパイルエラーとして早期検知できたシナリオです。説明用サンプルなので大きなメリットには思えないかもしれませんが、ある程度規模の大きいコードベースに対するリファクタリング作業等では大変有用と思います。

class Base {
public:
  // 基底クラスの仮想関数を定義
  virtual void process(int);
};

class Derived: public Base {
public:
  // 仮想関数を「オーバーライド」したつもり...
  virtual void process(short) /*override*/;
  // 実際には引数パラメータが一致しないので
  // 「隠蔽(hiding)」になってしまっている
};

void func(Base& obj)
{
  // 引数objに派生クラスDerivedインスタンスが指定された場合、
  // 意図としてはオーバライド先Derived::processが呼ばれてほしい。
  // しかし前述のミスによりBase::processが呼び出されてしまう。
  obj.process(42);
}

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/04/12 16:33

    ご回答をありがとうございました。
    例を挙げて頂いて、理解できました。

    キャンセル

+2

overrideが「仮想クラス関数のオーバーライドを行うこと」を明示する(うっかりミスをコンパイルエラーにする)ためのキーワードだから,ではないかと.

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

0

#include<iostream>
using namespace std;

struct Base{
    void say(){
        cout << "Base::say()" << endl;
    }
    void hello(int){
        cout << "Base::hello(int)" << endl;
    }
};

struct VBase{
    virtual void say(){
        cout << "VBase::say()" << endl;
    }
    virtual void hello(int){
        cout << "VBase::hello(int)" << endl;
    }
};

struct Derived : public Base {
    void say(){
        cout << "Derived::say()" << endl;
    }
    void hello(char*){
        cout << "Derived::hello(char*)" << endl;
    }
};

struct VDerived : public VBase {
    void say() override {
        cout << "VDerived::say()" << endl;
    }
    virtual void hello(char*) /* ここにoverrideをつけるとコンパイルエラーになる */ {
        cout << "VDerived::hello(char*)" << endl;
    }
};


int main(){
    Derived d;
    VDerived v;
    Base *p = &d; VBase *q = &v; // アップキャスト
    cout << "---正しくoverrideできている場合---" << endl;
    d.say();  v.say();
    p->say(); q->say();

    cout << "---overrideに失敗している場合---" << endl;
    d.hello(0);  v.hello(0);
    p->hello(0); q->hello(0);
}
---正しくoverrideできている場合---
Derived::say()
VDerived::say()
Base::say()
VDerived::say()
---overrideに失敗している場合---
Derived::hello(char*)
VDerived::hello(char*)
Base::hello(int)
VBase::hello(int)

基底クラスにおいて仮想関数でない場合は、アップキャストすると基底クラスの関数が呼ばれるが
仮想関数であった場合、正しくオーバーライドできているかで呼び出される関数が変化します。

よってオーバーライドできている事を保証するために仮想関数にはoverride指定子があるわけです。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 88.82%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

関連した質問

同じタグがついた質問を見る