más buenas prácticas de programación

[donald shimoda]

Empezado por Al González

En Delphi es de lo más seguro, Donald.

Cuando el objeto es Nil y el método Free hace esta validación:

Código Delphi [-]if Self <> nil then

,

está preguntando si Nil es diferente de Nil, en cuyo caso llama a Destroy. De lo contrario no hace absolutamente nada. Si Free fuese un método virtual o hiciera alguna otra cosa con la "improbable" instancia, entonces sí sería inadecuado usarlo en esos casos.

Self es un parámetro implícito que llevan todos los métodos y equivale al puntero en sí de la instancia en cuestión. Nil, cuando el puntero está en blanco. No hay absolutamente ningún problema.

¿Ya convencido?

La verdad con tu explicación para nada ya que no me contas nada nuevo.
Estas explicándome que hace el código y que es self .
Lo que quiero saber es porque razón un puntero a la nada (nil) es seguro.

Saludos.

[roman]

De hecho (aunque no lo voy a jurar ) esto es seguro:

Código Delphi [-]
type
  TPersona = class
    procedure Saluda;
  end;

procedure TPersona.Saluda;
begin
  ShowMessage('Hola');
end;

procedure TForm1.Button1Click(Sender: TObject);
var
  Persona: TPersona;

begin
  // No construyo el objeto
  Persona.Saluda;
end;

// Saludos

[donald shimoda]

Empezado por roman

A ver, borrón y cuenta nueva.

Creo que ya veo por donde va la preocupación de Donald. A él no le inquieta la llamada a Destroy, sino la misma llamada a nil.Free.

Exacto.

Empezado por roman

Pero creo que hay que recordar que un objeto no es un record. ¿Qué pasa cuando se llama nil.Free? El compilador genera esta llamada:

mov eax, [eax + ...]
call TObject.Free

Esto es, la función que se llama es TObject.Free que vive en algún lugar de la tabla de métodos de la clase (no el objeto) TObject. Aquí no hay problema entonces, porque TObject existe independientemente de sus instancias. Y a Free se le pasa el parámetro Self que menciona Al, que es la instancia a la que se le aplica el método. Y es ya Free el que protege la llamada al destructor.

// Saludos

Tenes razón, aunque a simple vista parezca voladura.

Para agregar a la charla y enriquecerla , un post sobre los efectos colaterales de la forma en que esta implementado, sobre todo cuando usas tareas:

link

Saludos.

[donald shimoda]

Empezado por roman

De hecho (aunque no lo voy a jurar ) esto es seguro:

Código Delphi [-]type TPersona = class procedure Saluda; end; procedure TPersona.Saluda; begin ShowMessage('Hola'); end; procedure TForm1.Button1Click(Sender: TObject); var Persona: TPersona; begin // No construyo el objeto Persona.Saluda; end;


// Saludos

Jeje, hasta que deje de serlo.

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

Saludos

[roman]

Empezado por donald shimoda

prefiero escribir código seguro

Nosotros también, pero también preferimos no redundar. No hace falta evitar el caso nil por lo que expliqué arriba.

En el ejemplo anterior, la llamada Persona.Saluda realmente genera este código:

call TPersona.Saluda

Se llama a una función que sí existe, no hay una referencia a una memoria inválida.

Si tuviéramos

Código Delphi [-]
type
  TPersona = class
    Saludo: String;
    procedure Saluda;
  end;

procedure TPersona.Saluda;
begin
  ShowMessage(Saludo);
end;

procedure TForm1.Button1Click(Sender: TObject);
var
  Persona: TPersona;

begin
  // No construyo el objeto
  Persona.Saluda;
end;

entonces sí que habría problemas, porque no ha sido asignada memoria a ningún objeto y por tanto el campo Persona.Saludo no existe aún.

// Saludos

[[Lepe]]

... me están estressanndo



