Allocator :: pointerとAllocator :: value_type *はいつ異なるのですか？

Question

質問には疑問があります。具体的にはthisです。
特にジョナサンWakely（答えの作者が）と言わがリーダのための運動として残っていることの部分は、（それが自身のために問題ではありません）があります：このコードは、アサート

アロケータ::ポインタがアロケータです::ようなコードで表現されてVALUE_TYPE *

こと：あると同時に

static_assert(std::is_same<typename AT::pointer, typename AT::value_type*>::value, "Allocator doesn't use fancy pointers"); 

は、私は答えを持っているのです すべて。
しばらくしてからもう一度読んでいたとき、私は自分自身に声をかけて尋ねました。魅力的なポインタ？ 、pointerは次のように定義されてhere（allocator_traitsのドキュメント）から
：

のAlloc ::ポインタ存在する場合、それ以外のVALUE_TYPE *

質問は、このように発生した：中Allocator::pointer現実的なケースは何ですか実際にはAllocator::value_type*は違いますか？

Answer 1

アロケータの要件は、[allocator.requirements]に配置されています。タイプTためのアロケータクラスXについては、私が見る関連の要件は次のとおりです。X::pointer

*qがT const&場所を入力した

• X::pointerは型であるpT&を、入力したX::const_pointer
• *pに変換可能ですqは、タイプX::const_pointer
• p->mのタイプです。T::m
• q->mがこれらの要件の全てをpointerがshared_ptr<T>ことによってsatisfedれる（(*q).m明確に定義されているが条件）

をT::mを入力した（(*p).m明確に定義されているが条件）。その場合、pointerは、確かにvalue_type*（これはT*）と同じではありません。

Answer 2

allocatorスペックが書かれたときに現実的だったかもしれないものがあります。

非常にずっと前に、Intel Segmented Memory Model：near, far, and hugeにさまざまな種類のポインタがあり、速度とサイズのトレードオフが表示されていました。

現在、現在の仮想メモリアーキテクチャでは、もはや実際の使用はありません。古い設定では、しかし、概念的アロケータはtypedef可能性：

typdef T *huge pointer; 

、それだけでT *よりも多くの情報を運ぶだろう。

Answer 3

スマートポインタのようなポインタのようなオブジェクト、つまりポインタと参照カウンタを持つ構造体を作成するアロケータを考えてみましょう。その目的を果たす限り、「非標準」のポインタ構造は、ほとんどのSTLテンプレートで使用でき、特殊なアロケータによって返される型としても使用できます。

現実的な例として、std::shared_ptrのオブジェクトを作成するアロケータを想像することができます。適切なtypedefはtypedef std::shared_ptr<T> pointer;のようになり、T*と大きく異なります。