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

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

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;
}

我想要的是模板类中的默认构造函数参数.

默认参数与nonTemplate类完全一致,但是对于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？

解决方法:

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,templates,default-value
来源： https://codeday.me/bug/20190829/1761790.html