在clang中不同长度包的包扩展错误，在gcc中编译。谁是对的？

Question

我正在研究一种使用多重继承而不是经典递归定义的元组类型。 这样做时，我在扩展多个根据clang具有不同长度的参数包时遇到了一个奇怪的问题，而gcc编译代码没有问题。

可以在此处找到一个演示问题的小示例： https://godbolt.org/z/oKbYKd9je

使用 clang 12.0.1 编译时出现错误：

包扩展包含具有不同的参数包“Ts” 来自外部参数包的长度（3 vs. 1）

当切换到 gcc 11 时，代码编译没有问题。 我想知道哪个编译器是正确的？对我来说，这似乎应该可以正常工作，并且该错误已存在。

---

此处也包含代码，以防外部链接过期：

#include <type_traits>
#include <utility>

template <size_t index, typename T>
struct element_holder {
  T value;
};

template <typename... Ts>
struct tuple : public Ts... {};

namespace detail{
 
    template<typename T>
    struct make_tuple_impl2;

    template<size_t...Is>
    struct make_tuple_impl2<std::index_sequence<Is...>>{
        template<typename ...Ts>
        using f = tuple<element_holder<Is, Ts>...>; //<-- error occurs here
    };

    template<size_t n>
    struct make_tuple_impl{
        template<typename... Ts>
        using f=typename make_tuple_impl2<std::make_index_sequence<n>>::template f<Ts...>;
    };
}

struct make_tuple{
    template<typename ...Ts>
    // This does not work with clang 12.0.1, but does with gcc 11
    using f = typename detail::make_tuple_impl<sizeof...(Ts)>::template f<Ts...>;
    //This works:
    //using f=typename detail::make_tuple_impl2<std::make_index_sequence<sizeof...(Ts)>>::template f<Ts...>;
};


int main() {
using tuple_t = typename make_tuple::template f<int, int, bool>;
}

Answer 1

不是对这个问题的直接回答，但如果有人来到这里寻找解决方法，这里有一个替代方案：

只要两个参数包在同一个模板声明中，它就可以在两个编译器上正常工作。

这是 OP 代码的样子：

namespace detail{
 
    template<typename... T>
    struct make_tuple_impl2;

    template<size_t...Is, typename... Ts>
    struct make_tuple_impl2<std::index_sequence<Is...>, Ts...>{
        using type = tuple<element_holder<Is, Ts>...>;
    };

    template<size_t n>
    struct make_tuple_impl{
        template<typename... Ts>
        using f=typename make_tuple_impl2<std::make_index_sequence<n>, Ts...>::type;
    };
}