Crystal lang: не могу определить тип переменной экземпляра '@hash_value' правила

Вот мой код кристалла в отрывках, но я думаю, что там все:

# spec_helper.rb
def fixtures
  rawhash = JSON.parse(File.read("spec/fixtures/state3.json"))
  rules = rawhash["rules"]
  id = rules.as_h.keys[0]
  hash =  rules[id]
  return id, hash
end

# rule_spec.rb
key, hash = fixtures
rule = Rule.new(key, hash)
rule.array(["name"])[0].must_equal "RpsIphone"

# rule.rb
class Rule  < HueResource

  getter :detail, :on, :name, :lights

  def initialize(key, hashvalue)
    super(key, hashvalue)
    @detail = "#{hashvalue["conditions"].length} conds => #{hashvalue["actions"].length} acts"
    @state.merge! ({"on" => hash_value["status"], "name" => @name, "detail" => @detail})
    gen_reskey("r")
  end
...
end

# hue resource.rb
class HueResource
  def initialize(key, hash_value)
    @hash_value = hash_value.as_h
    @lastupdated = @hash_value["state"]["lastupdated"]
    @detail = hash_value["type"]
    @name = hash_value["name"]
    @state = { "key" => key, "lastupdated" => @lastupdated, "detail" => @detail, "name" => @name}
  end

  def gen_reskey(detail)
    @state.merge!({ "id" => detail + @state["key"]})
  end
end

И вот ошибка:

[Running] crystal "/Users/pitosalas/mydev/crystalplay/spec/rule_spec.cr"
Error in spec/rule_spec.cr:7: instantiating 'Rule.class#new(String, JSON::Any)'

    rule = Rule.new(key, hash)
                [32;1m^~~[0m

in src/rule.cr:7: instantiating 'super(String, JSON::Any)'

    super(key, hashvalue)
    [32;1m^~~~~[0m

in src/hue_resource.cr:3: [1mCan't infer the type of instance variable '@hash_value' of Rule

The type of a instance variable, if not declared explicitly with
`@hash_value : Type`, is inferred from assignments to it across
the whole program.

Теперь мне кажется, что в конструкторах @hash_value присваивается hash_value.as_h, чтобы он знал тип оттуда.

Также не стесняйтесь указывать на стилистические или идиоматические комментарии Crystal!

1
0
331
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Компилятор не может определить типы ivar из возвращаемого типа вызовов методов (например, hash_value.as_h). ссылка на Вывод типа перечисляет все правила, по которым компилятор может определять типы ivar.

Определение типа из вызовов методов, вероятно, не невозможно, но более сложно. В какой-то момент это может произойти в языке, но пока вам придется использовать явную аннотацию типа, такую ​​как @hash_value : Hash(JSON::Any, JSON::Any).

Спасибо! Поскольку кажется, что JSON :: Any во многом похож на хеш, должен ли я просто оставить его как этот тип?

pitosalas 31.10.2018 12:52

Это зависит от того, как вы хотите его использовать. Если вы знаете, что Any является оболочкой для Hash и не может быть чем-то другим, вероятно, лучше использовать более ограниченный тип.

Johannes Müller 31.10.2018 12:53

Другие вопросы по теме