std :: remove_reference или std :: remove_cv сперва?

Question

Если я хочу, чтобы извлечь тип константной ссылки (например, двойные от сопза двойного &), я должен использовать:

typename std::remove_cv<typename std::remove_reference<Type>::type>::type 

или

typename std::remove_reference<typename std::remove_cv<Type>::type>::type 

?

Answer 1

Использовать remove_reference сперва. remove_cv удаляет только квалификаторы верхнего уровня, а в случае ссылок нет (или игнорируется).

Пример, который показывает разницу:

#include <iostream> 
#include <type_traits> 

template<typename T> 
using Remove_cv_ref = std::remove_cv<typename std::remove_reference<T>::type>; 

template<typename T> 
using Remove_ref_cv = std::remove_reference<typename std::remove_cv<T>::type>; 

int main() 
{ 
    std::cout << std::is_same<typename Remove_cv_ref<const int&>::type, int>::value; // 1 
    std::cout << std::is_same<typename Remove_ref_cv<const int&>::type, int>::value; // 0 
} 

Live demo.

Answer 2

typename std::remove_cv<typename std::remove_reference<Type>::type>::type 

, потому что первый remove_reference<const double&>::type является const double, то это remove_cv<const double>::typedouble.

Но если у вас есть C++ 11, взгляните на std::decay.