具有可变参数模板构造函数的演绎指南和可变参数类模板 - 参数包长度不匹配

Question

请考虑以下类定义和演绎指南：

template <typename... Ts>
struct foo : Ts...
{
    template <typename... Us>
    foo(Us&&... us) : Ts{us}... { }
};

template <typename... Us>
foo(Us&&... us) -> foo<Us...>;

如果我尝试使用显式模板参数实例化 foo，代码将正确编译：

foo<bar> a{bar{}}; // ok

如果我试图通过演绎指南实例化< code>foo...

foo b{bar{}};

>

G7产生编译器错误：

prog.cc: In instantiation of 'foo<Ts>::foo(Us ...) [with Us = {bar}; Ts = {}]':
prog.cc:15:16:   required from here
prog.cc:5:27: error: mismatched argument pack lengths while expanding 'Ts'
     foo(Us... us) : Ts{us}... { }
                           ^~~

clang 5 爆炸：

#0 0x0000000001944af4 PrintStackTraceSignalHandler(void*) (/opt/wandbox/clang-head/bin/clang-5.0+0x1944af4)
#1 0x0000000001944dc6 SignalHandler(int) (/opt/wandbox/clang-head/bin/clang-5.0+0x1944dc6)
#2 0x00007fafb639a390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
#3 0x0000000003015b30 clang::Decl::setDeclContext(clang::DeclContext*) (/opt/wandbox/clang-head/bin/clang-5.0+0x3015b30)
...
clang-5.0: error: unable to execute command: Segmentation fault

wandbox上的实例

虽然clang肯定被窃听了（报告为问题#32673），但g拒绝我的代码是正确的吗？我的代码格式错误吗？

Answer 1

由于foo有一个构造函数，编译器会根据构造函数生成一个隐式演绎指南：

// implicitly generated from foo<T...>::foo<U...>(U...)
template<class... T, class... U> foo(U...) -> foo<T...>;

template<class... T> foo(T...) -> foo<T...>; // explicit

因此，问题在于gcc更喜欢隐式指南，因此将T推导为{}，将U{bar}推导为；clang（根据godbolt从5.0.0开始）更喜欢显式指南。这是一个过载解决问题；当发现两个演绎指南不明确时，显式演绎指南优于隐式演绎指南。但clang和gcc在演绎指南是否模棱两可方面存在分歧：

template<class... T, class... U> int f(U...) { return 1; }
template<class... T> int f(T...) { return 2; }
int i = f(1, 2);

这个方案(完全不涉及推演指南)被gcc接受(选择#1)，被clang拒绝(因为模棱两可)。追溯我们的步骤，这意味着回到演绎指南clang通过选择显式演绎指南而不是隐式演绎指南(从构造函数模板生成)来消除歧义，而gcc不能这样做，因为它已经选择了隐式演绎指南作为首选。

我们可以构建一个更简单的例子：

template<class... T, int = 0> int f(T...);  // #1
template<class... T> int f(T...);  // #2
int i = f(1, 2);

同样，gcc(不正确地)选择了#1，而clang以不明确为由拒绝。

重要的是，我们可以通过添加另一个显式推导指南来解决这个问题，gcc仍然更喜欢从构造函数生成的隐式推导指南：

template <typename U, typename... Us>
foo(U&& u, Us&&... us) -> foo<U, Us...>;

这是首选的（当提供的参数超过0时），因为它将第一个参数绑定到一个单一参数，而不是一个包。在0参数的情况下，选择哪个演绎指南（在原始显式指南和隐式生成的指南之间）并不重要，因为两者得到相同的结果，foo

实例

Answer 2

为了进一步简化您的示例，GCC似乎没有在演绎指南中实现可变参数模板参数：

https://wandbox.org/permlink/4YsacnW9wYcoceDH

我没有在标准或 cppreference.com 的扣除指南的措辞中看到任何明确提及可变参数模板的内容。我没有看到对不允许这样做的标准的解释。因此，我认为这是一个错误。