在 C99 中组合指定的初始值设定项和 malloc？

Question

有没有一种好的方法可以将 C99 中的指定初始值设定项与 malloc 的结果结合起来？

以下似乎有不必要的重复：

typedef struct {
   int a, b, c;
} Type;

Type *t = malloc(sizeof *t);
*t = (Type) {
    .a = 2,
    .b = 3,
    .c = 5,
};

可以从上面的代码中删除 Type 和 *t 的使用吗？

Answer 1

既然你问了；）C 中有一种工具可以避免显式重复代码，即宏。也就是说，我看不出有什么方法可以不重复至少类型的名称。但在 C++ 中它们也不能，所以 C 至少同样好:)

我看到的最简单的是

#define DESIGNATE_NEW(T, ...)       \
  memcpy(malloc(sizeof(T)),         \
         &(T const){ __VA_ARGS__ }, \
         sizeof(T))

这将给

Type *t = DESIGNATE_NEW(Type,
    .a = 2,
    .b = 3,
    .c = 5,
);

它带来几个优点。

• 它正确初始化所有成员，即使在非
  浮点类型或指针的 0 的标准表示。
• 除了 Keith 的版本之外，它是可以接受的“编码风格”，因为它只是一个看起来像初始化的表达式，任何人都应该立即直观地捕获第二个代码片段集应该执行的操作。

注意：观察宏中的 const，如果编译器认为这是相关的，则这允许折叠复合文字的多个实例。还有一些方法可以有一个变体，其中指示符列表是可选的，请参见下面的 P99。

缺点是 memcpy，我会对作业更满意。其次，在使用结果之前不会检查 malloc 是否失败，但人们可能会遇到一些奇怪的情况，让代码正常退出。

在 P99 中，我采取了稍微不同的方式。我们总是有一个类型的初始化函数，

inline
Type* Type_init(Type* t, int a, int b, int c) {
  if (t) {
    *t = (Type const){ .a = a, .b = b, .c = c };
  }
  return t;
}

通过宏魔法可以为 a、b 和 c 提供默认参数。 > 如果它们被省略。 使用类似的内容

Type *t = P99_NEW(Type, 1, 2, 3);

然后您可以简单地在应用程序代码中 。这更好，因为它可以避免在调用 malloc 失败时取消引用指针。另一方面，这重新向初始化器引入了顺序，因此也不完美。

Answer 2

您可以使用可变参数宏。我不会说这是一个好主意，但它确实有效：

#include <stdlib.h>
#include <stdio.h>

#define CREATE(type, ptr, ...) \
    type *ptr = malloc(sizeof *ptr); \
    if (ptr) *ptr = (type){__VA_ARGS__}

int main(void)
{
    typedef struct {
        int a, b, c;
    } Type;
    CREATE(Type, t, .a = 2, .b = 3, .c = 5);
    printf("t->a = %d, t->b = %d, t->c = %d\n", t->a, t->b, t->c);
    return 0;
}

请注意，我无法使用通常的 do { ... } while (0) 宏定义技巧 (它会创建一个新的作用域，并且 t 将不可见），因此您必须小心使用它的上下文。

就我个人而言，我认为我对不必要的重复更满意。

Answer 3

不，这是使用指定初始值设定项的唯一方法。如果没有 (Type){}，编译器将不知道如何验证内容。