我正在处理一个可变参数类模板,但我不能在不指定模板参数的情况下将它与新表达式一起使用(我不想这样做)。我将问题简化为以下代码示例:
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
也没有错误。
我是不是漏掉了什么?
我在带有 -std=c++17 标志的 Xubuntu 17.10 上使用 gcc 7.2.0。
最佳答案
错误 85883 标题为:"class template argument deduction fails in new-expression" Barry 提交的文件已针对 GCC 9 修复。
错误没有出现在 GCC 主干中 (DEMO)。
作为 GCC 7.2 的解决方法,您可以使用如下所示的值初始化形式。 ( DEMO ):
auto heapBar = new Bar{p, p};
关于c++ - 新表达式的模板参数推导失败,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/50478019/