Question

COPY (SELECT * FROM MyView) TO 'C:\tmp\MyData_db.csv' DELIMITER ',' CSV HEADER;

编译器给了我

#include <cstdint>
#include <iostream>

class MyBar {
public:
    void print() {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
};

template <class Bar = MyBar>
class Foo{
public:
    Foo(const char* name, const uint32_t i) {
        Bar b;
        b.print();
    }
};

int main(int argc, char** argv) {
    auto pFoo1 = new Foo("abc", 3);
}

将template_ctor.cpp: In function ‘int main(int, char**)’: template_ctor.cpp:21:31: error: class template argument deduction failed: auto pFoo1 = new Foo("abc", 3); ^ template_ctor.cpp:21:31: error: no matching function for call to ‘Foo()’ template_ctor.cpp:14:2: note: candidate: template<class Bar> Foo(const char*, uint32_t)-> Foo<Bar> Foo(const char* name, const uint32_t i) { ^~~ template_ctor.cpp:14:2: note: template argument deduction/substitution failed: template_ctor.cpp:21:31: note: candidate expects 2 arguments, 0 provided auto pFoo1 = new Foo("abc", 3);放在<>之后，它就会编译。

起初，我认为new Foo是强制性的，以提示编译器使用默认模板参数，但是后来我注意到，如果我放弃<>，然后没有传递{{1 }}，然后也可以编译。

现在，我很困惑。

Answer 1

这应该可以编译，基本上是gcc bug 85883。 on trunk已解决：

struct MyBar;

template <class Bar = MyBar>
class Foo{
public:
    Foo(const char* name, int i);
};

auto pFoo1 = new Foo("abc", 3);

该示例在gcc 8.2上失败，但在9上编译。

Answer 2

编译器将实例化时使用的信息用于推导。

在new Foo("abc", 3)的情况下，它实际上仅具有构造函数参数类型，没有一个是模板化的。因此，您需要使用new Foo<>("abc", 3)明确表示未指定模板类型，而应使用默认类型。

自从引入默认模板参数类型以来，这种用法就一直存在于C ++中。

如果构造函数参数之一是模板类型，则编译器应该能够从该参数推断出模板类型。

模板参数推导失败，并带有默认模板参数

2 个答案: