如何在C语言中复制函数以实现静态变量独立？

问题描述 #

我希望复制函数，使各副本的静态变量相互独立。尝试了以下代码，但仅保存了函数的地址，导致调用不同函数指针时静态变量共享，实际输出不符合预期。询问在C语言中是否有可行的实现方法？

#include <stdio.h>

void Function() {
    static int counter = 0;
    counter++;
    printf("Counter = %d\n", counter);
}

int main() {
    void (*f1)() = Function;
    void (*f2)() = Function;

    f1();  // 预期输出1
    f2();  // 预期输出1（实际输出2...）

    return 0;
}

可行实现方案 #

C语言里没法直接复制函数来生成独立的静态变量副本——静态变量是绑定到函数本身的，不管多少指针指向它，访问的都是同一块内存。但可以用下面几种方法绕开这个限制：

1. 结构体封装状态+函数指针 #

把需要独立的静态变量（也就是状态）放到结构体里，搭配一个操作这个状态的函数，每个结构体实例就对应一个独立的"函数副本"：

#include <stdio.h>

// 封装状态和操作函数的结构体
typedef struct {
    int counter;
    void (*func)(struct CounterFunc*);
} CounterFunc;

// 操作函数，通过结构体指针访问独立状态
void counter_func(CounterFunc* self) {
    self->counter++;
    printf("Counter = %d\n", self->counter);
}

int main() {
    // 创建两个独立实例，各自拥有专属counter
    CounterFunc f1 = {0, counter_func};
    CounterFunc f2 = {0, counter_func};

    f1.func(&f1);  // 输出1
    f2.func(&f2);  // 输出1

    return 0;
}

2. 宏编译期生成独立函数 #

如果想用类似纯函数指针的调用方式，且不需要动态创建，可以用宏在编译期生成多个带独立静态变量的函数：

#include <stdio.h>

// 宏定义：生成带唯一静态变量的函数
#define DEFINE_COUNTER_FUNC(name) \
void name() { \
    static int counter = 0; \
    counter++; \
    printf("Counter = %d\n", counter); \
}

// 生成两个完全独立的函数
DEFINE_COUNTER_FUNC(func1)
DEFINE_COUNTER_FUNC(func2)

int main() {
    void (*f1)() = func1;
    void (*f2)() = func2;

    f1();  // 输出1
    f2();  // 输出1

    return 0;
}

3. 动态内存分配实现闭包（适合运行时动态创建） #

如果需要在运行时动态生成大量独立"函数实例"，可以用malloc分配状态内存，配合C11的匿名函数实现类似闭包的效果（注意要手动释放内存避免泄漏）：

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

// 定义函数指针类型
typedef void (*CounterFunc)();

// 创建带独立状态的函数实例
CounterFunc create_counter() {
    // 分配内存保存counter，初始化为0
    int* counter = malloc(sizeof(int));
    *counter = 0;

    // 返回捕获counter的匿名函数
    return (CounterFunc)() {
        (*counter)++;
        printf("Counter = %d\n", *counter);
    };
}

// 销毁实例，释放内存（注意：此实现依赖编译器对匿名函数的捕获逻辑，实际场景建议结合结构体封装）
void destroy_counter(CounterFunc func) {
    int* counter = (int*)func;
    free(counter);
}

int main() {
    CounterFunc f1 = create_counter();
    CounterFunc f2 = create_counter();

    f1();  // 输出1
    f2();  // 输出1

    destroy_counter(f1);
    destroy_counter(f2);

    return 0;
}

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