在 Lua CFunction 中安全地弹出函数参数吗？

我正在开发一个非常大的框架，将许多算法、函数和功能从 C/C++ 暴露给 Lua。这个框架还暴露了一些处理表、索引器，并且通常只是默认行为的代理功能，如果某个条件不成立。

我的问题很简单；在 C 函数中，例如在一个 newindex 实现中，弹出函数参数是安全的吗？我目前通过获取应该包含键和值的对象，并在提供给 __newindex 元方法的键和值之前插入它来实现它。然后我使用 lua_rawset 将其设置为前面放置的对象，弹出两个函数参数。这样安全吗？

我进行了广泛的测试，包括检查堆栈测试，并监视 Lua 堆栈的顶部。但这些测试都不足以令我确定，我想听听其他 Lua 开发者的意见。

我阅读了 Lua 文档的许多部分，但貌似没有明确说明这一点（或者我没有找到）。手册（https://www.lua.org/manual/5.3/manual.html#lua_CFunction）确实说明了：

堆栈上结果之下的任何其他值都将由 Lua 正确处理和丢弃。

但是，这并没有回答我的问题，即自己丢弃这些值是否会引起问题。

// 一个例子，这样做安全吗？我的第六感说是的
int lm_entity__newindex(lua_State* L) {
    luaL_checkany(L, 1); // udata
    luaL_checkany(L, 2); // key
    luaL_checkany(L, 3); // value

    // 不操作堆栈，仅将 lua_touserdata 强制转换
    auto entity = lm_entity(L, 1);

    // 获取成员表
    lua_rawgeti(L, LUA_REGISTRYINDEX, entity->members_ref);

    // 放在键和值之前（lua_rotate）
    lua_insert(L, -3);

    // 存储，并依次弹出两个函数参数
    lua_rawset(L, -3);

    // 弹出成员表
    lua_pop(L, 1);

    return 0;
}

我预计这样是安全的，因为在函数调用中，堆栈会根据传递给函数的参数数量以及推送到堆栈上的返回值数量来恢复。然而，我不确定从堆栈中弹出两个参数会对此带来问题，即使我的测试似乎证明了另外一种说法。