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

Question

正如在http://en.cppreference.com/w/cpp/memory/pointer_traits和相关网站上看到的那样（也是通过boost侵入的boost实现）， 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进行专业化会造成伤害，我只是想提供一个可能解释为什么缺少这些专业化的原因。

同样，没有为T* cv提供iterator_traits<> 。