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

考虑以下类定义和deduction guide：

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

如果我试图通过演绎指南实例化foo …

foo b{bar{}};

> g 7产生编译器错误：

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

live example on wandbox

虽然clang肯定是错误的(报告为问题#32673),但拒绝我的代码是正确的吗？我的代码格式不正确吗？

解决方法:

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

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

我没有在标准或cppreference.com上的演绎指南的措辞中看到任何关于可变参数模板的明确提及.我看不到不允许这种标准的解释.因此我认为这是一个错误.

标签：template-deduction,c,c17
来源： https://codeday.me/bug/20190928/1825237.html