Sorbet 没有报告丢失的方法实现（与 RBI 签名相比），我在这里做错了什么吗？

Question

我有一个文件my_class.rb ：

# typed: true
class MyClass
  attr_accessor :a, :b

  def initialize(a: 1, b: 2)
    @a = a
    @b = b
  end

  def do_stuff
    puts "#{self.class}: #@a #@b"

    a * b + a - b
  end
end

安装并初始化 Sorbet 后，我决定在sorbet/rbi/my_class.rbi为此文件编写 RBI 签名：

# typed: strict

class MyClass
  sig { params(a: Numeric, b: Numeric).void }
  def initialize(a:, b:); end

  sig { returns(Numeric) }
  def a; end

  sig { returns(Numeric) }
  def b; end

  sig { returns(Numeric) }
  def do_stuff; end

  sig { params(x: Numeric).void }
  def adjust(x); end;
end

我特意为adjust方法添加了一个签名，看看 Sorbet 是否会报告它。 但 Sorbet 不会报告任何错误。

我在这里配置的 Sorbet 级别是错误的，还是做错了什么？

谢谢你。

Answer 1

我是 Sorbet 的新手，但我认为这是因为 RBI 签名不充当传统意义上的“接口”，因此可能描述了实现中不存在的方法。

https://sorbet.org/docs/abstract讨论接口并用interface!标记模块interface! ，我认为这可能会提供您正在寻找的内容。