0

我正在尝试将联合类型与is_a?流量控制一起使用，但我仍然遇到冰糕错误。我也尝试过投射，但我仍然遇到同样的错误，即：

Method to_hash does not exist on T::Array[T.untyped] component of T.any(T::Array[T.untyped], T::Hash[Symbol, T.untyped]) https://srb.help/7003

我有以下结构：

  class PostProcessingMethod < T::Struct
    prop :method_name, Symbol
    prop :args, T.any(Array, T::Hash[Symbol, T.untyped]), default: []
    prop :changed_fields, T::Array[String], default: []
    prop :all, T::Boolean, default: false
    prop :force, T::Boolean, default: false
  end

我正在以一种（目前）看起来像这样的方法使用它：

    sig { params(post_processing_methods: T::Array[Documents::PostProcessingMethod]).void }
    def call(post_processing_methods)
      post_processing_methods.each do |post_processing_method|
        next unless should_call_method?(post_processing_method)

        if @object.respond_to?(post_processing_method.method_name)
          if post_processing_method.args.is_a?(Array)
            @object.send(post_processing_method.method_name, *post_processing_method.args)
          elsif post_processing_method.args.is_a?(Hash)
            @object.send(post_processing_method.method_name, **post_processing_method.args)
          end
        end
      end
    end

我已经尝试合并T.cast以确保冰糕知道它是 elsif 中的哈希，但这似乎没有什么不同。

我的期望是is_a?应该让冰糕知道这post_processing_method是Hash. elseif但如果不是这种情况，T.cast当然应该处理这个问题。

4

1 回答 1

1

在发布的代码中，每个.args调用都被视为一个新变量。如果您在局部变量中捕获返回值，则流量敏感度将起作用。

查看sorbet.run上的示例

于 2019-07-15T04:08:48.057 回答