通过宏组合两个指定的初始化器

Question

在一个嵌入式项目中，我使用了一个库，它提供了一个用于初始化结构的宏。这提供了合理的默认值，但默认值取决于其他参数。我想覆盖此指定初始化程序的一个或多个值，因为之后初始化这些值会产生开销。

理想情况下，我不想复制粘贴所有宏，因为这样我就必须管理第三方代码。如果库更改了它的默认值，我也不想这样做。

有没有办法合并或覆盖 designated initializers ，所以没有开销？代码必须符合 C99 标准且可移植。

演示问题的一些示例代码:

#if SITUATION
#define LIBRARY_DEFAULTS \
{ \
  .field_a = 1, \
  .field_b = 2, \
  .field_c = 3 \
}
#else
#define LIBRARY_DEFAULTS \
{ \
  .field_a = 100, \
  .field_b = 200, \
  .field_c = 300, \
  .field_d = 400, \
  .field_e = 500 \
}
#endif

/* The following is what I want (or similar), but (of course) doesn't 
   work. */
// #define MY_DEFAULTS = LIBRARY_DEFAULTS + { .field_a = 100 }

int main(void) {
    /* The exact definition of something also depends on situation. */
    struct something library_thing = LIBRARY_DEFAULTS;

    /* This generates overhead, and I want to avoid this. It is certain
       that the field exists. */
    library_thing.field_a = 100;
}

Answer 1

您可以将您的 library_thing 包装在外部结构中，并从外部结构的初始化程序中进行覆盖:

#include <stdio.h>

struct foo {
    int a,b,c;
};

#define FOO_DEFAULTS { .a = 1, .b = 2, .c = 3 }

int main() {
    struct {
        struct foo x;
    } baz = {
        .x = FOO_DEFAULTS,
        .x.a = 4,
    };

    printf("%d\n", baz.x.a); // prints 4
}

其实你甚至可以做到

.x = FOO_DEFAULTS,
.x = {.a = 4},

如果您确实需要“合并”两个初始化器。

这在 Clang (7.0.2) 上编译良好，但在 -Winitializer-overrides 下生成警告。检查生成的代码确认该结构已使用 4, 2, 3 初始化，因此此技巧没有额外的开销。