pointer_traitsが "T * const"に対して定義されていないのはなぜですか？

Question

http://en.cppreference.com/w/cpp/memory/pointer_traitsおよび関連部位（ブースト介入によるブースト実施も示す）に見られるように、pointer_traitsはT*constに特化していない。何故ですか？

Answer 1

これはT* constためpointer_traits<>の専門が存在する必要があることを指定するに強い意欲としての資格はありませんが、私はそれが含まれていなかった理由の説明がpointer_traits<>はほとんどどこコンテキストで使用されることを意図されている可能性があり推測テンプレート引数の控除（特にタイプ控除）が行われます。

型推論は、トップレベルのCV-資格を無視しているので、T* constまたはT* volatileまたはT* const volatileのための専門は、おそらく不要と判断された：もちろん

#include <type_traits> 

template<typename T> 
void foo(T) 
{ 
    static_assert(std::is_same<T, int*>::value, "Error"); // Does not fire! 
//        ^^^^ 
} 

int main() 
{ 
    int x = 0; 
    int* const p = &x; 
    foo(p); 
} 

をこれはT* cvのために専門を持つことで害することを意味するものではありませんこのシナリオでは、なぜこれらのスペシャライゼーションが欠落しているのかを説明することを意味しました。

同様に、iterator_traits<>の特化は、T* cvに対して提供されていません。