C++ 模板构造函数默认参数

Question

以一种非常简单的方式。我们有以下代码：

struct templateTest{
    struct {}m_none;
    template <typename T1, typename T2, typename T3, typename T4>
    templateTest(T1 arg1, T2 arg2=m_none, T3 arg3=m_none, T4 arg4=m_none){

    }
};

struct nonTemplate{
    nonTemplate(int arg1, int arg2=2, int arg3=3){}
};

int main()
{
    nonTemplate(5);
    nonTemplate(5,10);

    templateTest test2(5,10);
    templateTest test1(5);


    return 0;
}

我想要的是模板中的默认构造函数参数 class。

默认参数在 nonTemplate class 中工作得很好，但在 templateTest 类型中就不是这样了。我遇到的错误如下：

C2660: 'templateTest::templateTest' : function does not take 2 arguments

对于使用 2 个参数调用的构造函数

对于使用一个参数调用的构造函数，编译器想要调用 copyConstructor 并且输出如下：

C2664: 'templateTest::templateTest(const templateTest &)' : cannot convert argument 1 from 'int' to 'const templateTest &'

有没有什么方法可以在旧的 C++ 编译器（例如 msvc 2011）上实现我想要的？

Answer 1

struct none_t {};
template <class T1, class T2=none_t, class T3=none_t, class T4=none_t>
templateTest(T1 arg1, T2 arg2=none_t{}, T3 arg3=none_t{}, T4 arg4=none_t{}){

}

您无法从默认参数中推断出模板类型参数。本质上，模板类型参数是在被替换为默认参数之前推导出来的。

live example.

C++ 模板构造函数默认参数

C++ template constructor default arguments

c++

templates

default-value