struct A 数组的静态初始化，其中 struct A 包含指向 struct B 数组的指针（在 C 中）

Question

给定以下类型定义：

// Structures for kana to romaji conversion lookup
typedef struct {
  const u16 kana; // Kana codepoint
  const char* romaji;
} KanaSuffix;

typedef struct {
  // Kana codepoint is implied by position in array
  const char* romaji;
  const KanaSuffix* suffixes;
} KanaPrefix;

是否可以在一个步骤中静态初始化KanaPrefix 的数组，其中数组的某些元素有suffixes 指向KanaSuffix 的静态数组？

现在我正在这样做：

const KanaSuffix KANA_SUFFIXES_KI[] = {
  { 0x3030, "kya" },
  { 0x3032, "kyo" }
};

const KanaPrefix KANA_TO_ROMAJI[] = {
  { NULL, NULL },
  { "a", NULL },
  { "ki", KANA_SUFFIXES_KI }
};

但我想做更多这样的事情：

const KanaPrefix KANA_TO_ROMAJI[] = {
  { NULL, NULL },
  { "a", NULL },
  { "ki", {
    { 0x3030, "kya" },
    { 0x3032, "kyo" }
  } }
};

Answer 1

你可以这样做：

const KanaPrefix KANA_TO_ROMAJI[] = {
  { NULL, NULL },
  { "a", NULL },
  { "ki",  (KanaSuffix [2]) {
      { 0x3030, "kya" },
      { 0x3032, "kyo" }
    }
  }
};

编辑：

我可以[现在]确认这是已定义的行为，因为该复合文字的生命周期[或持续时间]与静态存储的相同：

C99 §6.5.2.5 复合文字

复合字面量的值是一个未命名对象的值 由初始化列表初始化。如果出现复合文字 在函数体之外，对象有静态存储 期间;否则，它具有与关联的自动存储持续时间 封闭块。

参考资料：

What is the lifetime of compound literals passed as arguments?

Answer 2

如果您只需要一个静态对象，那么您可以使用复合文字，因为如果在函数范围之外定义，则具有静态存储持续时间。

当然，由于结构 KanaPrefix 的成员 suffixes 指向多个元素，因此您也需要存储计数：

typedef struct {
  const char* romaji;
  const KanaSuffix* suffixes;
  const size_t count;   
} KanaPrefix;

const KanaPrefix KANA_TO_ROMAJI[] = {
  { NULL, NULL , 0 },
  { "a", NULL , 0 },
  { "ki", ( KanaSuffix[2] ){ //this is a compound literal
    { 0x3030, "kya" },
    { 0x3032, "kyo" }
  } , 2 }  //count is here
};