MS Visual Studio 2017 上的可变参数模板编译问题

Question

我需要一个模板来找出类从其基类及其索引继承的类型顺序。该代码适用于 clang 和 gcc，但在作为目标环境的 Visual Studio 中，我收到内部编译器错误“致命错误 C1001：编译器中发生内部错误。”。我正在寻找一些解决方法，或者我的代码中可能有错误。是的，我已经尝试过 google。

谢谢，提前。

#include <type_traits>
#include <iostream>

struct BaseA
{
};

struct BaseB
{
};

struct BaseC
{
};

template <class... Types>
class type_list {};

template<typename Type, typename TypeList>
struct get_idx_for_type;

template<typename Type, template<typename...> typename TypeList, typename ...Types>
struct get_idx_for_type<Type, TypeList<Types...>>
{
    template<int I, typename T, typename ...Rest>
    struct find_type;

    template<int I, typename T, typename U, typename ...Rest>
    struct find_type< I, T, U, Rest... >
    {
        // problematic line for compiler, problem is somewhere in find_type recursion
        static constexpr int value = std::is_same<T, U>::value ? I : find_type<I + 1, T, Rest...>::value;
    };

    template<int I, typename T, typename U>
    struct find_type< I, T, U >
    {
        static constexpr int value = std::is_same<T, U>::value ? I : -1;
    };

    static constexpr int value = find_type<0, Type, Types...>::value;
};

template<typename ...Bases>
struct Foo : public Bases...
{
    using base_types_list = type_list<Bases...>;
};

int main()
{
    using T = Foo<BaseA, BaseB, BaseC>;
    Foo<BaseA, BaseB, BaseC> q;

    int a = get_idx_for_type<BaseA, T::base_types_list>::value;

    std::cout << a << std::endl;

    return 0;
}

Answer 1

另一种可能的替代方法是通过模板函数，而不是 find_type 结构。

例如...如果你定义一个static constexpr方法find_type_func()如下（C++17，但如果你愿意，我可以很容易地将它改编成C++14）

   template <typename T, typename ... List>
   constexpr static int find_type_func ()
    {
      int ret { -1 };
      int i   { 0 };

      ((ret = (ret == -1) && std::is_same<T, List>{} ? i : ret, ++i), ...);

      return ret;
    }

你可以删除struct find_type并初始化value如下

static constexpr int value = find_type_func<Type, Types...>();

-- 编辑--

按照要求，一个 C++14 版本

   template <typename T, typename ... List>
   constexpr static int find_type_func ()
    {
      using unused = int[];

      int ret { -1 };
      int i   { 0 };

      (void)unused { 0, (std::is_same<T, List>::value ? ret = i : ++i)... };

      return ret;
    }

Answer 2

内部编译器错误始终是编译器中的错误，无论是否存在 你的代码有什么问题。要解决这个问题，您可以替换：

template<int I, typename T, typename U, typename ...Rest>
struct find_type< I, T, U, Rest... >
{
    // problematic line for compiler, problem is somewhere in find_type recursion
    static constexpr int value = std::is_same<T, U>::value ? I : find_type<I + 1, T, Rest...>::value;
};

与：

template<int I, typename T, typename U, typename V, typename ...Rest>
struct find_type< I, T, U, V, Rest... >
{
    static constexpr int value = std::is_same<T, U>::value ? I : find_type<I + 1, T, V, Rest...>::value;
};

协助 VC++ 消除歧义：

template<int I, typename T, typename U>
struct find_type< I, T, U >
{
    static constexpr int value = std::is_same<T, U>::value ? I : -1;
};

当...Rest 为空时。

Live demo

Answer 3

我收到一个内部编译器错误“致命错误 C1001：编译器发生内部错误。”。

所以，我想，你的代码是正确的，但编译器有问题。

我正在寻找一些解决方法，或者我的代码中可能存在错误。

我没有你的编译器，所以这是在黑暗中拍摄，但我建议使用另一个专业化重写你的 find_type 结构（U 和 T 的专业化是同一类型；专业化U 和 T 不同）并从 std::integral_constant 继承 value。

所以我提出以下建议

   template <int, typename ...>
   struct find_type;

   template <int I, typename T>
   struct find_type<I, T> : public std::integral_constant<int, -1>
    { };

   template <int I, typename T, typename ... Rest>
   struct find_type<I, T, T, Rest...> : public std::integral_constant<int, I>
    { };

   template <int I, typename T, typename U, typename ... Rest>
   struct find_type<I, T, U, Rest...> : public find_type<I+1, T, Rest...>
    { };