如何在添加自定义配置的同时保留默认配置？

Question

如果我没有在结构中定义构造函数，我可以通过如下方式选择某个值来初始化它：

struct Foo {
    int x, y;
};

Foo foo = {.y = 1};

但是如果我添加新的默认构造函数，那么我就会失去这个功能：

struct Bar {
    int x, y;
    Bar(int value) : x(value), y(value) {}
};

Bar bar1 = 1;
Bar bar2 = {.y = 2}; // error: a designator cannot be used with a non-aggregate type "Bar"

两种方式都有可能吗？

我尝试添加默认构造函数Bar () {}，但似乎也不起作用。

Answer 1

到目前为止，这是我能找到的最接近的东西：

struct Vec2 {
    int x, y;
};

struct Bar {
    int x, y;
    Bar(int value) : x(value), y(value) {}
    Bar(Vec2 value) : x(value.x), y(value.y){};
};

Bar bar1 = 1;
Bar bar2 = {{.y = 2}};

但是你需要使用双参数

Answer 2

类似于ellipticaldoor所写的：

struct FooBase {
    int x = 0, y = 0;
};

struct Foo : FooBase {
    Foo(int x_) : FooBase{.x = x_} { }
    Foo(FooBase &&t) : FooBase{t} {}
};

Foo foo = {{.y = 1}};
Foo foo2{1};

Answer 3

你不能既有蛋糕又吃。如果对象具有构造函数，则它不再是聚合，只能使用指定的初始值设定项初始化聚合。不能将构造函数用于聚合的任意初始化逻辑。

我们干杯了吗？不，因为有“命名构造函数”习语。它本质上只是一个静态成员函数，它返回一个初始化的对象，并能够执行一些逻辑。该习语与聚合初始化兼容。

struct Foo {
    int x, y;
    static Foo filled_with(int value) {
        return {.x = value, .y = value};
    }
};

Foo foo = {.y = 1}; // Still an aggregate.
Foo foo2 = Foo::filled_with(2); // Custom logic

这种方法甚至没有任何复制或移动，因为C 17消除了复制或移动的可能性<代码>foo2直接用静态成员执行的任何操作初始化。