FreeAndNil VS Free

[[Al González]]

Hola Roberto.

Me resulta algo humorística la forma en que afrontas a Román en los últimos mensajes, pero tal humorismo surge principalmente por la combinación de dos cosas: la idea (interesante, por cierto) de que una clase sea capaz de conocer todas las referencias a sus instancias, y por otro lado, que no pareces tener muy claro lo que Self significa en Delphi (y claro, también por tantas caritas ).

No sé por qué en otros lenguajes se permite la sentencia que señalas (y me gustaría saber), mas en Delphi Self es un parámetro, no declarado, de todos los métodos, y es básicamente la instancia para la cual se está ejecutando el método (intuyo que esto de alguna forma ya lo sabías). Ignoraba que Delphi "permitiese" referencias de escritura en el parámetro Self (para mí siempre ha sido una referencia de solo lectura), pero no me extraña en absoluto que el compilador la deseche sin generar instrucción máquina alguna para esa sentencia (lo puedes verificar con la ventana CPU).

Y es que Self no podría ser variable objeto alguna, todas las variables objeto son punteros (apuntadores) hacia la región de memoria donde se encuentra un "Self", es decir, donde se encuentra una instancia de objeto. Entonces, si se pudiera asignar Nil a Self, lo que se estaría poniendo en blanco sería esa instancia, no las variables que apuntan a ella.

Ahora, aunque hay argumentos muy sólidos para proponer que las clases no conozcan sus instancias y las referencias a éstas, hay casos donde sí pudiera ser conveniente una capacidad similar. Yo tengo una clase derivada de TClientDataSet, con varios métodos que necesitan conocer cuáles otras instancias de la clase comparten la misma base (propiedad DSBase).

Lo solucioné con una lista privada (declarada como variable global en la sección Implementation), y usando el constructor para agregar cada nueva instancia a la lista y el destructor para quitar tal instancia de la lista.

Código Delphi [-]
  Type
    TDataSetList = Class (TList)
      Function GetItem (Const Index :Integer) :TMagiaClientDataSet;
      Property Items [Const Index :Integer] :TMagiaClientDataSet
        Read GetItem; Default;
    End;

  Var
    DataSets :TDataSetList;

...

  Constructor TMagiaClientDataSet.Create (AOwner :TComponent);
  Begin
    Inherited Create (AOwner);
    AutoApplyDetails := True;
    AutoCancelDetails := True;
    AutoEdit := True;
    ChangeCheckFieldTypes := [ftString, ftSmallint, ftInteger, ftWord,
      ftBoolean, ftFloat, ftCurrency, ftBCD, ftDate, ftTime, ftDateTime,
      ftAutoInc, ftFixedChar, ftWideString, ftLargeint, ftVariant, ftGuid,
      ftTimeStamp, ftFMTBcd];

    If DataSets = Nil Then
      DataSets := TDataSetList.Create;

    DataSets.Add (Self);
  End;

  Destructor TMagiaClientDataSet.Destroy;
  Begin
    DataSets.Remove (Self);
    FreeAndNil (FDetailList);
    BlockReadSizeStack.Free;
    FSavePoints.Free;
    Inherited Destroy;
  End;

...

  Function TMagiaClientDataSet.IsBase (Const DataSetIndex :Integer)
    :Boolean;
  Begin
    Result := DataSets [DataSetIndex].DSBase = DSBase;
  End;

...

  Function TMagiaClientDataSet.FindSavePoints
    :TMagiaClientDataSetSavePoints;
  Var
    I :Integer;
  Begin
    If FSavePoints = Nil Then
      For I := 0 To DataSets.Count - 1 Do
        If IsBase (I) And (DataSets [i].FSavePoints <> Nil) Then
        Begin
          Result := DataSets [i].FSavePoints;
          Exit;
        End;

    Result := FSavePoints
  End;

...

Finalization
  DataSets.Free;

Independientemente de lo que dicten los cánones de la POO, esta implementación me resulta eficiente para mis propósitos. Sin embargo, esto es sólo mantener una lista de las instancias creadas de una clase, mas no de las variables que hacen referencia a dichas instancias.

