Std::unordered map equality depende del orden de inserción

De [unord.rojo]/12

Dos contenedores desordenados a y b comparan igual si a.size() == b.size() y, para cada grupo de clave equivalente [Ea1, Ea2) obtenido de a.equal_­range(Ea1), existe un grupo de clave equivalente [Eb1, Eb2) obtenido de b.equal_­range(Ea1), de modo que is_­permutation(Ea1, Ea2, Eb1, Eb2) devuelve true. [...]

Así que, mientras las llaves sean iguales y el tamaño sea el mismo, los contenedores se compararán igual sin importar en qué orden estén las llaves.

A continuación están las citas de cppreference.com acerca de la std: unordered_map, operator==,!= (std::unordered_map):

El contenido de dos contenedores desordenados lhs y rhs son iguales si se cumplen las siguientes condiciones:

• lhs.tamaño () = = rhs.tamaño ()
• cada grupo de elementos equivalentes [lhs_eq1, lhs_eq2) obtenido de lhs.equal_range (lhs_eq1) tiene un grupo correspondiente de elementos equivalentes en el otro contenedor [rhs_eq1, rhs_eq2) obtenido de rhs.equal_range(rhs_eq1), que tiene las siguientes propiedades:
  • std:: distance (lhs_eq1, lhs_eq2) = = std::distance(rhs_eq1, rhs_eq2).
  • std:: is_permutation (lhs_eq1, lhs_eq2, rhs_eq1) == true.

Tenga en cuenta que:

El comportamiento es indefinido si Key o T no son EqualityComparable.

El comportamiento también es indefinido si Hash y KeyEqual hacen (hasta C++20)KeyEqual hace (desde C++20) no tienen el mismo comportamiento en lhs y rhs o si el operador== para la Llave no es un refinamiento de la partición en equivalente de grupos clave introducidas por KeyEqual (es decir, si dos elementos que comparar la igualdad de usar el operador== dividen en particiones diferentes)

Finalmente, a considerar es la complejidad:

Proporcional a N llamadas al operador = = en value_type, llamadas al predicado devueltas por key_eq, y llamadas al hasher devueltas por hash_function, en el caso promedio, proporcional a N2 en el peor de los casos donde N es el tamaño del contenedor.

Por lo tanto, si ambos mapas desordenados tienen el mismo tamaño, y cada clave en uno de los contenedores se busca en el otro más, si sucede que se encuentra entonces sus valores se comparan entonces se consideran los mismos.