Lua - 为什么允许函数调用后的字符串？

Question

我正在尝试实现一个简单的C++函数,它检查Lua脚本的语法.为此,我使用Lua的编译器函数luaL_loadbufferx()并在之后检查其返回值.

最近,我遇到了一个问题,因为我认为应该被标记为无效的代码未被检测到,而是稍后脚本在运行时(例如,在lua_pcall())中失败.

示例Lua代码(可在官方Lua演示中测试):

function myfunc()
   return "everyone"
end

-- Examples of unexpected behaviour:
-- The following lines pass the compile time check without errors.
print("Hello " .. myfunc() "!") -- Runtime error: attempt to call a string value
print("Hello " .. myfunc() {1,2,3}) -- Runtime error: attempt to call a string value

-- Other examples:
-- The following lines contain examples of invalid syntax, which IS detected by compiler.
print("Hello " myfunc() .. "!") -- Compile error: ')' expected near 'myfunc'
print("Hello " .. myfunc() 5) -- Compile error: ')' expected near '5'
print("Hello " .. myfunc() .. ) -- Compile error: unexpected symbol near ')'

显然,目标是在编译时捕获所有语法错误.所以我的问题是:

1. 调用字符串值究竟是什么意思？
2. 为什么首先允许这种语法？它是一些我不知道的Lua功能,还是luaL_loadbufferx()在这个特定的例子中有问题？
3. 是否可以通过任何其他方法检测此类错误而无需运行它？不幸的是,我的函数在编译时无法访问全局变量,所以我不能直接通过运行代码lua_pcall().

注意:我使用的是Lua版本5.3.4(此处为手册).

非常感谢您的帮助.

Answer 1

这两个myfunc() "!"和myfunc(){1,2,3}有效的Lua表达式.

Lua允许调用表单exp 字符串.见functioncall和prefixexp在Lua中的语法.

所以myfunc() "!"是一个有效的函数调用,它调用任何myfunc返回并用字符串调用它"!".

调用exp table-literal形式也会发生同样的事情.