유형이 std :: tuple인지 여부를 감지하는 방법은 무엇입니까?

Question

왜이 코드에 대해 이상한 결과가 나옵니까? 올바른 방식으로 유형을 테스트하는 방법은 무엇입니까?

#include <iostream> 
#include <tuple> 
#include <type_traits> 

template<typename T> struct is_tuple : std::false_type {}; 
template<typename... Ts> struct is_tuple<std::tuple<Ts...>> : std::true_type {}; 

struct TraitBlock { 
    using BlockLocation = struct { std::uint64_t x, y, z; }; 
}; 

struct TraitRock {}; 

struct ItemTemplate{ 
    static constexpr auto traits = std::make_tuple(
     TraitBlock{}, 
     TraitRock{} 
    ); 
}; 

int main(){ 
    using A = std::tuple<char, int,double,char>; 
    std::cout << is_tuple<decltype(ItemTemplate::traits)>::value 
    << is_tuple<decltype(std::make_tuple(
     TraitBlock{}, 
     TraitRock{} 
    ))>::value 
    << std::endl; 
} 

내가 -std와 mingw64-GCC 7.2.0을 사용 = C++ 17, 나는 내가 두 개의 서로 다른 출력을 가지고 왜 출력 "01" 있어? 그들은 같은 유형이 아닌가?

Answer 1

decltype(ItemTemplate::traits)은 const std::tuple<TraitBlock, TraitRock>입니다.

그래서 cv 한정자를 어딘가에 처리해야합니다. ItemTemplate::traits의 유형 (즉 decltype(ItemTemplate::traits))의 is_tuple의 특성화에 지정된 타입 (즉 std::tuple<Ts...>)과 일치하지 않는, const std::tuple<TraitBlock, TraitRock> 것을

Answer 2

참고.

너는 std::remove_const에 의하여 const-ness를 제거 할 수있다.

std::cout << is_tuple<std::remove_const_t<decltype(ItemTemplate::traits)>>::value; 

또는 const 또 다른 전문화를 추가 (뿐만 아니라 수도 volatile) :

template<typename... Ts> struct is_tuple<std::tuple<Ts...>> : std::true_type {}; 
template<typename... Ts> struct is_tuple<const std::tuple<Ts...>> : std::true_type {}; 
template<typename... Ts> struct is_tuple<volatile std::tuple<Ts...>> : std::true_type {}; 
template<typename... Ts> struct is_tuple<const volatile std::tuple<Ts...>> : std::true_type {}; 

Answer 3

당신은 모든 한정자를 제거해야합니다. 이 모든 작업을 직접 수행하는 대신 std::decay_t을 사용하여 모든 한정자를 제거하고 특성에 파견해야합니다. 예를 들어

template<typename T> 
struct is_tuple_impl : std::false_type {}; 

template<typename... Ts> 
struct is_tuple_impl<std::tuple<Ts...>> : std::true_type {}; 

template<typename T> 
struct is_tuple : is_tuple_impl<std::decay_t<T>> {}