なぜstd :: allocatorはメンバータイプ/関数をC++で失うのですか17？

Question

std::allocatorを見ながら、私はメンバーことを参照してください。
value_type、 pointer、 const_pointer、 reference、 const_reference、 size_type、 difference_type、および rebindはすべて廃止されました。
address、max_size、construct、またはdestroy：

アロケータも、もはやメンバーを持っていません。

どうしてですか？それはポリモフィックアロケータと関係がありますか？

Answer 1

あなたはthe relevant isocpp paperを見れば、あなたが言及最初のセットは今より良いstd::allocator_traitsに配置していると考えられていることがわかります。 STL（標準ライブラリでさえない）が出て以来、形質の使用にシフトが増しています。

rebindも遺物です。 STLが最初に出たとき、エイリアスとテンプレートテンプレートのパラメータはサポートされませんでした。これらの言語機能が存在すると、rebindはかなり畳み込まれているようです。たとえば、an answer to this questionにあるように、C++プログラミング言語、第4版、第34.4.1項、p。 998、デフォルトのアロケータクラスの「古典的」再バインドメンバーのコメント：

template<typename U> 
    struct rebind { using other = allocator<U>;}; 

Bjarne Stroustuprはこれを書いている：「好奇心再バインドテンプレートは古風な別名であることがされている必要があります。

template<typename U> 
using other = allocator<U>; 

しかし、そのようなエイリアスがC++でサポートされる前にallocatorが定義されていました。

したがって、言語とパラダイムシフトに追いつく標準ライブラリです。