Sal%&(/% Invalid pointer operation.

[roman]

Por eso lo tengo comentado:

// Saludos

no vaya a ser...

// Saludos

[[Delphius]]

Al igual que lepe me dejaron frito el cerebro.

Leí el link que señala Donald y la verdad es que no lo entendí ¿Dónde está el problema?

Saludos,

[[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.

[donald shimoda]

Empezado por Al González

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.

A pesar de tu inglés entendiste bien. O casi, porque decís que es harina de otro costal?

Empezado por Al González

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

Al.

FPC no acepta el uso del código escrito por román, Probalo.

Saludos

[roman]

Empezado por Al González

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.

No sé porqué, pues es sólo una esquema, pero eso que explicas Al, a mi se me quedó muy grabado con esta imagen




del libro Delphi in a Nutshell de Ray Lischner

Empezado por Al González

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

Bueno, Delphi también protesta:

[Warning] Unit1.pas(41): Variable 'Persona' might not have been initialized

aunque no lo impide. Desde luego tiene sus riesgos usarlo regularmente como si fuese una característica del lenguaje. Pero en el caso que nos ocupa, como ya se ha visto, es perfectamente seguro.

// Saludos

[ContraVeneno]

¿ que es nil ?

jojojojo

[roman]

Empezado por ContraVeneno

¿ que es nil ?

Aquí su origen:

http://www.heideggeriana.com.ar/textos/nihilismo_3.htm

ja, ja, ja

// Saludos

[ContraVeneno]

changos, era broma maese Roman

[[Delphius]]

Empezado por Al González

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.

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.

Te agradezco Al, por aclarar (y aclararme de paso) las cosas. Ya mi brain estaba por hacer ¡PUM!. Y mi inglés es super lento... El haber leído singleton por aqui, y allí provocó unos cuantos corto circuitos. ¡Me mete patrones donde no hay!

Ahora si, a ver si la consola de mi cabeza empieza a mandar comandos PANIC OFF.

Saludos,

[[Al González]]

Empezado por donald shimoda

...porque decís que es harina de otro costal?

Porque el punto de la discusión donde hiciste esa referencia («un post sobre los efectos colaterales de la forma en que esta implementado, sobre todo cuando usas tareas») era que no entendías o no dabas por válido el uso del método Free con un objeto Nil. Como si ese artículo de Miller pudiera llevarnos a concluir que la práctica del "ObjetoNil.Free" fuese algo desaconsejable.

Empezado por donald shimoda

...FPC no acepta el uso del código escrito por román, Probalo...

Quizá pregunte una estupidez, pero ¿qué es FPC? Google me llevó a la página del Fútbol Profesional Colombiano.

Mi pregunta se refería a eso de «prefiero escribir código seguro que experimenta con lo que se banca la VCL».

En espera de tus apreciaciones.

Saludos.

Al González.

[donald shimoda]

Empezado por Al González

Porque el punto de la discusión donde hiciste esa referencia («un post sobre los efectos colaterales de la forma en que esta implementado, sobre todo cuando usas tareas») era que no entendías o no dabas por válido el uso del método Free con un objeto Nil. Como si ese artículo de Miller pudiera llevarnos a concluir que la práctica del "ObjetoNil.Free" fuese algo desaconsejable.

No, como bien dice el texto lo que trae complicaciones es la manera en que esta implementado FreeAndNil, si no se toman las medidas del caso al accesarlo desde varias tareas.

Empezado por Al González

Quizá pregunte una estupidez, pero ¿qué es FPC? Google me llevó a la página del Fútbol Profesional Colombiano.

Free Pascal Compiler.

Empezado por Al González

Mi pregunta se refería a eso de «prefiero escribir código seguro que experimenta con lo que se banca la VCL».

Exacto, me refería a que prefiero escribir código que cualquier compilador pascal acepte, no solo Delphi.

Saludos.

[[Al González]]

Empezado por roman

...No sé porqué, pues es sólo una esquema, pero eso que explicas Al, a mi se me quedó muy grabado con esta imagen




del libro Delphi in a Nutshell de Ray Lischner...

Un bello esquema, sin duda. Si mal no recuerdo yo lo aprendí de la ayuda de Turbo Pascal y después lo reforcé con la ayuda de Delphi. Me parecía entonces muy interesante todo lo que los ingenieros de software hacían para abrirle paso en la historia a la fabulosa POO que hoy día disfrutamos.

Además, leer tanto texto sin Internet y un diccionario en la mano me ayudó a conseguir mis primeras nociones reales del idioma inglés.

Un abrazo esquemático y textual.

Al González.

[[Al González]]

Empezado por donald shimoda

No, como bien dice el texto lo que trae complicaciones es la manera en que esta implementado FreeAndNil, si no se toman las medidas del caso al accesarlo desde varias tareas...

Bueno, eso mismo ya se había mencionado. Y aunque no se trate de una aplicación multihilo el problema es susceptible de presentarse según comenté más arriba. Pero sigo sin comprender qué tiene que ver esto con tu desapego al uso de ObjetoNil.Free.

Empezado por donald shimoda

... Free Pascal Compiler.
Exacto, me refería a que prefiero escribir código que cualquier compilador pascal acepte, no solo Delphi...

Sabía que te causaría gracia, romper el hielo no es malo.

Ahora sé qué es FPC. Pero entonces acláranos una cosa por favor, ¿Free Pascal Compiler no acepta ese uso del método Free, que en Delphi es de lo más estable, tradicional, útil y seguro?

Y si realmente sí es aceptado por FPC, al contrario de lo que das a entender, ¿no sería mejor que externaras tus conclusiones claras y reales respecto al empleo del método Free con objetos Nil, una vez consideradas las explicaciones dadas en mensajes anteriores? De lo contrario, algunos lectores futuros del este hilo podrían albergar dudas respecto a la validez y seguridad de usar ObjetoNil.Free. En buen plan.

Un abrazo por la verdad.

Al González.

[donald shimoda]

Empezado por Al González

Pero sigo sin comprender qué tiene que ver esto con tu desapego al uso de ObjetoNil.Free.

Nada amigo, solo fue un comentario relacionado al tema, hasta donde quieres llegar?

Empezado por Al González

Sabía que te causaría gracia, romper el hielo no es malo.

Ahora sé qué es FPC. Pero entonces acláranos una cosa por favor, ¿Free Pascal Compiler no acepta ese uso del método Free, que en Delphi es de lo más estable, tradicional, útil y seguro?

Y si realmente sí es aceptado por FPC, al contrario de lo que das a entender, ¿no sería mejor que externaras tus conclusiones claras y reales respecto al empleo del método Free con objetos Nil, una vez consideradas las explicaciones dadas en mensajes anteriores? De lo contrario, algunos lectores futuros del este hilo podrían albergar dudas respecto a la validez y seguridad de usar ObjetoNil.Free. En buen plan.

Un abrazo por la verdad.

Al González.

Ja, y siempre se llega a lo mismo. Gracias maestro.