Sobre la utilidad de marcar "esto" como nulo

En programación, el puntero "esto" se refiere a la instancia de objeto actual dentro de una función miembro. Permite que la función acceda a los datos y métodos del objeto. Sin embargo, surge una pregunta: ¿Alguna vez tiene sentido verificar si "esto" es nulo?

Consideremos un método que realiza una tarea dentro de una clase:

class MyClass {
public:
    int myFunction() {
        if (this == nullptr) {
            return -1; // Error code
        }
        ...
    }
};

La pregunta es si esta verificación nula es necesaria o incluso válida.

Según el estándar C, cualquier llamada a un puntero nulo es un comportamiento indefinido. Esto significa que si el puntero "este" es nulo, la llamada al método no es válida y el comportamiento del programa es impredecible. Por lo tanto, en C estándar, comprobar si "this" es nulo no tiene sentido.

Sin embargo, algunas implementaciones permiten el uso de "this == 0" para funciones no virtuales. Como resultado, las bibliotecas escritas específicamente para estas implementaciones pueden depender de este truco.

En ciertos casos, la verificación nula se puede agregar como ayuda de depuración para detectar instancias en las que el puntero "este" es inesperadamente nulo debido a el error de quien llama. Sin embargo, el método preferido para depurar estos problemas es utilizar afirmaciones.

Además, es importante tener en cuenta que comprobar si "esto" es nulo no significa necesariamente que el objeto se elimine. Solo significa que se realizó una llamada a un método en un puntero nulo o una referencia obtenida de un puntero nulo, lo cual es un comportamiento inherentemente incorrecto en C.