4. ¿Por qué no se pueden comparar estructuras?

No hay ningún manera sencilla para un compilador de comparar estructuras.

Una comparación byte a byte simple podría fallar, ya que no tienen porque tener asignada la memoria de la misma manera.
Una comparación campo a campo podría necesitar un número de líneas de código excesivo, para poder comparar las estructuras grandes.
 
Si tienes que comparar dos estructuras, la mejor solución es que escribas tu propia función para comparar así, campo a campo.
.
.