Si quisiéramos que se mantuviera también una lista de tales referencias entraríamos a un terreno un tanto peliagudo, ya que implicaría necesarias modificaciones al compilador Delphi mismo, a fin de que siempre que se ejecute una asignación de instancia de objeto a una variable, tal variable se "marque" para ser limpiada cuando el objeto se destruya:

Código Delphi [-]
Obj1 := TClase.Create...;  // Se "ficha" a Obj1
Obj2 := Obj1;   // Se "ficha" a Obj2
Obj3 := DataSource1.DataSet;  // Se "ficha" a Obj3
...
Obj2.Free;  // Se ponen en blanco (Nil) las variables Obj1 y Obj2
DataSource1.DataSet.Free  // Se pone en blanco (Nil) la variable Obj3

O bien, que no fuese obligatorio "fichar" a la variable, e implementar nosotros mismos un mecanismo "casero" general, con una lista global y una par de funciones AssignObj y FreeObj:

Código Delphi [-]
AssignObj (Obj1, TClase.Create...);  // Se "ficha" a Obj1
AssignObj (Obj2, Obj1);   // Se "ficha" a Obj2
AssignObj (Obj3, DataSource1.DataSet);  // Se "ficha" a Obj3
...
FreeObj (Obj2);  // Se ponen en blanco (Nil) las variables Obj1 y Obj2

Lo pongo como ejemplo, pero lo desaconsejo, porque ¿cómo resolver un caso como este?:

Código Delphi [-]
DataSource1.DataSet.Free;  // Esto NO pondrá en Nil a la variable Obj3

Ahora, sí se realizaran las modificaciones al compilador para que toda asignación de objeto guardara en una lista interna la variable a la cual se asigna, de tal forma que al destruirse tal objeto todas las variables que apunten a él se pongan en Nil, habría que considerar lo mismo para los parámetros de las funciones:

Código Delphi [-]
Procedure X (DataSet :TDataSet;...);
Begin
  If Not DataSet.Active Then
    Exit;
  
  DataSet.Append;
  ...
  ... // Aquí llamada a una rutina que llama a otra que destruye a DataSet
  ... // Aquí el parámetro DataSet deberá volverse Nil
End;

Agrego: Y que las variables y parámetros se eliminaran de dicha lista interna al quedar fuera de ámbito.

Como podrás ver, son varias y muy importantes las implicaciones que tendría modificar el compilador para que las variables objeto nunca apunten a los vestigios de una instancia (es decir, para que se vuelvan Nil cuando la instancia sea destruida).

Pero sí es posible crear una clase particular con este comportamiento, donde esa clase mantenga una lista de punteros, que no serían punteros a las instancias, sino punteros a las variables objeto. De tal forma que el destructor de la clase se encargue de recorrer esa lista y poner a cada variable objeto en Nil. Sin embargo, esto requeriría de un "contrato" entre el creador de la clase y el programador que la usara. Algún párrafo de documentación donde se le diga algo como: Si usted quiere que una variable objeto de esta clase sea limpiada automáticamente, debe usar el método AssignToVar:

Código Delphi [-]
TClase.Create (...).AssignToVar (Obj1);  // En lugar de "Obj1 := TClase.Create (...)"
Obj1.AssignToVar (Obj2);  // En lugar de Obj2 := Obj1;

Yo solía hacerme este tipo de planteamientos casi filosóficos, al grado de crear rutinas de código extravagantes. Con el tiempo uno se va dando cuenta de los pros y contras de cada técnica, hasta que se tiene algún grado de experiencia como para proponer cambios en un lenguaje o en un compilador. Al menos a mí, me gustaría que las clases tuviesen mecanismos nativos para conocer todas sus instancias; pero si esto sonara como un disparate, quizá se deba a que me falta experiencia para darme cuenta de que eso sería un despropósito, o quizá no.

Pero tratándose de variables objetos, creo que lo mejor es seguir dejando la responsabilidad en manos del programador que declara y hace uso de esas variables; algo que me parece Román ya te había comentado.

Un abrazo objetivo.

Al González.