父类的方法签名是不是都要使用@generic才能确保子类调用父类方法时能够返回子类型?但是这样又会失去父类型提示

[xiangnanscu]

比如父类Vehicle:drive方法, 为了确保子类Car调用drive能够返回Car类型, 我使用了generic

---@class Vehicle
local Vehicle = {}

---@generic T : Vehicle
---@param self T
---@return T
function Vehicle:echo()
  return self
end

---@generic T : Vehicle
---@param self T
---@return T
function Vehicle:drive()
  self.echo()  -- 这里没有类型提示, 预期的是echo能够返回Vehicle.echo的类型提示
  return self
end

---@class Car:Vehicle
local Car = {}

local x = Car:drive()

如果确实是这样, 又会引出另一个问题:编写父类方法时就失去了父类的类型提示, 有办法解决吗?

[xiangnanscu]

这是没有使用generic的代码, 子类方法不能返回子类型

---@class Vehicle
local Vehicle = {}


---@param self Vehicle
---@return Vehicle
function Vehicle:echo()
  return self
end

---@param self Vehicle
---@return Vehicle
function Vehicle:drive()
  self:echo()
  return self
end

---@class Car:Vehicle
local Car = {}

local x = Car:drive()  -- 这里x的类型是Vehicle, 但实际上应该是Car

[xiangnanscu]

还有个疑问---@generic T : Vehicle和---@generic T 有啥区别? 好像没有什么变化

[CppCXY]

有个特殊返回类型叫self 你可以用---@return self

[xiangnanscu]

试了一下,不得行.:

---@class Vehicle
local Vehicle = {}

---@return self
function Vehicle:drive()
  return self
end

---@class Car:Vehicle
local Car = {}

local x = Car:drive()

[CppCXY]

那他可能没有实现这个特性, 或者有什么bug

[tomlau10]

試了一下可以對 ---@param self 增加 union type Vehicle

---@generic T: Vehicle
---@param self T|Vehicle
---@return T
function Vehicle:drive()
  self.echo()  -- 這裡就有提示了，也不影響最終的 return self 仍會按 generic type `T`
  return self
end