Question

对于如何避免由于可变状态而导致错误的memoization有共识吗？

在这个例子中，缓存的结果的状态发生了变异，因此在第二次调用时给出了错误的结果。

class Greeter

  def initialize
    @greeting_cache = {}
  end

  def expensive_greeting_calculation(formality)
    case formality
      when :casual then "Hi"
      when :formal then "Hello"
    end
  end

  def greeting(formality)
    unless @greeting_cache.has_key?(formality)
      @greeting_cache[formality] = expensive_greeting_calculation(formality)
    end
    @greeting_cache[formality]
  end

end

def memoization_mutator
  greeter = Greeter.new
  first_person = "Bob"
  # Mildly contrived in this case,
  # but you could encounter this in more complex scenarios
  puts(greeter.greeting(:casual) << " " << first_person) # => Hi Bob
  second_person = "Sue"
  puts(greeter.greeting(:casual) << " " << second_person) # => Hi Bob Sue
end

memoization_mutator

我可以看到避免这种情况的方法：

greeting可能会返回dup或clone @greeting_cache[formality]
greeting可以freeze @greeting_cache[formality]的结果。当memoization_mutator向其追加字符串时，这会引发异常。
检查使用greeting结果的所有代码，以确保它们不会对字符串进行任何变更。

对最佳方法有共识吗？做（1）或（2）的唯一缺点是性能下降？（我也怀疑如果某个对象引用了其他对象，它可能无法完全冻结）

附注：此问题不会影响memoization的主要应用：由于Fixnum是不可变的，因此计算Fibonacci序列不会出现可变状态问题。：）

Answer 1

我倾向于返回一个克隆对象。创建新字符串的性能几乎没有。冻结会暴露实施细节。

Answer 2

我仍然是'红宝石新手'，我不知道你是否意识到'＆lt;＆lt;'的区别和'+'方法到字符串。

first_person = "Bob"
puts(greeter.greeting(:casual) + " " + first_person) # => Hi Bob
second_person = "Sue"
puts(greeter.greeting(:casual) + " " + second_person) # => Hi Sue

# str << obj → str
# str + other_str → new_str

我应该如何避免在Ruby中导致错误的memoization？

2 个答案: