如何以数据类型关键字为参数改进Lua绑定宏FuncCreate？

一、用宏实现自动类型到Lua API的映射 #

你可以通过C语言的_Generic特性（C11及以上支持）结合宏展开，实现传入类型关键字自动生成对应Lua转换API的效果。核心思路是用编译期类型匹配，将你传入的类型映射到对应的lua_t*函数。

具体实现步骤 #

1. 定义类型到Lua API的映射宏
   先把需要支持的类型和对应的Lua转换函数绑定：

// 类型到Lua转换函数的映射
#define LUA_TYPE_CONVERTER(type) \
    _Generic((type*)0, \
        int*: lua_tointeger, \
        const char**: lua_tostring, \
        void**: lua_touserdata  /* 所有struct指针可以用void*匹配 */ \
    )

这里用(type*)0作为_Generic的匹配表达式，通过类型指针来区分不同的原生类型。

2. 重构FuncCreate宏
   调整原有的FuncCreate宏，让它接受「类型+栈索引」的参数对，自动展开成对应的转换调用：

// 辅助宏：处理单个（类型，索引）参数对
#define _LUA_MAKE_ARG(L, type, idx) LUA_TYPE_CONVERTER(type)(L, idx)

// 辅助宏：展开所有参数对
#define _LUA_EXPAND_ARGS(L, ...) \
    _LUA_EXPAND_ARG_LIST(L, __VA_ARGS__)
#define _LUA_EXPAND_ARG_LIST(L, t1, i1, ...) \
    _LUA_MAKE_ARG(L, t1, i1) \
    __VA_OPT__(, _LUA_EXPAND_ARGS(L, __VA_ARGS__))

// 最终的FuncCreate宏
#define FuncCreate(func_name, ...) \
    int wrapper_##func_name(lua_State* L) { \
        func_name(_LUA_EXPAND_ARGS(L, __VA_ARGS__)); \
        return 0; \
    }

3. 简化后的调用方式
   假设你有一个C函数void process_obj(struct MyObj* obj, int count, const char* name)，现在只需要这样调用宏：

FuncCreate(process_obj, struct MyObj*, 1, int, 2, const char*, 3)

宏会自动展开成：

int wrapper_process_obj(lua_State* L) {
    process_obj(lua_touserdata(L, 1), lua_tointeger(L, 2), lua_tostring(L, 3));
    return 0;
}

二、可变参数函数是否更优？ #

结论是：不适合，原因如下：

• 类型关键字是编译期信息，可变参数函数在运行时无法直接感知类型，必须依赖宏来传递转换逻辑，本质还是绕不开宏的编译期处理。
• 可变参数函数会引入额外的运行时开销（比如va_list的处理），而Lua绑定的wrapper函数需要尽可能高效，宏的编译期展开显然更合适。
• 类型安全难以保证：宏可以通过_Generic在编译期检查是否支持传入的类型，而可变参数函数无法做这类编译期校验，容易出现类型不匹配的错误。

三、如果非要用可变参数函数实现？ #

实际上只能结合宏来包装，可变参数函数本身无法独立完成类型到API的映射。比如先通过宏把类型转换为对应的转换函数指针，再传入可变参数函数：

// 定义转换函数指针类型
typedef void* (*LuaConvFunc)(lua_State*, int);

// 辅助宏：获取类型对应的转换函数
#define GET_CONVERTER(type) LUA_TYPE_CONVERTER(type)

// 可变参数函数示例（仅作演示，实际无实用价值）
void lua_call_wrapper(lua_State* L, void (*target_func)(), int arg_count, ...) {
    va_list args;
    va_start(args, arg_count);
    
    // 这里需要手动处理每个参数的转换和传递，完全没有宏实现方便
    for (int i = 0; i < arg_count; i++) {
        LuaConvFunc conv = va_arg(args, LuaConvFunc);
        int idx = va_arg(args, int);
        void* val = conv(L, idx);
        // 但如何把val传给target_func？无法通用处理，必须提前知道参数类型
    }
    
    va_end(args);
}

这种方式不仅没有简化调用，反而增加了实现复杂度，完全不如宏方案直接高效。

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