从模板参数导出结构的clang与gcc - CTAD

Question

考虑以下代码：

template <typename B>
struct D : B { };

D d{[]{ }};

• gcc 12.x接受它，并按预期推断d为D</* type of lambda */>。
• Clang14.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

godbolt.org上的实例

哪个编译器在这里运行正确？

Answer 1

在代码片段中，没有提供任何扣减指南。P1816在C++20中添加了聚合类模板的扣减指南，要求生成聚合扣减候选。

代码是有效的，但是Clang只是不支持P1816。

添加一个扣减指南也允许这一点到用Clang编译。

template <typename B> D(B) -> D<B>;