En qué versión de Delphi se ha corregido cierto problema en Vcl.OleCtrls.pas

[dec]

Hola a todos,

Tratando de solventar el problema descrito en este artículo, he hecho los cambios en la unidad Vcl.OleCtrls.pas, tal como se indica en el artículo enlazado. Parece ser que se trata de un error bastante antiguo y que, al menos en Delphi XE2, todavía existe. Ahora bien, mi pregunta es, ¿podéis revisar la unidad Vcl.OleCtrls.pas en vuestro Delphi y decirme si el error está corregido, así como la versión de Delphi de que se trate?

Creo que se entiende lo que quiero decir, pero, puesto que no sea así, por favor, decídmelo y trato de explicarlo mejor.

¡Muchas gracias a todos!

[JOSEPE]

En Delphi 10 Seattle.
Saludos.

Código Delphi [-]
function TOleControl.GetIDispatchProp(Index: Integer): IDispatch;
var
  Temp: TVarData;
begin
  GetProperty(Index, Temp);
  Result := IDispatch(Temp.VDispatch);
  IDispatch(Temp.VDispatch) := nil;
end;

[dec]

Hola,

Gracias por responder JOSEPE. Es curioso, porque, el código de Delphi 10 no es el mismo que en Delphi XE2 (que se supone todavía es erróneo) pero también es distinto a la solución propuesta en el artículo enlazado:

Empezado por Código en Vcl.OleCtrls.pas de Delphi XE2

Código Delphi [-]
function TOleControl.GetIDispatchProp(Index: Integer): IDispatch;
var
  Temp: TVarData;
begin
  GetProperty(Index, Temp);
  Result := IDispatch(Temp.VDispatch);
end;

Empezado por Solución propuesta en el artículo enlazado

Código Delphi [-]
function TOleControl.GetIDispatchProp(Index: Integer): IDispatch;
var
  Temp: TVarData;
begin
  GetProperty(Index, Temp);
  Pointer(Result) := Temp.VDispatch;
end;

¿Alguien se anima con otra versión de Delphi? ¿Y qué hay de la diferencia entre el código propuesto como solución en el artículo y el código que el compañero muestra y se encuentra en Delphi 10?

Gracias de nuevo a todos.

[dec]

Hola,

Por cierto JOSEPE, ¿podrías poner aquí también la implementación de "GetIUnknownProp" en Delphi 10? Está al lado de la de "GetIDispatchProp" y ambos parecen estar implicados en el problema.

¡Gracias!

[[Al González]]

Hola David.

El artículo que enlazas contiene esto en la cabecera:

Empezado por Marc Durdin

Update 21 Sep 2015: This bug has been fixed in Delphi 10 Seattle.

Creo que podrías asumir que la falla está presente en todas las versiones anteriores. Aunque da más confianza cuando algún documento oficial del fabricante lo confirma (al menos esta fecha de corrección nos permite inferirlo).

Ahora bien, revisando su propuesta y la solución que Embarcadero implementó, te diría que ambas son equivalentes en resultado. Sin embargo, no hace falta sabiduría para darnos cuenta de que la segunda opción consume más ciclos de CPU, mientras que la primera es parca pero más eficiente. En la solución de Embarcadero, la sentencia "Result := IDispatch(Temp.VDispatch)" obtiene una copia de la interfaz contenida en Temp.VDispatch e incrementa en uno su contador de referencias. Luego la sentencia "IDispatch(Temp.VDispatch) := nil" disminuye en 1 ese mismo contador, lo cual, dada la sentencia anterior, se vuelve necesario. En cambio, en la solución que Marc Durdin propone, "Pointer(Result) := Temp.VDispatch" obtiene una copia de la interfaz sin incrementar su contador de referencias, por lo tanto sin necesidad de hacer un decremento explícito.

La solución del artículo es más elegante y eficiente. Según los enlaces del autor, al parecer lo tomó de aquí. Mientras que el programador que escribió la corrección en Delphi Seattle parece haberse limitado a añadir una línea de parche, sin atender el problema de fondo. (La única justificación, aunque ligera, que podríamos darle a añadir esa línea de más, es que estuviera previendo que Embarcadero revisara el manejo de la estructura de los variants por parte del compilador).

