c++ - 检测类型是否为零元素数组？

Question

考虑以下函数:

template <typename Type>
void f(const Type& x)

无论传递的类型是空 std::tuple，我都想在其中做一些特别的事情(没有专门化)或一个空的 std::array .对于 nu 元素的元组，我可以使用 std::is_same<Type, std::tuple<>>::value但是我可以使用什么技巧来检测零元素数组？

(我正在寻找不需要创建另一个函数或类的解决方案，...)

Answer 1

您可以使用 std::tuple_size , 因为它也适用于 std::array !参见 here .只需使用:

std::tuple_size<Type>::value == 0

检查是否Type是空的 std::tuple<>或一个空的 std::array<T,0> .

---

综上所述，问题仍然是如果 Type 会发生什么既不是 std::tuple不是std::array .我看到的一般方法是这样的:

constexpr bool IsNotTupleOrArray =
  !std::is_class<Type>::value ||
  std::is_same<Type,ExcludeThisClass>::value ||
  sizeof(Type)>1 || // non-portable, works for GCC 4.8+
  ...;

std::conditional< IsNotTupleOrArray,
                  std::false_type,
                  std::tuple_size<Type> >::type::value;

这基本上意味着您必须明确排除其他类型。例如is_class<Type>排除所有基本类型，如 int 、指针等