如何創建一個返回傳遞給它的第一個非零，非空字符串的函數？

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'，表示沒有非零非空字符串。