Question

这个问题是我在另一段代码中遇到的，但归结为以下代码段：

#include <iostream>

struct A
{
    template <int I>
    A() : _i{I} {}

    int _i;
};

int main()
{
    A* ptr = new A; // how to call the constructor with a specific template argument ?

    return 0;    
}

这不会令人惊讶地引发以下错误：

clang++ -std=c++17 -Wall main.cpp && ./a.out;

main.cpp:13:18: error: no matching constructor for initialization of 'A'

    A* ptr = new A; // how to call the constructor with a specific template argument ?
                 ^
main.cpp:6:5: note: candidate template ignored: couldn't infer template argument 'I'

    A() : _i{I} {}
    ^
main.cpp:3:8: note: candidate constructor (the implicit copy constructor) not viable: requires 1 argument, but 0 were provided

struct A
       ^

这看起来像是一千次以前遇到的问题，但是我找不到cppreference或SO的解决方案。

如何在新表达式中指定构造函数的模板参数？

Answer 1

不幸的是，您不能为构造函数模板明确指定模板参数，除非可以推断出模板参数，否则无法使用模板参数。 [temp.arg.explicit]/8

[注意：因为显式模板参数列表在函数模板名称之后，并且因为构造函数模板（[class.ctor]）的命名没有使用函数名称（[class.qual]），所以无法提供这些功能模板的显式模板参数列表。 —尾注]

Answer 2

您必须推断出它。您不能明确地传递它们。

您的示例的一种解决方案是：

struct A
{
    template <int I>
    A(std::integral_constant<int, I>) : _i{I} {}

    int _i;
};

auto a = A{std::integral_constant<int, 4>{}};

Answer 3

如我的评论中所述，可能的解决方法是使用继承：

struct A
{
    int _i;
};

template<int I>
struct B : A
{
    B() : A::_i(I) {}
};

...

A* a = new B<10>;

如何在新表达式中指定构造函数的模板参数？

3 个答案: