为什么pointer_traits没有为“T * const”定义？

Question

如在http://en.cppreference.com/w/cpp/memory/pointer_traits和相关网站上看到的（也是通过助推器实施的助推器），pointer_traits不是专用于T*const。这是为什么？

Answer 1

虽然这不符合作为一个强大的动力对指定的pointer_traits<>为T* const专业化应该存在，我想为什么它没有被列入可能是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。