designated initializers

Designated initializers позволяют инициализировать поля агрегата (структуры/класса без пользовательских конструкторов), явно указывая имя каждого поля: Point p{.x = 1, .y = 2};. Правила: имена полей должны идти строго в том же порядке, в каком они объявлены в структуре; поля можно пропускать — пропущенные инициализируются как при обычной агрегатной инициализации, значением по умолчанию; нельзя смешивать именованную и позиционную инициализацию в одном списке — либо всё по именам, либо всё по позициям.Designated initializers let you initialize an aggregate's fields (a struct/class with no user-defined constructors) by explicitly naming each one: Point p{.x = 1, .y = 2};. The rules: field names must appear in exactly the order they're declared in the struct; fields may be skipped — skipped ones are initialized the same way an ordinary aggregate initialization would, to a default value; named and positional initialization can't be mixed in the same list — it's either all names or all positions.

struct Config {
    int width;
    int height;
    bool fullscreen;
};

Config c{1920, 1080, false};
// какое значение к какому полю относится?// which value belongs to which field?
// нужно смотреть определение структуры, чтобы понять// you have to check the struct's definition to know

struct Config {
    int width;
    int height;
    bool fullscreen;
};

Config c{.width = 1920, .height = 1080, .fullscreen = false};
// очевидно без заглядывания в определение структуры// obvious without looking up the struct's definition

Позиционная агрегатная инициализация была устойчивым источником молчаливых багов при рефакторинге:Positional aggregate initialization was a persistent source of silent bugs during refactoring:

Designated initializers — это чисто синтаксический механизм этапа компиляции: компилятор сопоставляет каждое .имя = значение с полем структуры по его позиции объявления, затем выполняет обычную агрегатную инициализацию, как если бы список был позиционным. Пропущенные поля инициализируются так же, как при обычной агрегатной инициализации с неполным списком — значением по умолчанию для их типа (для скалярных типов — нулевая инициализация, если не указан инициализатор по умолчанию в самой структуре).Designated initializers are a purely compile-time syntactic mechanism: the compiler matches each .name = value to the struct's field by its declaration position, then performs ordinary aggregate initialization as if the list were positional. Skipped fields are initialized the same way an ordinary aggregate initialization with a shorter list would handle them — to their type's default value (zero-initialization for scalar types, unless the struct itself supplies a default member initializer).

struct Config {
    int width;
    int height;
    bool fullscreen = false;   // default member initializer// default member initializer
    int refresh_rate = 60;
};

// пропуск полей — они получают значение по умолчанию:// skipping fields — they get their default value:
Config c1{.width = 1920, .height = 1080};
// fullscreen == false, refresh_rate == 60 — как и без designated initializer// fullscreen == false, refresh_rate == 60 — same as without a designated initializer

// ошибка компиляции — нарушен порядок объявления:// compile error — declaration order violated:
// Config c2{.height = 1080, .width = 1920};

// ошибка компиляции — смешаны именованная и позиционная формы:// compile error — named and positional forms mixed:
// Config c3{.width = 1920, 1080};

Designated initializers особенно полезны для структур с полем-структурой (вложенная агрегатная инициализация) и для конфигурационных структур с большим числом полей, где явно нужны лишь некоторые — остальные остаются на default member initializer, и явное имя поля документирует, какие значения вообще были осознанно заданы вызывающей стороной:Designated initializers are especially useful for structs containing a nested struct field (nested aggregate initialization) and for configuration structs with many fields where only a few actually need to be set explicitly — the rest fall back to their default member initializer, and the explicit field name documents which values the caller consciously chose to set at all.

struct Timeouts {
    int connect_ms = 1000;
    int read_ms = 5000;
};

struct HttpClientConfig {
    std::string base_url;
    Timeouts timeouts;         // поле-структура// a nested struct field
    int max_retries = 3;
    bool keep_alive = true;
};

// вложенная designated-инициализация — видно, что меняется именно read_ms:// nested designated initialization — it's clear that read_ms specifically changes:
HttpClientConfig cfg{
    .base_url = "https://api.example.com",
    .timeouts = { .read_ms = 30000 },   // connect_ms остаётся 1000 по умолчанию// connect_ms stays at its default of 1000
};
// max_retries == 3, keep_alive == true — не тронуты, читатель это видит по отсутствию имени// max_retries == 3, keep_alive == true — untouched, the reader sees this by the absence of the name

• cppreference — Aggregate initialization (раздел Designated initializers)(Designated initializers section)
• WG21 P0329 — Designated initializers for C++