如何保证 Lua 栈的大小？

我正在使用 Lua API 进行 C/C++ 编写的功能，然后在 Lua 脚本中注册这些功能。显然，这些函数需要一定数量、特定类型的参数，这对于 C/C++ 中的静态类型来说没有问题。然而，由于 Lua 是动态的，当我从 Lua 调用这些 C 函数时，我需要手动检查传递的参数数量和类型。这些参数被推送到 Lua 栈中，因此我可以使用 lua_gettop 检查参数数量，然后使用 lua_type 检查它们的类型。

然而，我的问题是：我能不能保证拥有相同的 Lua 栈元素数量，即我函数传递的参数数量？这样，我就可以在 C 函数的开头使用断言来检查：assert(lua_gettop(L) == x)，其中 x 是所需参数的占位符，L 是 lua_State*。这涉及到一些深层次的问题，我想知道其他与 Lua 栈交互的函数是否会在调用此函数时清空栈，否则，如果某些元素在之前的函数调用中留在栈上，那么这个断言就会失败。下面是一个简单的示例:

C/C++ 代码:

int foo(lua_State* L) {
    assert(lua_gettop(L) == 2);

    // do stuff

    return 1;
}

在 Lua 中调用该函数。假设该函数期望传递两个字符串作为参数；因此，第一个调用将成功，而第二个调用将失败。

foo("hello", "world")
foo("hello", "world", 1)