La causa del problema reside en que la estructura interna de un valor Variant —el tipo TVarData— es, valga la redundancia, un registro con parte variante. El compilador de Delphi no admite que en la parte variante de un record aparezca declarado un campo cuyo tipo lo haga emplear un contador de referencias, como es el caso de las cadenas de caracteres, las interfaces y algunos otros. Así que, para salvar esa limitante —que es bastante razonable y justificada—, algunos campos del registro variante TVarData fueron declarados como punteros genéricos:

Código Delphi [-]
  TVarData = packed record
    ...
                      case Integer of
                        varDispatch: (VDispatch: Pointer);
                        ...
                        varUnknown:  (VUnknown: Pointer);
                        ...
                        varString:   (VString: Pointer);
                        ...
                        varUString:  (VUString: Pointer);
    ...

El problema con estos es que, al quedar el registro fuera de ámbito (la variable local Temp queda fuera de ámbito cuando GetIDispatchProp llega a su end), nada se encarga de revisarlos para ver si contienen algo que haga falta ser liberado. Muy al contrario de si VDispatch fuera un campo normal declarado de tipo IDispatch en lugar de Pointer.

Así que al extraer valores que usan contadores de referencias de variables, parámetros, propiedades o campos explícitamente declarados con un tipo "comodín", como el Pointer, es menester recordar que ahí hay algo que habrá de ser descontado tras la extracción (solución de Embarcadero), o bien, evitar que aumente el contador utilizando un molde de tipo sobre el receptor (solución del artículo). El truco con esta opción es que el contador se mantiene intacto, y transfiere la responsabilidad de reducirlo al receptor del valor. En el ejemplo que nos ocupa, GetProperty pone en Temp.VDispatch una interfaz a la cual le incrementa en uno su contador de referencias, y la responsabilidad de restar ese 1 queda en el llamador de GetIDispatchProp (puesto que a él le pertenece Result). El intermediario GetIDispatchProp ni se entera de que está contrabandeando una interfaz.

Espero esta pequeña contribución dé algún valor al tema.

Al González.

P.D. David: Te confirmo que en Delphi XE7 Update 1 el código de los métodos mencionados aún presentaban esa falla:

function TOleControl.GetIDispatchProp(Index: Integer): IDispatch;
var
  Temp: TVarData;
begin
  GetProperty(Index, Temp);
  Result := IDispatch(Temp.VDispatch);
end;

...

function TOleControl.GetIUnknownProp(Index: Integer): IUnknown;
var
  Temp: TVarData;
begin
  GetProperty(Index, Temp);
  Result := IUnknown(Temp.VUnknown);
end;

[dec]

Hola a todos,

Qué buena respuesta Al, me alegro mucho de no haber leído que el problema se ha resuelto en Delphi 10, con tal de haber podido leer tu respuesta. Muchas gracias, de verdad, puesto que además uno dudaba de qué solución emplear (la del artículo o la de Delphi 10) y ahora parece claro cuál puede ser mejor.

El caso es que debe haber mucha confusión en todo esto, seguramente, porque algunos que nos llamamos a nosotros mismos programadores, en realidad pecamos de no saber de la misa la media de muchísimas cosas, como queda claro en mi caso, sin ir más lejos, con este problema conque me he topado.

No sé si me excusará algo el hecho de que, buscando por internet sobre los problemas de la "ocupación" de memoria del control "TWebBrowser", algún que otro bien considerado programador (del que jamás dudaría de su capacidad) no llegó tampoco a acertar con una solución. Pero seguro que no tuvo tiempo.

El caso es que de lo que dices entiendo que este problema puede estar también en otro tipo de controles, no sólo en el "TWebBrowser", y, en verdad puede ser un problema bastante curioso, puesto que este control en concreto (a fuerza de crear y destruir unos cuantos de ellos) puede terminar provocando un grave error.

Yo no había notado el problema hasta mi proyecto App Builder, puesto que este hace un uso intensivo (demasiado intensivo, en mi opinión, habría que tratar de reducirlo al máximo) del control "TWebBrowser". Un usuario del programa me reportó el problema, que, yo también tenía, sin llegar nunca a un "out of memory" como en su caso.

Ahora parece que el problema está solucionado, aunque, como vemos, hay que tocar algunas cosas como los componentes de "EmbeddedWB" (que yo uso en mi programa) y hasta la VCL... que es la primera vez que toco en todos estos años trabajando con Delphi. Jamás había tenido que tocar nada de la VCL hasta hoy.

En fin, cualquier otro comentario será bienvenido, pero, vuelvo a darte las gracias por tu estupenda respuesta Al.