Exam Practice

Appearance

override および = default キーワードの利用とC++のバージョンによる違い ​

1. override キーワードについて ​

override の目的 ​

override キーワードは、C++11で導入されたコンテキスト依存キーワードです。その主な目的は、派生クラスのメンバー関数が、基底クラスの仮想関数をオーバーライドすることをコンパイラに明示的に伝えることです。これにより、意図しないエラーを防ぎ、コードの可読性を向上させます。

具体的には、以下のような場合にコンパイルエラーを発生させることができます。

  • 派生クラスの関数が、基底クラスの仮想関数とシグネチャ（名前、引数リスト、const修飾子など）が一致しない場合。
  • 基底クラスに、その名前とシグネチャを持つ仮想関数が存在しない場合。

現在のコードにおける override の適用 ​

searchable_array_bag および searchable_tree_bag クラスのヘッダーファイルを見ると、insert(int item), print() const, clear(), has(int item) const の各メソッドにはすでに override が付与されています。これは適切です。

一方で、void insert(int* items, int count) に override が付与されていませんが、これは正しいです。基底クラスである bag および array_bag/tree_bag の定義を確認すると、insert(int* items, int count) は仮想関数として宣言されていません。したがって、このメソッドに override を付けようとすると、コンパイルエラーになります。

結論: 提案されたコードスニペットで void insert(int* items, int count) に override をつけるべきではありません。他のメソッドについては、既に適切に override が付与されています。

C++98とそれ以降の環境の違い ​

  • C++98/C++03: override キーワードは存在しませんでした。仮想関数をオーバーライドする際には、単に派生クラスで同じシグネチャの関数を定義するだけでした。このため、シグネチャのわずかな不一致（例: const の付け忘れ）があった場合でも、コンパイラはそれをオーバーライドではなく、新しい関数として扱ってしまい、意図しない動作やバグにつながる可能性がありました。このような問題は、コンパイラの警告レベルを上げるか、手動で注意深く確認するしかありませんでした。
  • C++11以降: override キーワードが導入されました。これにより、開発者は意図したオーバーライドをコンパイラに明示的に伝えることができ、上記のようなシグネチャの不一致によるバグをコンパイル時に検出できるようになりました。モダンなC++開発では、仮想関数をオーバーライドする際には常に override を使用することが強く推奨されます。

2. = default キーワードについて ​

= default の目的 ​

= default は、C++11で導入された機能で、コンパイラに特定の特殊メンバー関数（コンストラクタ、デストラクタ、代入演算子など）のデフォルト実装を生成するように指示します。開発者が明示的に定義した場合でも、デフォルトの動作を明示的に要求したい場合に使用します。

現在のコードにおける = default の適用 ​

searchable_array_bag および searchable_tree_bag クラスのデストラクタは ~searchable_array_bag() = default; のように = default を使用しており、これは適切です。これは、これらのクラスが自身で管理する動的リソースを持たず、基底クラスのデストラクタが適切に呼び出されれば十分であるため、コンパイラが生成するデストラクタの動作で問題ないことを示しています。

C++98とそれ以降の環境の違い ​

  • C++98/C++03: = default キーワードは存在しませんでした。特殊メンバー関数のデフォルト実装を希望する場合、開発者はそれらの関数を明示的に宣言し、その定義を記述しないことでコンパイラに暗黙的に生成させていました。例えば、デストラクタをデフォルトにしたい場合は、ヘッダーに ~MyClass(); と宣言し、.cpp ファイルに MyClass::~MyClass() {} のように空の定義を記述するか、または宣言すら記述しないことで暗黙的に生成させていました。
  • C++11以降: = default キーワードが導入されました。これにより、コンパイラにデフォルト実装の生成を明示的に要求できるようになり、コードの意図がより明確になりました。特に、クラスにユーザー定義のコンストラクタが存在する場合でも、デフォルトコンストラクタの生成を要求できるなど、より柔軟な制御が可能になりました。モダンなC++開発では、特殊メンバー関数のデフォルト実装に頼る場合は、= default を明示的に使用することが推奨されます。

まとめ ​

C++11以降の環境で開発しているのであれば、override と = default の両方を積極的に利用することが、コードの安全性、可読性、保守性を高める上で非常に重要です。現在のコードベースはこれらのモダンなC++の機能を取り入れており、その使い方は（insert(int* items, int count) を除く）適切です。