¿Por qué algunos operadores solo pueden estar sobrecargados como funciones miembro, otros como funciones "gratuitas" no miembros y el resto como ambos?

¿Cuál es la razón detrás de esos?

¿Cómo recordar qué operadores pueden sobrecargarse como qué (miembro, libre o ambos)?