STL 実装 (SGI、STLport、libc++) のいくつかのソースを調べていたところ、すべてまたはほとんどの実装に共通すると思われる設計パターンがいくつか見られましたが、その理由は見つかりませんでした。私は良い反響があるに違いないと思います、そしてそれが何であるかを知りたいです：
vectorなどを含め、多くのクラスlist_iteratorが 2 つのクラスとして実装されました。たとえばlist_iterator_base、機能の一部が実装され、インターフェイスの残りの部分がlist_iterator継承されます。list_iterator_baseポイントは？1つのクラスで簡単に実行できるようです。
iteratorイテレータはクラスを利用していないようです。それを使用するとパフォーマンスが低下しますか?
これらは、簡単なスキムで見つけた2つの質問です。STL 実装の実装原理を説明する優れたリソースを誰かが知っている場合は、喜んでお知らせします。
答えはかなり簡単です。
std::iterator<...>それは実際には機能しないことが判明しました: テンプレート パラメーターに依存する基本クラスで定義された型は、そのような基本から派生するクラス テンプレートでは直接アクセスできません。つまり、型は基本クラスで修飾する必要があり、 を使用して型としてマークする必要がありますtypename。さらに悪いことに、ユーザーは理論上、派生クラスのオブジェクトを割り当て、へのポインターを介してそれらを解放することができますstd::iterator<...>(そうです、それはばかげたことです)。つまり、利点はありませんが、潜在的な欠点があります。つまり、回避するのが最善です。とは言っても、ジェネリック ライブラリを実装する手法をカバーしている優れたリソースを私は知りません。STL 実装に適用される詳細のほとんどは、複数の人々によって独自に発明されましたが、ジェネリック プログラミングに関する文献はまだ比較的少ないです。STL について説明している論文の中で、実際に実装手法について論じているものはないと思います。通常、それらは設計の詳細に集中しています。STL が何であるかを理解している人はほとんどいないことを考えると、作成者が STL の実装方法よりも、STL とは何かを説明することに集中する傾向があることは大きな驚きではありません。