如何使用灵活的数组成员初始化结构

我有以下结构

typedef struct _person {
    int age;
    char sex;
    char name[];
}person;

我已经做了一些基本的互联网搜索（但不成功），了解如何创建实例并使用灵活的数组成员初始化结构而不使用malloc().

例如：对于正常结构，如

struct a {
    int age; 
    int sex;
};

我们可以创建一个实例struct a并像这样初始化它

struct a p1 = {10, 'm'};

但对于其中具有灵活数组的结构（例如_person如上所述）我们如何创建一个实例并像正常情况一样进行初始化structures?

有可能吗？如果是这样，我们如何在初始化期间传递数组大小和要初始化的实际值？

(or)

创建具有灵活数组的结构的唯一方法是使用malloc()正如 C99 规范中提到的 -6.7.2.1 Structure and union specifiers - point #17?!

不，灵活数组必须始终手动分配。但你可以使用calloc初始化灵活部分和复合文字来初始化固定部分。我会把它包装在分配中inline像这样的函数：

typedef struct person {
  unsigned age;
  char sex;
  size_t size;
  char name[];
} person;

inline
person* alloc_person(int a, char s, size_t n) {
  person * ret = calloc(sizeof(person) + n, 1);
  if (ret) memcpy(ret,
                  &(person const){ .age = a, .sex = s, .size = n},
                  sizeof(person));
  return ret;
}

请注意，这会将分配是否成功的检查留给调用者。

如果你不需要size当我将其包含在此处时，宏甚至就足够了。只是无法检查返回calloc在做之前memcpy。在我到目前为止编写的所有系统下，这都会相对较好地中止。一般来说我认为返回的malloc是次要的 http://gustedt.wordpress.com/2011/11/05/chasing-a-phantom-checking-the-return-of-malloc/，但在这个问题上意见分歧很大。

这也许（在这种特殊情况下）为优化器提供更多机会将代码集成到周围环境中：

#define ALLOC_PERSON(A,  S,  N)                                 \
((person*)memcpy(calloc(sizeof(person) + (N), 1),               \
                 &(person const){ .age = (A), .sex = (S) },     \
                 sizeof(person)))

Edit:这可能比函数更好的情况是A and S是编译时间常数。在这种情况下，复合文字，因为它是const合格的，可以静态分配，并且其初始化可以在编译时完成。此外，如果代码中出现多个具有相同值的分配，则编译器将只能实现该复合文字的一个副本。