检测类型是否为std :: tuple？

Question

目前我有两个功能:

template<typename Type> bool f(Type* x);
template<typename... List> bool f(std::tuple<List...>* x);

有没有办法将这两个函数与一个额外的模板参数合并,该参数指示传递的类型是否为元组？

template<typename Type, bool IsTuple = /* SOMETHING */> bool f(Type* x);

Answer 1

当然,使用is_specialization_of(链接从这里采取和修复):

template<typename Type, bool IsTuple = is_specialization_of<Type, std::tuple>::value>
bool f(Type* x);

但问题是,你真的想要吗？通常,如果您需要知道类型是否为元组,则需要对元组进行特殊处理,这通常与其模板参数有关.因此,您可能希望坚持使用重载版本.

编辑:既然你提到你只需要一小部分专业,我建议重载但只适用于小特殊部分:

template<class T>
bool f(T* x){
  // common parts...
  f_special_part(x);
  // common parts...
}

同

template<class T>
void f_special_part(T* x){ /* general case */ }

template<class... Args>
void f_special_part(std::tuple<Args...>* x){ /* special tuple case */ }

Answer 2

在C ++ 17中，这是一个相当简单的解决方案，使用 if constexpr

template <typename> struct is_tuple: std::false_type {};

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

然后，您可以执行以下操作：

template<typename Type> bool f(Type* x) {
    if constexpr (is_tuple<Type>::value) {
        std::cout << "A tuple!!\n";
        return true;
    }

    std::cout << "Not a tuple\n";
    return false;
}

确保其有效的测试：

f(&some_tuple);
f(&some_object);

输出：

一个元组！
不是元组

解决方案部分取自以下答案：如何知道类型是否为std :: vector的特化？

Answer 3

您可以让您的函数遵循另一个函数:

template<typename Type,bool IsTuple> bool f(Type *x);

template<typename Type> 
inline bool f(Type* x) { return f<Type,false>(x); }

template<typename... List> 
inline bool f(std::tuple<List...>* x) { return f<std::tuple<List...>,true>(x); }

Answer 4

对于C ++ 11，这是我的首选模式：

// IsTuple<T>()
template <typename T>
struct IsTupleImpl : std::false_type {};

template <typename... U>
struct IsTupleImpl<std::tuple <U...>> : std::true_type {};

template <typename T>
constexpr bool IsTuple() {
  return IsTupleImpl<decay_t<T>>::value;
}

效果很好。没有依赖关系（我不能使用Boost）。