我应该如何避免在Ruby中导致错误的memoization？
关于如何避免由于可变状态导致错误的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) << " " < Hi Bob second_person = "Sue" puts(greeter.greeting(:casual) << " " < Hi Bob Sue end memoization_mutator 我可以看到避免这种情况的方法是：
-
greeting可以返回@greeting_cache[formality]clone或clone@greeting_cache[formality] -
greeting可以freeze@greeting_cache[formality]的结果。 当memoization_mutator向其追加字符串时，这会引发exception。 - 检查所有使用
greeting结果的代码，以确保它们不会对字符串进行任何变更。
对最佳方法有共识吗？ 做（1）或（2）的唯一缺点是性能下降？ （我还怀疑如果某个对象引用了其他对象，它可能无法完全冻结）
旁注：这个问题不影响memoization的主要应用：由于Fixnum是不可变的，计算Fibonacci序列没有可变状态的问题。 🙂
我会倾向于返回一个克隆对象。 创建新字符串的性能几乎没有。 冻结暴露了实施细节。
我仍然是’ruby newbie’，我不知道你是否意识到’<<'和'+'方法与String之间的区别。
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