新表达式的模板参数推导失败

Question

我正在处理可变参数 class 模板，但我无法在不指定模板参数的情况下将其与新表达式一起使用（我不想这样做）。我将问题简化为以下代码示例：

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。

Answer 1

Barry 提交的标题为 "class template argument deduction fails in new-expression" 的错误 85883 已针对 GCC 9 修复。

错误未出现在 GCC Trunk (DEMO) 中。

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

auto heapBar = new Bar{p, p};

新表达式的模板参数推导失败

Template argument deduction failure with new expression

c++

template-argument-deduction

c++17