Comportamiento inesperado de llamar a métodos a través de punteros nulos en C

En el fragmento de código proporcionado, se invoca un método a través de un puntero nulo, pero Sorprendentemente, la llamada al método parece ejecutarse sin fallar. Este comportamiento inusual plantea la pregunta: ¿está esto permitido en el estándar C o simplemente es una optimización de la implementación?

La explicación radica en la naturaleza de las llamadas a métodos en C. Cuando se invoca el método de un objeto, el compilador conoce el tipo de objeto y, por tanto, la dirección del método que se ejecutará. En este caso, se conoce el tipo de puntero (incluso si su valor es nulo), por lo que el compilador aún puede determinar la dirección del método.

Crucialmente, el método que se llama (mostrar) no accede a la dirección del objeto. estado (representado por este puntero). En consecuencia, la ejecución del método se realiza según lo esperado, aunque el objeto sobre el que opera no esté inicializado.

Si bien este comportamiento puede parecer inesperado, no cumple con el estándar. El estándar C establece claramente que acceder a un miembro a través de un puntero nulo da como resultado un comportamiento indefinido. Sin embargo, algunos compiladores pueden optimizar dichas llamadas omitiendo la verificación del puntero nulo e invocando directamente el método.

Esta optimización intercambia seguridad por eficiencia, ya que permite que las llamadas a métodos se ejecuten incluso cuando no están previstas. Si bien puede ahorrar algo de tiempo durante la ejecución, introduce la posibilidad de que se produzcan errores sutiles y comportamientos indefinidos.

Por lo tanto, se recomienda comprobar siempre si hay punteros nulos antes de acceder a los miembros del objeto para garantizar un comportamiento correcto y predecible del programa.