[ruby-list:21039] Re: Hash#update について

丸山です。

ちょっと説明不足と誤解があるようです。

まず、私の求めているものは、mergeと呼ぶ方がふさわしいものです。それで、
なぜupdateメソッドの仕様を変えるという提案になったかというと、マニュア
ルのupdateメソッドの説明が、「Hashの内容をマージする。重複するキーに対
応する値は、otherの内容で上書きされます。」となっていたからです。それ
で、updateメソッドがマージという操作を行うものなら、キーが重複している
部分の処理は、ユーザが指定できた方が良いのではないかと考えました。

CVSに例えると、checkoutされたファイルをcommitした時に、conflictがなけ
れば自動的にマージされ、conflictがある場合には、その部分はユーザが手動
でマージする必要がありますよね。つまり、conflictがあった場合にのみその
部分の処理がユーザに委ねられるわけです。このCVSのconflictというのが、
Hash#updateにおけるキーの重複に相当すると思ってください。

私の提案の肝は、CVSの例において手動でマージするという手順に相当する部
分を、Hash#updateに与えたブロックに委ねられれば便利だなというところに
あります。

At Thu, 24 Feb 2000 01:10:32 +0900,
[e-mail] (Yukihiro Matsumoto) wrote:
> それならそれでhash2は要らないのではと思います。Array#filter
> 相当のものがあれば良いのでは？
> 
>   hash1.filter{|k,v| hash2.key?(k) ? hash[k] : v }

マニュアルによるとArray#filterは、「配列の各要素をブロックの評価値と置
き換える。」とあります。この記述から類推すると、「Hashの各key-valueの
組について、ブロックを評価し、その評価値をself[key]に格納する」という
意味だろうと思います。

>   hash1.filter{|k,v| hash2.key?(k) ? hash[k] : v }
                                       ^^^^これは多分hash2ですよね？
これ(このサンプルコード)で実現されるのは、hash1に含まれるkey-valueの組
の内、hash2に同じkeyがあるものについてのみ、hash1[key]にhash2[key]を格
納することだと思います。

まつもとさんの提案したコードをもっと具体的に考えてみると、以下のような
ものだと思います。

hash1 = { 1=>2, 2=>4, 3=>6 }
hash2 = { 3=>8, 4=>16 }
hash1.filter{|k,v| hash2.key?(k) ? hash2[k] : v }
を実行すると、hash1の中身が{1=>2, 2=>4, 3=>8}となる。


えーと、ここに、誤解があるようです。私の提案はこのような動作ではないで
す。これは、現在のupdateとは、全く似ても似つかない動作ですよね。さすが
にこんな変更を既存のメソッドと置き換えてくれと言うような提案はしていま
せん（つもりです）。


提案したupdateの新挙動について、もう一度書きます。より明らかにするため
に、rubyコードも示します。以下では、hash1とhash2の二つのHashオブジェク
トについて、hash1.update(hash2)とする場合を考えます。

＊＊＊ここからは、現在のupdateメソッドの説明
1. 片方にしかないkeyについては、update後には唯一存在したkey-valueの組
   がhash1に格納される。
2. 両方に同じkeyが存在した場合は、hash2のvalueがhash1のkey-valueとして
   格納される。

現在のupdateメソッドは次のように書ける。

class Hash
  def update(hash)
    hash.each_pair {|key, value|
      self[key] = value
    }
    return self
  end
end

# サンプル
hash1 = { 1=>2, 2=>3, 3=>4 }
hash2 = { 2=>4, 3=>8, 4=>16 }
hash1.update(hash2)
# この時点で、hash1は{ 1=>2, 2=>4, 3=>8, 4=>16 }
＊＊＊ここまでは、現在updateメソッドの説明


＊＊＊ここからは、私の提案した新しいupdateメソッドの説明
1. 片方にしかないkeyについては、update後には唯一存在したkey-valueの組
   がhash1に格納される。
2. 両方に同じkeyが存在する場合
   - updateメソッドがブロック無しで呼ばれた時は、hash2のvalueを
     hash1[key]に格納する。
   - updateメソッドがブロック付きで呼ばれた時は、hash1[key]と
     hash2[key]の二つのvalueをパラメータとしてブロックを評価し、その結
     果をvalueとしてhash1[key]に格納する。

私の提案した新しいupdateメソッドはつぎのように書ける。

class Hash
  def update(hash)
    hash.each_pair{|key, value|
      if self.key? key then
        self[key] = iterator? ? yield(self[key], value) : value
      else
        self[key] = value
      end
    }
    return self
  end
end

# サンプル
hash1 = { 1=>2, 2=>3, 3=>4 }
hash2 = { 2=>4, 3=>8, 4=>16 }
hash1.update(hash2)
# この時点で、hash1は{ 1=>2, 2=>4, 3=>8, 4=>16 }
# ブロック指定なしの場合の動作は、現在のupdateと同じ。

hash1 = { 1=>2, 2=>3, 3=>4 }
hash2 = { 2=>4, 3=>8, 4=>16 }
hash1.update(hash2) {|value1, value2|
# keyに重複があった場合には元からあるvalueを選ぶようなブロック
  value1
}
# この時点で、hash1は{ 1=>2, 2=>3, 3=>4, 4=>16 }
＊＊＊ここまでは、私の提案した新しいupdateメソッドの説明

--
丸山冬彦
東京工業大学 情報理工学研究科 数理計算科学専攻 松岡研究室
mailto:[e-mail]
http://matsu-www.is.titech.ac.jp/%7emaruyama/