这种return类型推断能否更智能一点?

[xiangnanscu]

lua常见的错误处理模式, 要么返回number, 要么返回nil, string. 不会存在其他情况.那么当res==nil的时候,err显然应该为string,不可能是nil. 但目前仍然显示可能是nil.

---@return number
---@overload fun(): nil, string
local function makeRequest() end

local res, err = makeRequest()
if res == nil then
  print(res, err)
else
  print(res, err)
end

[tomlau10]

以我所知，luals 目前不支持 return tuple 的概念
就是單純將每種 overload 的 return type，按 return param index 合併在一起
已經有多個 issue 回報這個問題:

• @overload return union unexpected behaviour #3078
• overload type narrowing for returns #2933
• @return支持多种类型 #1583

---

剛發現你正是 #1583 的作者 😂
你可能也知道 luals 作者在搞 v4.0 重構，我估計短時間內不會對 v3 版加新功能的了
除非你 / 其他人做貢獻 PR

另外是 CppCXY 大佬寫了另1個 rust-based 的 language server: #3017
不確定有否這個功能，但他那邊更新比較頻繁
或者你也可以試用下 🤔

[xiangnanscu]

@tomlau10 谢谢.我都忘了之前提过了. 还是等着这个作者吧

[CppCXY]

之前和他讨论过这个语法的设计, 最后敲定的方式是类似这样的:

---@return =(true, some_type)
---@return =(false, string)

不过我俩都未实现

[tomlau10]

看起來，這種語法不支持用在 @overload 中? (或者說一般的 fun(): 的 syntax)

---@overload fun():=(true, some-type) # 這樣嗎? 又好像不太對
---@overload fun():(true, some-type) # 跟這個跟易混淆
---還是說只支持用在 `@return`，不支持 `fun()`，就像 generic ?

[CppCXY]

看起來，這種語法不支持用在 @overload 中? (或者說一般的 fun(): 的 syntax)

---@overload fun():=(true, some-type) # 這樣嗎? 又好像不太對
---@overload fun():(true, some-type) # 跟這個跟易混淆
---還是說只支持用在 `@return`，不支持 `fun()`，就像 generic ?

---@overload fun(): =(true, some), =(false, other)

[CppCXY]

看起來，這種語法不支持用在 @overload 中? (或者說一般的 fun(): 的 syntax)

---@overload fun():=(true, some-type) # 這樣嗎? 又好像不太對
---@overload fun():(true, some-type) # 跟這個跟易混淆
---還是說只支持用在 `@return`，不支持 `fun()`，就像 generic ?

---@overload fun(): =(true, some), =(false, other)

所以也可以这么写:

---@return =(true, some), =(false, other)

之所以不是直接(true, false) 是因为luals已经将这个表达式作为多返回值, 另外 = 有匹配之意, 或许另一种表达可能更符合习惯:

---@return 
---| (true. some)
---| (false, other)

---@return
---= (true, some)
---= (false, other)

不过前者太像union了, 后者也不好看