使用新表达式的模板参数推断失败

Template argument deduction failure with new expression

本文关键字:参数 失败 表达式      更新时间:2023-10-16

我正在处理一个可变参数类模板,但是如果不指定模板参数,我就无法将其与新表达式一起使用(我不想(。我将问题简化为以下代码示例:

template <typename T>
struct Foo
{
Foo(T p)
: m(p)
{}
T m;
};
template <typename T1, typename T2>
struct Bar
{
Bar(T1 p1, T2 p2)
: m1(p1), m2(p2)
{}
T1 m1;
T2 m2;
};
int main()
{
double p = 0.;
auto stackFoo = Foo(p);       // OK
auto heapFoo = new Foo(p);    // OK
auto stackBar = Bar(p, p);    // OK
auto heapBar = new Bar(p, p); // error: class template argument deduction failed
return 0;
}

根据我从cppreference的理解,编译器应该能够在上述每种情况下推断出模板参数。我不知道为什么heapFoo也没有错误。

那么我在这里错过了什么吗?

我在 Xubuntu 17.10 上使用带有 -std=c++17 标志的 gcc 7.2.0。

Barry 提交的标题为"类模板参数推导在新表达式中失败"的错误 85883 已在 GCC 9 中修复。

该错误不会出现在 GCC 中继 (DEMO( 中。

作为 GCC 7.2 的解决方法,您可以使用如下所示的值初始化形式。 (演示(:

auto heapBar = new Bar{p, p};