std :: remove_reference lub std :: remove_cv first?

Question

Jeśli chcę wyodrębnić typ const odniesienia (jak podwójny z podwójnym & const), muszę używać:

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

lub

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

?

Answer 1

Najpierw użyj remove_reference. remove_cv usuwa tylko kwalifikatory najwyższego poziomu, aw przypadku odniesień nie ma żadnych (lub jest ignorowanych).

Przykładem, który przedstawia różnicę!

#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 

ponieważ pierwszy remove_reference<const double&>::type jest const double, następnie remove_cv<const double>::type jest double.

Ale jeśli masz C++ 11, spójrz na std::decay.