如何创建一个返回传递给它的第一个非零，非空字符串的函数？

Question

我想实现一个函数，该函数从传递给它的变量中返回第一个非空字符串。不幸的是，一些变量可能是零，所以很自然的做法

function first_non_empty(...) 
    for i, item in ipairs({...}) do 
     if item ~= nil and item ~= '' then 
      return item 
     end 
    end 
    return '' 
end 

不起作用：ipairs尽快退出了，因为它遇到一个零值。这可以通过改变需求来修改，以便变量不能为零，或者通过将长度传递给函数，因此表长度不必依赖于ipairs，或者通过将所有参数封装在函数中，他们明确没有

function first_non_empty_func(...) 
    for i, func in ipairs({...}) do 
     local item = func() 
     if item ~= nil and item ~= '' then 
      return item 
     end 
    end 
    return '' 
end 

function fn(p) 
    local f = function() return p end 
    return f 
end 

-- change callers to first_non_empty_func(fn(a), fn(b), fn(c)) 

但是，这些解决方案都使函数原型复杂化。是否存在一个采用有序参数列表的函数，其中一些参数可能为零，它将返回非零的非零参数和不为空字符串的第一个参数？

Answer 1

select('#', ...)可以用来获取提供的参数个数，所以这里不使用table.pack一种替代方案：

function first_non_empty_pack(...) 
    for i = 1, select('#', ...) do 
     local item = select(i, ...) 
     if item ~= nil and item ~= '' then 
      return item 
     end 
    end 
    return '' 
end 

Answer 2

使用table.pack，它保留了所有零条目，并返回在n领域的条目数：

function first_non_empty_pack(...) 
    local t = table.pack(...) 
    for i = 1, t.n do 
     local item = t[i] 
     if item ~= nil and item ~= '' then 
      return item 
     end 
    end 
    return '' 
end 

Answer 3

简单的方法是使用递归。没有创建额外的表格等：

function first_non_empty(item, ...) 
    if item ~= nil and item ~= '' then return item end 
    return first_non_empty(...) 
end 

但是列表必须以一些结束标记结束。例如，boolean'false'，表示没有非零非空字符串。