std :: remove_reference o std :: remove_cv prima?

Question

Se voglio estrarre il tipo di un riferimento const (come il doppio da const doppia &), devo usare:

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

o

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

?

Answer 1

Utilizzare prima remove_reference. remove_cv rimuove solo i qualificatori di primo livello e, in caso di riferimenti, non ne esiste (o viene ignorato).

Un esempio che mostra la differenza:

#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 

perché prima remove_reference<const double&>::type è const double, quindi remove_cv<const double>::type è double.

Ma se si dispone di C++ 11, dare un'occhiata a std::decay.