8

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

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

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

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

  1. greeting可以返回一个dup或clone@greeting_cache[formality]
  2. greeting可能freeze的结果@greeting_cache[formality]。memoization_mutator这会导致在向其附加字符串时引发异常。
  3. 检查所有使用结果的代码，greeting以确保它没有对字符串进行任何变异。

是否就最佳方法达成共识？做（1）或（2）的唯一缺点是降低性能吗？（我还怀疑如果对象引用了其他对象，冻结对象可能无法完全工作）

旁注：这个问题不会影响 memoization 的主要应用：由于Fixnums 是不可变的，计算斐波那契数列不存在可变状态的问题。:)

4

2 回答 2

4

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

于 2011-01-13T08:22:59.373 回答
0

我仍然是 'ruby 新手'，我不知道你是否知道字符串的 '<<' 和 '+' 方法之间的区别。

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
于 2014-10-09T10:37:32.797 回答