GoFは、C++テンプレートメソッドパターンの実装で保護された（プライベートではなく）仮想メソッドを使用することをアドバイスしているのはなぜですか？ Template Methodパターンの四人組から

Question

：

三の実装上の問題は注目に値する：C++のアクセス制御を使用して

1. 。 C++では、テンプレートメソッドが呼び出すプリミティブ操作は、保護されたメンバーとして宣言できます。これにより、 はテンプレートメソッドによってのみ呼び出されることが保証されます。上書きされなければならないプリミティブ操作 は純粋仮想と宣言されます。テンプレートメソッド 自体を上書きしないでください。したがって、テンプレート メソッドを非仮想メンバ関数にすることができます。

"これにより、テンプレートメソッドによってのみ呼び出されることが保証されます。"それは本当ですか？プリミティブメソッド（例えば、いくつかが純粋な仮想ではなく仮想である場合）は、派生クラスから呼び出すこともできます。プリミティブメソッドをプライベート宣言するだけで、テンプレートメソッドによって呼び出されることが保証されていることは確かではありませんか？プライベート仮想プリミティブメソッドは、サブクラスで実装（または再実装）され、スーパークラスのテンプレートメソッドで定義されたアルゴリズム内で必要とされる特殊な動作を提供することができます。

ハーブサッターから見る "バーチャリティ"：

http://www.gotw.ca/publications/mill18.htm

彼は述べている：

ガイドライン＃2：仮想関数をプライベートにすることを好むに。 ガイドライン＃3：派生クラスが 仮想関数の基本実装を呼び出す必要がある場合のみ、仮想関数を保護します。

派生クラスが仮想関数の基本クラスの実装を呼び出すためのGoFテンプレートメソッドパターンには何も必要ありません。なぜGang of Fourはこれらの関数をプライベートではなく保護することを推奨しますか？

Answer 1

答えは非常に単純です：

Design Patterns dates from 1994。現時点では、C++は今日も私たちが知っている言語に大きく進化していました。以前の標準は1998年に完成しました。コンパイラはバグがあり、私たちが現在受けている重要な機能をサポートしていませんでした。

さらに重要なことは、（主流のプログラマが）まだ多くのことが発見されていないことです。テンプレートのメタプログラミングを行います。その全体が「つまずいた」around the same timeでした。

私は個人的な仮想関数にも同じことが当てはまると大いに思っています.GoFはこれが正当なC++であることに気づいていませんでした。そうであれば、それは条約として確立されていなかった。

実際、1994年に「良い」と評価されたほとんどのC++コードは、C++ 11を考慮しなくても、今日はあまり複雑でエラーが発生しやすいと考えられます。