On SO, I asked for a way to do it without variadics. I also provided a typical normal implementation with variadics: template <typename V, typename T>struct Is_in_tuple;template <typename V, typename T0, typename... T>struct Is_in_tuple <V, tuple<T0, T...> >{  static const bool value = Is_in_tuple<V, tuple<T...> >::value;};template <typename V, typename... T>struct Is_in_tuple <V, tuple<V, T...> >{  static const bool value = true;};template <typename V>struct Is_in_tuple <V, tuple<> >{  static const bool value = false;};I'd like a review on the above code. Is it safe / OK / missing something, before I make it my standard way of querying type lists?
Test whether a type T is among the types of a tuple
c++;c++11;template meta programming;variadic