•For each key in
the left map, hashed map equality searches for the key in the right map. That is, it first computes the hash
value of the left key to find the right bucket, and then uses Equivalent_Keys
to find the equivalent key in that bucket. If
an equivalent key is found, it then compares elements using element equality. (This is the only time when element equality
is actually used.)
•Note that both
the key and the element are used to compute hashed map equality, but key equality
is not
used. (In fact key
equality is never used in this API.)