c++ - 在参数包中查找类型

Question

我正在尝试A在参数包中查找类型：

template <int I, typename A, typename B, typename ...C>
struct index_of
{
  static constexpr int const value =
    std::is_same<A, B>::value ? I : index_of<I + 1, A, C...>::value;
};

template <int I, typename A, typename B>
struct index_of<I, A, B>
{
  static constexpr int const value =
    std::is_same<A, B>::value ? I : -1;
};

这似乎可行，但我无法消除 nontype parameter I，我想将其作为默认参数，但由于最后的参数包而无法做到这一点。如何消除/隐藏I，让元功能变得更加人性化？

Answer 1

您可以将此实现隐藏在命名空间中，并使用另一个类调用您的实现并使用默认参数示例：

namespace detail
{
    // your code as it is in the question
}

template <typename A, typename... B>
struct index_of
{
    static int const value = detail::index_of<0, A, B...>::value;
};

编辑

在他的评论中，DyP 提出了一种更简单的默认I使用别名的方法

template <typename A, typename... B>
using index_of = detail::index_of<0, A, B...>;

Answer 2

template <typename A, typename B, typename... C>
struct index_of
{
  static constexpr int const value =
    std::is_same<A, B>{}
    ? 0
    : (index_of<A, C...>::value >= 0) ? 1+index_of<A, C...>::value : -1;
};

template <typename A, typename B>
struct index_of<A, B>
{
  static constexpr int const value = std::is_same<A, B>{} -1;
};

注意std::is_same<A, B>{} -1使用从boolto的转换int。

---

更好地源自integral_constant：

template <typename A, typename B, typename... C>
struct index_of
  : std::integral_constant
    < int,
        std::is_same<A, B>{}
      ? 0
      : (index_of<A, C...>{} == -1 ? -1 : 1+index_of<A, C...>{})
    >
{};

template <typename A, typename B>
struct index_of<A, B>
  : std::integral_constant < int, std::is_same<A, B>{} -1 >
{};

---

如果在找不到类型的情况下不需要返回-1：（如果有人知道如何在static_assert此处合并一个漂亮的诊断消息，我将不胜感激评论/编辑）

template <typename A, typename B, typename... C>
struct index_of
  : std::integral_constant < std::size_t,
                             std::is_same<A, B>{} ? 0 : 1+index_of<A, C...>{} >
{};

template <typename A, typename B>
struct index_of<A, B>
  : std::integral_constant<std::size_t, 0>
{
    constexpr operator std::size_t() const
    {
        return   std::is_same<A, B>{}
               ? 0
               : throw std::invalid_argument("Type not found!");
    }
};

Answer 3

我的解决方案不使用std::is_same

template<typename Search, typename Head, typename... Tail>
struct index {
    static constexpr size_t value =
        1 + index<Search, Tail...>::value;
};

template<typename Search, typename... C>
struct index<Search, Search, C...> {
    static constexpr size_t value = 0;
};