más buenas prácticas de programación

[[Al González]]

Empezado por donald shimoda

...Lo que quiero saber es porque razón un puntero a la nada (nil) es seguro...

Ya, ahora veo, al igual que Román, que lo que te preocupa es en sí el uso de una falsa instancia cuando su apuntador es Nil.

Tratándose de objetos, debes recordar que el código compilado de las rutinas (métodos) se guarda en ubicaciones de memoria distintas a donde se alojan los campos de datos de una instancia. De hecho, por dentro, el bloque de memoria que ocupa una instancia de objeto es meramente una "estructura" del estilo Record, teniendo un primer "campo" invisible que guarda un apuntador a donde se encuentra definida la clase a la que pertenece, su herencia, métodos y otros elementos de RTTI.

El código compilado está disponible para el programa desde que arranca la aplicación, así que los métodos que el compilador incluyó en el programa ejecutable pueden (mas no necesariamente "deben") ser llamados sin necesidad de usar una instancia real de por medio, como bien lo ejemplificó Román más arriba.

Lo inseguro es hacer esto con un método que emplee uno de los campos de la instancia o algún otro dato de memoria cuya disponibilidad (existencia) dependa de que el objeto sea "real", como ya también lo ejemplificó Román.

El método Free no "toca" nada de la memoria de datos. Se limita a preguntar si Self es otra cosa distinta de Nil, para luego llamar al destructor con seguridad. Por ello es que no preocupa su uso con un objeto Nil. Fue concebido tal como es para que el programador no tuviese que preguntar si una variable objeto es Nil antes de intentar liberar dicho objeto.

Empezado por donald shimoda

...un post sobre los efectos colaterales de la forma en que esta implementado, sobre todo cuando usas tareas:

link...

Esa referencia es harina de otro costal. Si no me equivoco (mi inglés es lento), habla del conflicto que presenta la función FreeAndNil cuando se intenta hacer referencia a la variable objeto durante la destrucción del mismo, momento en el cual tal variable ya tiene asignado un valor de Nil.

Empezado por donald shimoda

...FPC se queja con ese código, por lo tanto prefiero escribir código seguro que experimenta con lo que se banca la VCL. ...

No le encuentro sentido a esto último que dices, ¿podrías explicarte, por favor?

Espero haber ayudado a esclarecer un poco el asunto.

Saludos a todos y no se estresen porque me estreso.

Al.

P.D. Cabe mencionar que la llamada a métodos virtuales con un objeto Nil sí es totalmente inviable y en todos los casos elevará una excepción. Porque, para hacer el late binding, se necesita conocer cuál es la clase real de la instancia, es decir, leer ese primer campo invisible que está alojado en los primeros cuatro bytes de la memoria del objeto. Siendo el objeto Nil (dirección de memoria 0), no hay tal dato. En todo caso el programa intentará leer los primeros cuatro bytes de la RAM, posición de memoria no accesible. Free NO es virtual, carecería de sentido si lo fuera.