如何用非常量数据初始化局部静态数组？求更优实现方案

首先明确报错原因：C语言标准规定，静态存储期的变量（包括局部静态数组）必须使用编译时常量初始化。静态变量在程序启动阶段就会被分配内存并初始化，而不是函数首次调用时，所以你用运行时才赋值的全局变量x、y作为初始化器，编译器会判定为非法。

下面是几种实用的替代方案：

方案一：手动标记初始化状态（通用兼容） #

这是最常用的写法，兼容性覆盖所有C标准版本：

#include <stdio.h>

int x;
int y;

void func(void)
{
    static int a[2];
    static int initialized = 0; // 静态标记位，默认初始化为0

    if (!initialized) {
        a[0] = x;
        a[1] = y;
        initialized = 1; // 标记为已初始化
    }

    printf("%d %d\n", a[0], a[1]);
}

int main()
{
    x = 2;
    y = 3;
    func(); // 输出 2 3
    x = 4;  // 后续修改x不会影响a的值
    func(); // 依然输出 2 3
    return 0;
}

逻辑简单直接：用静态变量记录是否完成初始化，首次调用时执行赋值，后续调用跳过初始化逻辑。

方案二：C11 call_once 线程安全初始化 #

如果你的编译器支持C11标准，call_once可以更优雅地实现线程安全的单次初始化，无需手动管理标记位：

#include <stdio.h>
#include <threads.h>

int x;
int y;

void func(void)
{
    static int a[2];
    static once_flag init_flag = ONCE_FLAG_INIT;

    // 确保初始化逻辑只执行一次，多线程环境下也安全
    call_once(&init_flag, () {
        a[0] = x;
        a[1] = y;
    });

    printf("%d %d\n", a[0], a[1]);
}

int main()
{
    x = 2;
    y = 3;
    func();
    x = 4;
    func();
    return 0;
}

call_once会保证传入的初始化函数仅被调用一次，适合需要线程安全的场景。

方案三：动态分配内存（适合可变大小场景） #

如果你的数组大小需要动态调整，或者不想用栈/静态存储区，可以用静态指针指向堆内存：

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

int x;
int y;

void func(void)
{
    static int *a = NULL;

    if (!a) {
        a = malloc(2 * sizeof(int));
        if (a) { // 检查内存分配是否成功
            a[0] = x;
            a[1] = y;
        }
    }

    if (a) {
        printf("%d %d\n", a[0], a[1]);
    }
}

int main()
{
    x = 2;
    y = 3;
    func();
    x = 4;
    func();
    free(a); // 注意：静态指针需手动释放内存，避免泄漏
    return 0;
}

缺点是需要手动管理内存，且内存位于堆区，而非静态存储区，但灵活性更高。

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