未知类型的方法参数

我想我是在利用了一个模块并将其包括在内之后才发现这一点的。

module ArbitraryObject; end

class Arbitrary
  include ArbitraryObject
end

class MyLib
  def foo(object : ArbitraryObject)
    ... Code here ...
  end
end

MyLib.new(Arbitrary.new).foo

def foo(object)
  object.bar
end

class MyObj
  def bar
    puts "bar!"
  end
end

foo(MyObj.new) # => "bar!"

在这里,它起作用了,作为 MyObj bar . 但是,如果您使用的是没有该方法的东西,则用户将获得编译时错误:

foo(3) # compile error: undefined method 'bar' for Int32

此错误将在程序执行之前显示。