final 指定子 (C++11以上)

仮想関数が派生クラスでオーバーライドできないこと、またはクラスが継承できないことを指定します。

[編集] 構文

メンバ関数に適用されるとき、識別子 final はメンバ関数の宣言またはクラス定義の内部のメンバ関数の定義の構文の宣言子の直後に現れます。

クラスに適用されるとき、識別子 final はクラス定義の先頭、クラスの名前の直後に現れます。

(1,2) では、 virt-specifier-seq は、使用される場合は、 override または final または final override または override final のいずれかです。 (3) では、使用される場合は、 class-virt-specifier の唯一許される値は final です。

[編集] 説明

仮想関数の宣言または定義で使用されたとき、 final は、その関数が仮想であることを保証し、派生クラスによってオーバーライドされてはならないことを指定します。 そうでなければ、プログラムは ill-formed です (コンパイル時エラーが生成されます)。

クラス定義で使用されたとき、 final は、そのクラスが別のクラス定義の base-specifier-list 内に現れてはならない (別の言い方をすると、派生できない) ことを指定します。 そうでなければ、プログラムは ill-formed です (コンパイル時エラーが生成されます)。 final は共用体の定義でも使用できます。 この場合、効果はありません (共用体は元々派生できないため。 ただし std::is_final の結果には反映されます)。

final はメンバ関数の宣言またはクラスの先頭で使用されたときに特別な意味を持つ識別子です。 それ以外の文脈では予約されておらず、オブジェクトや関数の名前に使用しても構いません。

[編集] 例

struct Base
{
    virtual void foo();
};
 
struct A : Base
{
    void foo() final; // Base::foo をオーバ���ライドします。 final オーバーライドです。
    void bar() final; // エラー、 bar は仮想関数でないため final にできません。
};
 
struct B final : A // 構造体 B は final です。
{
    void foo() override; // エラー、 foo は A で final のためオーバーライドできません。
};
 
struct C : B // エラー、 B は final です。
{
};

[編集] 関連項目

• override 指定子 (C++11以上)