在clang中对不同长度的包进行包扩展,在gcc中编译。谁是对的?

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

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

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

包扩展包含与外部参数包具有不同长度(3 对 1)的参数包“Ts”

切换到 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>;
}

以上是在clang中对不同长度的包进行包扩展,在gcc中编译。谁是对的?的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>