将参数初始化为构造函数，而不是第一个

Question

我想在以下场景中显式更改结构的构造函数中的第二个参数。有没有可能，如果有，怎么做？

struct foo{
    int x;
    int y;
    foo(int a=4, int b=6){
        x=a;
        y=b;
    }
};

int main(){
    foo *f = new foo();
    cout<<f->x<<" "<<f->y<<endl;
   //4 6 
    foo *g = new foo(3,4);
    cout<<g->x<<" "<<g->y<<endl;
    //3 4
    foo *h = new foo(3);
    cout<<h->x<<" "<<h->y<<endl;
   //3 6
   //Can something like this be 
   //done in C++, if I want
   //to change the value of the 
   //second variable only
    foo *k = new foo(b = 13);

return 0;

}

Answer 1

有可能吗，如果可以，怎么做？

构造函数是不可能的。一般来说，c++ 不支持函数的命名关键字参数，如果你想在它后面传递一个非默认值，即使它们有默认值也不能跳过。

如果你使用默认的成员初始化器，那么从 C++20 开始使用指定初始化器，使用列表初始化语法的构造函数是可能的：

struct foo{
    int x = 4;
    int y = 6;
};

int main(){
    foo f {.y = 4};
}

---

您可以通过标签调度实现类似的效果；不需要未来的标准：

struct foo{
    int x = 4;
    int y = 6;

    enum Xtag { Xinit };
    enum Ytag { Yinit };

    foo(int a, int b) : x(a), y(b) {}
    foo(Xtag, int a)  : x(a) {}
    foo(Ytag, int b)  : y(b) {}
};

int main(){
    foo f(foo::Yinit, 4);
}

---

一种使用 lambda 的解决方案，无需修改现有类即可使用。以下适用于您对foo 的定义：

auto make_foo_x4 = [](int b) {
    return foo(4, b);
};
foo f = make_foo_y(4);

缺点是我们必须显式重复默认值x，因此如果在类定义中更改默认值，这可能会破坏假设。