爲什麼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。