泛型类的成员函数通过@param注解的类泛型参数无法与调用时传入的实参正确匹配

未关闭
#3,398 1 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 Issue。

评估

难度
4/5
预计耗时
3-5 天
新手友好度
48/100
Issue 类型
缺陷
描述清晰度
基本清楚
活跃度
冷清
技术栈
lua
领域
devtools

调研方向

首先，通过 Visual Studio Code 扩展重现所提供 Lua 示例中的诊断，将使用 @param 注解声明的方法与等效的 @field 函数进行比较。跟踪 stringBox.combine 使用的泛型类型匹配；当两个参数都不再产生诊断，而 combine2 仍能得到正确处理时，即表示完成。

由索引模型根据 Issue 内容生成。

描述

How are you using the lua-language-server?

Visual Studio Code Extension (sumneko.lua)

Which OS are you using?

Windows

What is the issue affecting?

Diagnostics/Syntax Checking

Expected Behaviour

如题，下面的 stringBox.combine(text, "true") 应该不会显示任何诊断问题：

---@generic T
---@class Box<T>
---@field storedValue T
---@field combine2 fun(first: T, second: T): T
local Box = {}

---@param first T
---@param second T
---@return T
function Box.combine(first, second) end

---@type Box<string>
local stringBox

local text = "123"
local r1 = stringBox.combine(text, "true")
local r2 = stringBox.combine2(text, "true")
Actual Behaviour

stringBox.combine(text, "true") 的两个参数均被诊断为：

Cannot assign `string` to parameter `T`.
- `string` cannot match `T`
- Type `string` cannot match `T`

而用@field声明的同类型函数combine2却能正常识别实参

Image
Reproduction steps
  1. 复制我提供的复现代码，检查诊断结果
Additional Notes

No response

Log File

No response

主要语言
Lua
星标
4.4k
派生
442
30 天内没有已合并 PR

贡献指南

打开贡献指南

从这里开始

  1. 先读完整个 Issue，再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库，在一个分支上完成修改。
  4. 提交 Pull Request，并在描述里引用这个 Issue 编号。

LuaLS/lua-language-server 的其他 Issue

查看 LuaLS/lua-language-server 的全部 Issue

相似的 Issue

更多 Lua Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。