C语言遍历带__pairs元方法的Lua表的标准实现方式

你提到的lua_next不支持__pairs/__ipairs元方法的设计确实符合Lua的分层逻辑：lua_next是底层原生表操作接口，仅处理表实际存储的键值，元方法属于上层语义封装，二者拆分是合理的。

要实现和Lua层pairs()/ipairs()完全一致的遍历行为（自动触发对应元方法，无元方法时回退到原生遍历），只需要在调用lua_next之前先做元方法检查即可，方案完全兼容5.2到5.4全版本，不需要额外兼容判断。

1. pairs风格全键值遍历（适配__pairs元方法） #

逻辑完全对齐Lua官方pairs实现，参考代码如下：

void traversal_table_with_pairs(lua_State *L, int table_idx) {
    // 转换为绝对索引避免相对位置偏移出错
    table_idx = lua_absindex(L, table_idx);

    // 检查是否存在__pairs元方法
    if (luaL_getmetafield(L, table_idx, "__pairs") != LUA_TNIL) {
        // 调用__pairs元方法，传入原表，得到迭代函数、状态、初始key三个返回值
        lua_pushvalue(L, table_idx);
        lua_call(L, 1, 3);

        // 循环调用迭代函数遍历
        while (lua_pushvalue(L, -2), lua_pushvalue(L, -2), lua_call(L, 2, 2)) {
            if (lua_isnil(L, -2)) break;
            // 此处栈上-2为key，-1为value，可执行自定义处理逻辑
            // 示例：打印键值类型
            printf("key: %s, value: %s\n", 
                lua_typename(L, lua_type(L, -2)),
                lua_typename(L, lua_type(L, -1))
            );
            // 弹出value，保留key用于下一次迭代
            lua_pop(L, 1);
        }
        // 清理栈上残留的迭代函数、状态、最后一次返回的nil
        lua_pop(L, 3);
    } else {
        // 无__pairs元方法，走原生lua_next遍历逻辑
        lua_pushnil(L);
        while (lua_next(L, table_idx) != 0) {
            // 此处栈上-2为key，-1为value，可执行自定义处理逻辑
            printf("key: %s, value: %s\n", 
                lua_typename(L, lua_type(L, -2)),
                lua_typename(L, lua_type(L, -1))
            );
            // 弹出value，保留key用于下一次迭代
            lua_pop(L, 1);
        }
    }
}

2. ipairs风格整数序列遍历（适配__ipairs元方法） #

逻辑完全对齐Lua官方ipairs实现，仅需要把上述代码中的__pairs替换为__ipairs，原生遍历逻辑改为从1开始递增判断整数键是否存在即可。

注意事项 #

• 遍历过程中修改表结构时，仅修改已遍历过的键是安全的，新增未遍历过的键可能无法被本次遍历捕获，行为和Lua层遍历完全一致。
• 示例代码自动做了栈平衡处理，遍历完成后不会残留栈元素。
• 若不需要触发元方法、仅需要遍历原生表的实际存储键值，直接调用原生lua_next即可，性能更高。

内容的提问来源于stack exchange，提问作者Qix - MONICA WAS MISTREATED