なぜstd :: listにはT型のアロケータがありますか？

Question

私は自分自身の標準準拠のリンクリストを実装しようとしています。なぜTアロケータが必要なのか分かりません。私の実装では、ノードクラスはメモリ内のどこかに格納されたTへのポインタではなく、T自体を保持しているため、Tが明示的に割り当てられることはなく、ノードの一部としてのみ作成されます。なぜノードアロケータが必要なのか理解していますが、なぜT？

私のノードの簡略版です。

class Node { 
    Node* next, prev; 
    T data; // Not T* 
} 

Answer 1

アロケータの素晴らしい世界へようこそ！あなたの所見は非常に正しいので、すべてのアロケータにrebindタイプのメンバーが必要です。

このタイプを使用すると、アロケータはインスタンス化されたタイプ（T）を割り当てられた実際のタイプのアロケータに変換できます。これはリストやその他のコンテナ（マップなど）にとって特別なものです。

私は個人的には、アロケータテンプレートのテンプレート引数を作成し、コンテナに具体的な型を持たせる方がよいでしょうが、STLデザインテンプレートのテンプレートパラメータはまだ広くサポートされていませんでした。