fun类型问题

[Silent-zzz]

在---@overload fun(data:T):T 这种注释的情况下貌似没有办法使用泛型, 我需要

在cast_shot中识别到自己定义的字段类型,有使用泛型以外其他的办法吗

[Issues-translate-bot]

Sumneko Lua translate bot

---

Title: fun type problem

In the case of ---@overload fun(data:T):T, there seems to be no way to use generics, I need

Identify the field type you defined in cast_shot. Is there any other way to use generics?

[Silent-zzz]

我的ac.skill定义是这样的

[Issues-translate-bot]

Sumneko Lua translate bot

---

My ac.skill definition is like this

[tomlau10]

額外封裝一個 ac.newskill(name, data) 之類 function 來做註冊 skill data 行嗎？
這樣就可以對此 function 用 @generic

---@generic T
---@param name string
---@param data T
---@return T|skill_config
function ac.newskill(name, data)
    return ac.skill[name](data)
end

[tomlau10]

剛又有一個想法

• 為每個新增的 skill data 定義一個新 type
• 在註冊後，以 @cast 方式覆寫 mt 的 type

---@class skill_config.test: skill_config
local data = {
    title = 'test',
    damage_val = 1000,
}
local mt = ac.skill['test'](data)
---@cast mt skill_config.test

function mt:on_cast_shot()
    self. --> 這樣也有 data template 中定義的字段 ，並同時繼承 `skill_config`
end

[Issues-translate-bot]

Sumneko Lua translate bot

---

I just had another idea

• Define a new type for each new skill data
• After registration, override the mt type in @cast

---@class skill_config.test: skill_config
local data = {
    title = 'test',
    damage_val = 1000,
}
local mt = ac.skill['test'](data)
---@cast mt skill_config.test

function mt:on_cast_shot()
    self. --> This also has fields defined in data template and inherits `skill_config` at the same time
end

[Silent-zzz]

感觉ac.newskill更方便一点,这样的话写起来每次定义都需要写注释, 感觉还是在fun里支持泛型会好一些吧

[Issues-translate-bot]

Sumneko Lua translate bot

---

I feel that ac.newskill is more convenient. In this way, you need to write comments every time you write the definition. I feel that it would be better to support generics in fun.

[Silent-zzz]

或者感觉可以将一个函数使用类似@alias来注释感觉也可以解决这个问题

类似这种方式,不过现在的版本似乎还不支持这种写法

[Issues-translate-bot]

Sumneko Lua translate bot

---

Or you can use a function like @alias to comment on the feeling, which can also solve this problem.

Similar to this method, but the current version does not seem to support this writing method

[tomlau10]

感觉还是在fun里支持泛型会好一些吧

的確 👍
但目前就是不支持 ma 😂

估計是有一定難處，所以才沒有 implement
不知道正在重寫的 LuaLS v4.0 版，將來會否支持這語法 🤔

[Issues-translate-bot]

Sumneko Lua translate bot

---

I feel it would be better to support generics in fun

Indeed 👍
But it doesn't support ma 😂

There is probably some difficulty, so there is no implement
I don't know if the rewritten version of LuaLS v4.0 will support this syntax in the future 🤔

[Silent-zzz]

目前来说table'xxx'的写法是没办法通过注释来识别自己定义的参数了

[Issues-translate-bot]

Sumneko Lua translate bot

---

At present, the way to write table'xxx' is that it is impossible to identify the parameters you define through comments.

[tomlau10]

我理解 LuaLS 下，每個 literal table 自己本身會有一個 匿名 的 type
這正是你可以用 @param T 來 capture，並再以 @return T 來返回到的 type

不過一旦你對這個 var 賦值 另外的 type，原有的匿名 type 就會丟失 😕
但 ‼ 如果你只是用 @type 來對 literal table 加 type，則好像還能保持原有匿名 type

---@class MyClass
---@field b? string

---@type MyClass
local t = {
    a = 1
}
t. --> suggestion: a, b

---

針對這個觀察，我好像又找到 另1種 workaround 👀

• 首先沿用你最初的 @overload 寫法
• 但是 ‼ 在定義 mt 時
  • 先獨立定義 literal table
  • 然後用 1個 if true 來 包住 mt = ac.skill['test'](mt)
  • => 這是逼使 LuaLS 對 mt 的 infer 策略，採用 union type T|skill_config
    • 否則不使用 if case 時，LuaLS 會判斷 mt 被重新賦值新的 type，就丟失原有的 T 匿名 type 了
      

當然，這寫法看起來很奇怪 😇
純個人意見的話，分拆一個 newskill() 好像好些