弱弱问一下,array类如何和其他类结合起来?

[xiangnanscu]

我看了文档, 试了半天没有成功. 比如我有一个array2类, 我希望它成员类型是db2.

---@class array2
local A = {}

---@param self array2
---@param callback function
---@return array2
function A.map(self, callback)
  return A
end

---@class db2
local D = {}

---@param self db2
---@return boolean
function D.save(self)
  return true
end

---@type array2<db2>
local a = { D }

-- test code
a[1]:save() -- 这里save有;类型提示
a:map()     -- 这里map不会有类型提示, 如何才能让map有类型提示呢?

[CppCXY]

luals还不支持泛型类

[tomlau10]

試出一種方式，可以用 alias + union

---上邊代碼完全相同

---@alias Array<T> array2|{[integer]: T}

---@type Array<db2>
local a = {}

-- test code
a[1]:save() -- 这里save有;类型提示
a[2]:save() -- 這個也會有
a:map()     -- 这里map也会有类型提示了

ps: 是參考了這個 discussion #2586 (reply in thread)
但不知為什麼用 ---@class 的方式不行 😕 (這樣不能對 array class 增加 method)
用 alias + union 則可以

[tomlau10]

我之前的寫法中，如果不填 template type (指單純寫 ---@type Array) 好像會有問題
至少需要寫成 ---@type Array<any> 才能有 map 的提示 😕

剛又試出一種改良寫法
是直接 alias 成 相同的 symbol name 🤣 (但要加個 ignore warning duplicate-doc-alias)
這樣寫與不寫 <T> 的部分也 work 了
我還模擬出 js 中 Array.map() callback 定義 callback(element, index, self) 👀

---@class Array
local Array = {}

---@diagnostic disable-next-line: duplicate-doc-alias
---@alias Array<T> Array|{ [integer]: T }

---@generic T, self
---@param self self|Array<T>
---@param callback fun(v: T, i: integer, self: self|Array)
function Array:map(callback)
end

效果圖

[CppCXY]

你这么绕就是为了有点泛型提示, 给你指条明路, vscode-emmylua支持泛型

[tomlau10]

謝謝，我是近2星期才接觸 luals 這個插件，發現功能果然強大 👍
而現在是在研究 annotation 可以達到怎麼樣的效果，就只是玩玩

我在嘗試對已有項目裡，針對簡單 object/class 類加 annotation，並未需要用上泛型
因為感覺對存在已久的 codebase 做到 full annotate 應該是有點難 😅