std :: remove_referenceまたはstd :: remove_cv first？

Question

私は（constのダブル&から、二重のような）const参照の種類を抽出したい場合は、私が使用する必要があります：

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は次にremove_cv<const double>::typeがdoubleで、const doubleからです。

しかし、C++ 11をお持ちの場合は、std::decayをご覧ください。