将参数包传递给带有参数非包和参数包

问题描述

以下代码是GCC主干和Clang主干中的一个错误：

https://godbolt.org/z/YYzdeh

#include <variant>

template <template <typename...> typename Container,typename Type,typename ... More>
struct Contain
{
    using type = Container<Type,More...>;
};

template <template <typename...> typename Container,typename Type>
struct Contain<Container,Type>
{
    using type = Container<Type>;
};

template <template <typename...> typename Container,typename ... More>
using Contain_t = typename Contain<Container,Type,More ...>::type;


template <typename ... A>
using C_ok = typename Contain< std::variant,A ... >::type;


template <typename ... A>
using C_bad = Contain_t< std::variant,A ... >;

为什么参数包 A 在 Type 中正确拆分为 More ... 和 C_ok 而在 C_bad 中没有？

已修正： Type 中的模板参数 Contain_t 是多余的。

template <template <typename...> typename Container,/* typename Type,*/
          typename ... More>
using Contain_t = typename Contain<Container,/* Type,*/ More ...>::type;

（请忽略0个参数调用时不起作用）

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）