考虑以下代码:
template <typename B>
struct D : B { };
D d{[]{ }};
gcc 12.x 接受它并推导出
d
成为D</* type of lambda */>
正如预期的那样。clang 14.x 拒绝它并出现以下错误:
<source>:4:3: error: no viable constructor
or deduction guide for deduction of template arguments of 'D'
D d{[]{ }};
^
<source>:2:8: note: candidate template ignored:
could not match 'D<B>' against '(lambda at <source>:4:5)'
struct D : B { };
^
<source>:2:8: note: candidate function template not viable:
requires 0 arguments, but 1 was provided
哪个编译器在这里表现正确?
最佳答案
在代码片段中,没有提供任何扣除指南。 P1816为 C++20 中的聚合类模板添加了推导指南,要求生成一个聚合推导候选。
代码有效,但 Clang 只是 doesn't support P1816还没有。
添加扣除指南允许 compile in Clang也是。
template <typename B> D(B) -> D<B>;
关于c++ - clang vs gcc - 从模板参数派生的结构的 CTAD,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/70660641/