从C中的Lua函数返回'nil'与返回0值

Question

某些Lua函数返回nil以通知用户函数无法执行某些任务（例如，tonumber(),string.find()）。

在C，returnig nil像这样做：

int some_function(lua_State* L) { 
    ... 
    if (some condition) { 
     lua_pushnil(L); 
     return 1; 
    } 
    ... 
} 

但是，我不知道这是正常的，而不是做如下：

int some_function(lua_State* L) { 
    ... 
    if (some condition) { 
     return 0; 
    } 
    ... 
} 

这是短。我试过了，它似乎有效，但我不知道这是否是设计。我检查了Lua的源代码，我没有看到这个return 0模式，所以我不知道这是否合法。

是两种不同的方式返回nil相同呢？

（顺便说一句，我都知道通过异常信号错误（即，lua_error()），所以请不要客气。）

UPDATE：

我现在看到，有一个细微的差别在两种方法之间：print((function() end)())将不打印任何内容，而print((function() return nil end)())将打印“无”。我不知道这有多重要。

Answer 1

函数可能返回nil但也可能返回任何结果，而这种行为是不完全等同，但在大多数情况下会产生相同的结果。

下的Lua脚本显示了如何检测许多回报如何值函数返回：

local function PrintNRetVals(...) 
    local nargs = select('#', ...) 
    print("Number of values returned: " .. nargs) 
end 

local function ReturningSomething() 
    return "hello" 
end 

local function ReturningNil() 
    return nil 
end 

local function ReturningNothing() 
    return 
end 


PrintNRetVals(ReturningSomething()) --> 1 
PrintNRetVals(ReturningNil())   --> 1 
PrintNRetVals(ReturningNothing())  --> 0 

我说的行为，一旦几乎是等效的，因为当你试图给一个变量的结果函数该变量将得到nil在这两种情况下，因此后续的代码将无法区分。但是，正如我上面所展示的那样，如果您真的需要，您可以检测到差异。

Answer 2

是的，这是完全有效的。如果你试图请求/分配更多的返回值（不管你是否尝试获得一个或十个），你会得到nil为未定义的（即没有返回）。

function test1() 
    return 5 
end 

local a, b = test1() 
-- a = 5, b = nil 

function test2() 
    return 1, 2 
end 

local c, d, e = test2() 
-- c = 1, d = 2, e = nil 

function test3() 
end 

local f, g = test3() 
-- f = nil, g = nil 

你可能无法在Lua的源代码中找到它，因为它没有特殊情况或任何东西。这只是Lua处理返回值的通用方法。

更新：

尝试打印返回值，当你注意到不同的是事实，这不仅是一个分配。当然，返回nil和完全没有返回之间有一点区别 - 并且可以在那里区分。最后，你必须确保你正确记录你的功能的行为，即告诉用户应该发生什么。例如，返回nil（或在分配中获得nil）可以代表一个错误状态，但它也有可能没有的情况下，返回的决定有错误，并返回nil，如果某个值应该是无效或nil（但没有发生错误）。在Lua

Answer 3

（这不是一个答案，只是这个问题的意见）

至于我，nil和no value是不一致的，相当恼人之间的这种差异人工。

local function f1() return nil end 
local function f0() end 

local v1 = f1()  -- OK, assigns nil 
print(type(f1())) -- OK, prints 'nil' 

local v0 = f0()  -- OK, assigns nil 
print(type(f0())) -- Why the hack it raises an error? 

恕我直言，函数的参数传递必须完全符合赋值语句的语义。