C语言函数内用复合字面量初始化变量：static用法及内存释放

之前通过复合字面量实现了结构体成员的直接初始化，现在需要在函数内完成变量初始化，但函数内的复合字面量默认是自动存储期，数据需要在函数外使用，因此给复合字面量加上了static关键字，不确定这种做法是否合理。

初始代码（main函数内完成初始化） #

#include <stdio.h>

typedef struct {
  const char* name;
  const int nb;
  const char* const* list;
} valid_options_t;

void print_options (const valid_options_t* option) {
  printf("Option Name : %s\n",option->name);
  for (int i=0; i < option->nb; i++) printf("\t%s\n",option->list[i]);
  printf("---------\n");
}
int main() {

  const valid_options_t my_size_opts = {.name="size", .nb=3, .list= (const char * const[]) {"large", "medium", "small"} };
  const valid_options_t my_color_opts = {.name="color", .nb=4, .list= (const char * const[]) {"orange", "yellow", "white", "red"} };
  const valid_options_t my_form_opts = {.name="shape", .nb=2, .list= (const char * const[]) {"circle", "square"} };

  print_options (&my_size_opts);
  print_options (&my_color_opts);
  print_options (&my_form_opts);

}

函数内初始化的代码 #

#include <stdio.h>

typedef struct {
  const char* name;
  const int nb;
  const char* const* list;
} valid_options_t;

void print_options (const valid_options_t* option) {
  printf("Option Name : %s\n",option->name);
  for (int i=0; i < option->nb; i++) printf("\t%s\n",option->list[i]);
  printf("---------\n");
}

void init_coumpond_literal(valid_options_t *(*my_opts)[3]) {
  (*my_opts)[0] = &(static valid_options_t){.name="size", .nb=3, .list= (static const char * const[]) {"large", "medium", "small"} };
  (*my_opts)[1] = &(static valid_options_t){.name="color", .nb=4, .list= (static const char * const[]) {"orange", "yellow", "white", "red"} };
  (*my_opts)[2] = &(static valid_options_t){.name="shape", .nb=2, .list= (static const char * const[]) {"circle", "square"} };
}

int main() {

  const int feature_nb=3;
  
  valid_options_t *my_size_opts[feature_nb];
  
  init_coumpond_literal(&my_size_opts);
  
  for (int i=0; i < feature_nb; i++)
    print_options (my_size_opts[i]);
}

回答 #

实现正确性 #

你的写法是正确的：当给复合字面量加上static关键字后，该字面量的存储期变为静态存储期，内存会在程序启动时分配，直到程序终止才会被回收。因此函数返回后，指向这些静态复合字面量的指针依然有效，完全可以在函数外安全使用。

需要注意的是，静态复合字面量只会在程序首次执行到对应的代码行时完成初始化，后续再次调用init_coumpond_literal不会重新初始化，也不会重复分配内存，这符合静态变量的特性。

内存释放问题 #

这些静态存储期的变量不需要手动释放：静态内存由操作系统在程序结束时自动回收，C语言没有提供标准的API来手动释放静态分配的内存。

如果你的场景需要动态创建、可随时释放的灵活性，建议改用malloc/calloc动态分配结构体和字符串数组，完成初始化后使用free释放内存，但这种方式需要严格管理内存，避免出现泄漏或野指针问题。

内容的提问来源于stack exchange，提问作者Stef1611