有没有办法在C/C++中编程来确定Lua函数期望的参数数量？

你在 Lua 中请求的是不可能的。

你可以像这样定义一个有参数的 Lua 函数：

function f(a, b, c)
   body
end

但是，在传递给这个函数的参数数量上，Lua 没有任何限制。

这是可以的：

f(1,2,3,4,5)

多余的参数将被忽略。

这也是有效的：

f(1)

剩余的参数被赋予了“nil”。

最后，你可以定义一个带有可变数量参数的函数：

function f(a, ...)

在这种情况下，你可以向函数传递任意数量的参数。

请参阅 Lua 参考手册 2.5.9 节。

你在这里能做的最好的事情是，在你的 Lua 函数中添加检查以验证你收到了预期的参数。

不，这不是标准 Lua 中的功能。并且阿隆·萨雷拉表示，这在我理解的 Lua 精神上有些超出范围。Lua 的方法是确保函数本身将 nil 视为合理的默认值（或在第一次使用前使用类似于 name = name or "Bruce" 的方法将其转换为合理的默认值），或者如果没有合理的默认值，则该函数应该抛出一个错误或返回一个失败（if not name then error"Name required" end 是前者的常见惯用语，而 if not name then return nil, "name required" end 是后者的常见惯用语）。通过使 Lua 方面负责自己的参数检查，您会得到这种效益，无论函数是从 Lua 还是 C 调用的。

尽管如此，您的模块可能会维护一个由函数索引的属性表，其中包含您需要了解的信息。当然，这需要进行维护。还有可能 MetaLua 可以用于添加一些语法糖，以便能够在编译时直接从函数声明创建表格。在调用 Lua 函数之前，您可以直接使用它来查找任何可用的属性并使用它们来验证调用。

如果您担心弹珠问题，您可能希望控制函数环境，以便在 Lua 方面使用某些注意事项，并使用 lua_pcall() 而不是 lua_call()，以便捕获任何抛出的错误。

我不会在 Lua 端这样做，除非你完全控制你正在验证的 Lua 代码。这是非常常见的 Lua 函数忽略多余参数的做法，只需省略它们即可。

一个例子是当我们不想实现某些方法时，使用一个存根函数：

function do_nothing() end

full_api = {}
function full_api:callback(a1, a2) print(a1, a2) end

lazy_impl = {}
lazy_impl.callback = do_nothing

这可以通过重用现有函数来节省输入（以及一点性能）。

如果你仍然想实现函数参数验证，就必须静态分析代码。可以使用一个工具 Metalua 来做这件事。

将下面翻译成中文并且保留原本的 markdown 格式

信息并非在所有情况下都是可用的。例如，Lua 函数可能实际上是以 lua_CFunction 的形式在 C 中实现的。从 Lua 代码中无法区分纯 Lua 函数和 lua_CFunction。对于 lua_CFunction，参数数量根本没有暴露，因为它完全取决于函数的实现方式。

另一方面，你可以提供一个系统来告知函数编写者 (无论是使用纯 Lua 还是 C)，他们的函数需要多少个参数。在创建函数 (function f(a, b, c) end) 后，他们只需将其传递给全局函数 (register(f, 3))。然后，你就可以从 C++ 代码中检索该信息，如果函数没有告知其参数，则回退到现有信息。有了这样的系统，甚至可以告知参数所期望的类型。

在Lua 5.2中，可以通过使用'u'类型填充 [nups，nparams，isvararg] 字段来确定参数，upvalue数量以及函数是否接受可变数量的参数，通过函数get_info()来实现。这个功能在Lua 5.1中是不可用的。