El operador as

[dec]

Hola,

Empezado por Jachguate

No solo eso, dec. Es probable que no haya EAccessViolation, como ya he demostrado en el ejemplo anterior (que vos has dicho que funcionaba como yo quería.

No, no... en el ejemplo se produce una excepción "EAccessViolation".

Empezado por Jachguate

Quizás he leido el hilo demasiado rápido... pero no veo a seoane mencionando ninguna condición... ¿donde lo ha hecho?

Bueno. Aquí está el primer mensaje de Seoane en este hilo. Mi intervención se debió por ese mensaje. Pero, todo venía porque ya alguna vez en estos foros se trató de este tema de la diferencia entre el "as" o el "cast directo" y, si no recuerdo mal, se llegó a la conclusión (si es que se llegó a alguna conclusión) de que la diferencia radicaba en los distintos errores que se generarían, las diferentes excepciones.

[jachguate]

Empezado por dec

No, no... en el ejemplo se produce una excepción "EAccessViolation".

La idea es hacer que se produzca un EAccessViolation, pero no en la línea donde se hace el cast, sino en la siguiente. ¿Podes comprobarlo?

Si se quitase esa línea, no habría EAccessViolation, al menos no en ese punto, sino en cualquier otro que tratase de usar la propiedad Lineas del componente creado.... como dije, es algo que he hecho rápidamente y sin delphi, pero la idea es esa.

Empezado por dec

se llegó a la conclusión de que la diferencia radicaba en los distintos errores que se generarían, las diferentes excepciones.

Definitivamente esa es una conclusión errada. El cast directo no necesariamente producirá una excepción, y si se produce, no necesariamente será un EAccessViolation, aunque es la mas probable. Si el ejemplo hecho no funciona aún, veré de arreglarlo para que se demuestre.

Hasta luego.

[dec]

Hola,

Sí; el ejemplo que preparaste funciona tal como esperas. Es decir, que la violación de acceso no se produce en el "cast", sino el la siguiente instrucción, que, de no existir, evitaría dicha violación de acceso, por el momento...

Yo también estoy de acuerdo en que la conclusión de que el asunto estribaba en la diferencia de excepciones no era del todo correcto, o no se elaboró en su momento de la misma forma que se ha hecho en este hilo, gracias, en buena medida, a tu ejemplo.

[jachguate]

Empezado por dec

gracias, en buena medida, a tu ejemplo.

Me alegra que te sea de utilidad... y mas me alegra que cumpliese su cometido sin haberlo podido probar yo antes... veo que mi comprobador interno de sintaxis va mejorando...

hasta luego.

[[Al González]]

¡Hola a todos!

Vaya lío con esto del operador As. Primero que nada, va mi sugerencia de utilizar el término molde de tipo para referirse a "type cast".

Como ya lo aclaró Antonio, el molde de tipo con el operador As, presenta dos verificaciones de seguridad; una de compilación y otra en tiempo de ejecución. Al compilar se verifica que el tipo de dato usado y el tipo de dato declarado del objeto sean clases con relación jerárquica lineal (padre-hijo, abuelo-nieto, misma clase, etc., pero no tío-sobrino, primo-primo, etc.). En tiempo de ejecución, se realiza una verificación de polimorfismo: que el objeto sea de la clase indicada, de una clase derivada de ella o un puntero nulo (Nil).

Mientras que un molde de tipo clásico (yo los conocía desde Turbo Pascal), al estilo "Clase (Objeto)", no impide que el programa compile y se ejecute la sentencia donde aparezca tal expresión. Pero eso sí, el resultado puede ser impredecible si no estamos completamente seguros de lo que estamos moldeando.

Me permito añadir aquí una humilde traducción al español de lo que dice la ayuda de Delphi sobre el operador As:

El operador as efectúa moldes de tipo verificados. La expresión

Objeto as Clase

devuelve una referencia al mismo objeto que Objeto, pero con el tipo dado por Clase. En tiempo de ejecución, Objeto debe ser una instancia de la clase denotada por Clase o de una de sus descendientes, o bien Nil; de otra forma se eleva una excepción. Si el tipo declarado de Objeto no está relacionado a Clase —es decir, si los tipos son distintos y uno no es ancestro del otro—, ocurre un error de compilación.

(Saludo as TAbrazo).Ejecutar;

Al González.

[Casimiro Noteví]

Empezado por Al González

¡Hola a todos!

Vaya lío con esto del operador As. Primero que nada, va mi sugerencia de utilizar el término molde de tipo para referirse a "type cast".

Como ya lo aclaró Antonio, el molde de tipo con el operador As, presenta dos verificaciones de seguridad; una de compilación y otra en tiempo de ejecución. Al compilar se verifica que el tipo de dato usado y el tipo de dato declarado del objeto sean clases con relación jerárquica lineal (padre-hijo, abuelo-nieto, misma clase, etc., pero no tío-sobrino, primo-primo, etc.). En tiempo de ejecución, se realiza una verificación de polimorfismo: que el objeto sea de la clase indicada, de una clase derivada de ella o un puntero nulo (Nil).

Mientras que un molde de tipo clásico (yo los conocía desde Turbo Pascal), al estilo "Clase (Objeto)", no impide que el programa compile y se ejecute la sentencia donde aparezca tal expresión. Pero eso sí, el resultado puede ser impredecible si no estamos completamente seguros de lo que estamos moldeando.

Me permito añadir aquí una humilde traducción al español de lo que dice la ayuda de Delphi sobre el operador As:
(Saludo as TAbrazo).Ejecutar;
Al González.

Totalmente claro, yo creo que es difícil explicarlo mejor

[adfa]

Empezado por Al González

¡Hola a todos!

Vaya lío con esto del operador As. Primero que nada, va mi sugerencia de utilizar el término molde de tipo para referirse a "type cast".

Como ya lo aclaró Antonio, el molde de tipo con el operador As, presenta dos verificaciones de seguridad; una de compilación y otra en tiempo de ejecución. Al compilar se verifica que el tipo de dato usado y el tipo de dato declarado del objeto sean clases con relación jerárquica lineal (padre-hijo, abuelo-nieto, misma clase, etc., pero no tío-sobrino, primo-primo, etc.). En tiempo de ejecución, se realiza una verificación de polimorfismo: que el objeto sea de la clase indicada, de una clase derivada de ella o un puntero nulo (Nil).

Mientras que un molde de tipo clásico (yo los conocía desde Turbo Pascal), al estilo "Clase (Objeto)", no impide que el programa compile y se ejecute la sentencia donde aparezca tal expresión. Pero eso sí, el resultado puede ser impredecible si no estamos completamente seguros de lo que estamos moldeando.

Me permito añadir aquí una humilde traducción al español de lo que dice la ayuda de Delphi sobre el operador As:



(Saludo as TAbrazo).Ejecutar;

Al González.

Ta decía yo que sabia poquito del tema. Brillante lo tuyo.
Saludos