std :: remove_reference hoặc std :: remove_cv trước?

Question

Nếu tôi muốn trích xuất các loại của một tham chiếu const (như tăng gấp đôi từ const double &), làm tôi phải sử dụng:

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

hoặc

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

?

Answer 1

Sử dụng remove_reference trước tiên. remove_cv chỉ xóa các vòng loại cấp cao nhất và trong trường hợp tham chiếu, không có bất kỳ (hoặc bị bỏ qua).

Một ví dụ cho thấy sự khác biệt:

#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 

vì đầu tiên remove_reference<const double&>::type là const double, sau đó remove_cv<const double>::type là double.

Nhưng nếu bạn có C++ 11, hãy xem std::decay.