LuaLS / LuaLS/lua-language-server
Cannot inherit generic classes (including tables)
Chưa có ai nhận issue này.
- Ngôn ngữ chính
- Lua
- Star
- 4.4k
- Fork
- 442
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
Hello, I apologize for bringing yet another generics issue as I know it takes time for it to be made solid... Thanks for looking into my problem. I use the following code to extend the `number[]` class, but then the elements are not marked as numbers for a non literal object.
```lua
---@class NumberTable: number[]
---@param t NumberTable
---@return number|nil
function FirstElement(t)
local n = t[1] -- marked as unknown
return n
end
---@param t number[]
---@return number|nil
function FirstElementBis(t)
local n = t[1] -- marked as number
return n
end
```
I would expect `t[1]` to be marked as `number`. I also tried replacing `number[]` with `table` and `table` without success. Thank you!
(I use LuaLS on Neovim on Linux)
Hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Hướng nghiên cứu
Tái hiện vấn đề trong LuaLS bằng các annotation NumberTable và FirstElement được cung cấp, sử dụng Neovim trên Linux như mô tả. So sánh kiểu được suy luận của t[1] với trường hợp trực tiếp number[] và các biến thể của table. Được xem là hoàn tất khi các annotation generic và table được kế thừa luôn xác định phần tử là number.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Đánh giá
- Công nghệ
- lua, neovim
- Lĩnh vực
- devtools
- Loại issue
- Lỗi
- Độ khó
- 3/5
- Thời gian dự kiến
- 1-2 ngày
- Mức độ hoạt động
- Đình trệ
- Độ rõ ràng
- Khá rõ ràng
- Mức phù hợp với người mới
- 45/100