如何检测一个类型是否是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; 
} 

我用mingw64-GCC 7.2.0与-std = C++ 17，我得到了输出 “01” 为什么我有两个不同的输出？他们不是同一类型吗？

Answer 1

decltype(ItemTemplate::traits)是const std::tuple<TraitBlock, TraitRock>。

所以你必须在某处处理cv限定词。

Answer 2

注意的ItemTemplate::traits的类型（即decltype(ItemTemplate::traits)）是const std::tuple<TraitBlock, TraitRock>，其不匹配的is_tuple专业化指定类型（即std::tuple<Ts...>）。

您可以删除std::remove_const（例如，

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>> {}