Lua是否优化了与空字符串连接？

我有两个字符串.其中一个经常(但不总是)是空的.另一个是巨大的：

a = ""
b = "... huge string ..."

我需要连接两个字符串.所以我做了以下事情：

return a .. b

但是,如果a为空,这将暂时不必要地创建一个巨大字符串的副本.

所以我想把它写成如下：

return (a == "" and b) or (a .. b)

这样可以解决问题.但是,我想知道：Lua是否优化了涉及空字符串的串联？也就是说,如果我们写一个.. b,Lua是否检查其中一个字符串是否为空并立即返回另一个字符串？如果是这样,我可以简单地写一个..b而不是更复杂的代码.

是的,它确实.

在Lua 5.2源代码luaV_concat中：

if (!(ttisstring(top-2) || ttisnumber(top-2)) || !tostring(L, top-1)) {
  if (!call_binTM(L, top-2, top-1, top-2, TM_CONCAT))
    luaG_concaterror(L, top-2, top-1);
}
else if (tsvalue(top-1)->len == 0)  /* second operand is empty? */
  (void)tostring(L, top - 2);  /* result is first operand */
else if (ttisstring(top-2) && tsvalue(top-2)->len == 0) {
  setobjs2s(L, top - 2, top - 1);  /* result is second op. */
}
else {
  /* at least two non-empty string values; get as many as possible */

当其中一个操作数为空字符串时,其他两个部分正在完成优化字符串连接的工作.