纯C伪OOP中如何让结构体函数指针无需传参访问自身成员？

问题背景 #

在纯C语言中采用伪面向对象范式开发时，希望结构体的函数指针无需显式传入self参数就能访问结构体成员。现有实现依赖手动传递self，且在VS的cl.exe编译器中存在兼容性问题，需要更适配的方案。

原示例代码：

struct MyStructure{
    // 希望函数能直接访问此成员
    struct MyStructure *self;
    
    int var1;
    int var2;
    
    void ( *initMemberFn    )(struct MyStructure *self, int arg1, int arg2);
    void ( *memberFn1       )(struct MyStructure *self);
    
};

void initMemberFn(struct MyStructure *self, int arg1, int arg2){   
    self->var1 = arg1;
    self->var2 = arg2;
}

void memberFn1(struct MyStructure *self){
    printf("var1:%d, var2:%d", self->var1, self->var2 );
}

int main(){
    struct MyStructure mystruct;
    mystruct.self = &mystruct;

    mystruct.initMemberFn = &initMemberFn;
    mystruct.memberFn1 = &memberFn1;

    mystruct.initMemberFn(mystruct.self, 1, 2);
    mystruct.memberFn1(mystruct.self);
}

可行解决方案（适配cl.exe） #

方案1：利用线程本地存储（TLS）封装调用 #

VS的cl.exe支持线程本地存储（TLS），可以通过全局TLS变量存储当前对象的self指针，配合宏自动完成self的传递，函数内部无需显式声明self参数。

实现代码：

#include <stdio.h>

// 线程本地存储变量，存储当前对象的指针
__declspec(thread) struct MyStructure* current_self;

// 封装调用的宏，自动设置current_self并调用函数
#define CALL_MEMBER(obj, fn) do { \
    current_self = &(obj); \
    (obj).fn(); \
} while(0)

struct MyStructure{
    int var1;
    int var2;
    
    void (*initMemberFn)(int arg1, int arg2);
    void (*memberFn1)(void);
};

void initMemberFn(int arg1, int arg2){
    current_self->var1 = arg1;
    current_self->var2 = arg2;
}

void memberFn1(void){
    printf("var1:%d, var2:%d\n", current_self->var1, current_self->var2);
}

int main(){
    struct MyStructure mystruct;
    
    mystruct.initMemberFn = &initMemberFn;
    mystruct.memberFn1 = &memberFn1;

    // 使用宏调用，无需手动传递self
    CALL_MEMBER(mystruct, initMemberFn)(1, 2);
    CALL_MEMBER(mystruct, memberFn1)();
    
    return 0;
}

优缺点：

• 优点：函数定义简洁，调用无需显式传self，线程安全（每个线程有独立的current_self），完全适配cl.exe。
• 缺点：依赖VS的TLS扩展，跨编译器兼容性较差；需要通过宏调用函数，不能直接调用函数指针。

方案2：利用结构体偏移反推self指针（不推荐） #

通过计算函数指针成员在结构体中的偏移量，从函数指针的存储地址反推结构体的基地址。此方法依赖内存布局，仅在特定编译器和编译选项下有效，风险较高。

实现代码：

#include <stdio.h>
#include <stddef.h>

struct MyStructure{
    int var1;
    int var2;
    
    void (*memberFn1)(void);
};

void memberFn1(void){
    // 注：此方法需要编译器支持获取函数指针的所在结构体地址，实际可操作性低
    // 仅作示例，生产环境不建议使用
    struct MyStructure* self = (struct MyStructure*)((char*)&memberFn1 - offsetof(struct MyStructure, memberFn1));
    printf("var1:%d, var2:%d\n", self->var1, self->var2);
}

优缺点：

• 优点：无需额外变量，理论上可以实现无参数访问。
• 缺点：高度依赖内存布局，兼容性极差，容易出现未定义行为，维护难度大。

总结 #

如果仅需适配VS的cl.exe，**方案1（TLS+宏封装）**是最稳妥的选择，既满足无需显式传递self的需求，又保证了线程安全和代码可维护性。标准C中没有原生支持隐含this指针的机制，所有伪OOP实现都需要通过某种间接方式传递对象上下文，此方案是平衡兼容性和易用性的最优解。

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