El operador as

[[David]]

Hola

El operador as lo hago para hacer un cast objecto as clase

por ejemplo

Código SQL [-]

var
 F : TForm;
begin
   F := FProveedores; // FProveedores es un TForm de otra unidad
   // para llamar a una función del formulario de proveedores
   (F as TFProveedores).MiProcedure;
end;

vale, esto parece claro, pero lo que quiero saber es muy sencillo. Es lo mismo poner (F as TFProveedores).MiProcedure que poner TFProveedores(F).MiProcedure.

Es sólo eso, saber si los dos tipos de cast son equivalentes en todos los casos y sólo son dos formas de escribir lo mismo.

Un saludo

[[seoane]]

Cuando hace un typecast tienes que estar seguro de que los dos tipos son compatibles, en en caso del operado "as" es el mismo el que se encarga de hacer esa comprobación.

Es decir:

Código Delphi [-]
(F as TFProveedores).MiProcedure;

Equivale a esto:

Código Delphi [-]
if F is TFProveedores then
  TFProveedore(F).MiProcedure
else
  // Si no lo es se genera una excepcion

Como ves hacen lo mismo, pero "as" primero hace una comprobación.

[dec]

Hola,

Y yo que pensaba que tenía que ver con el tipo de error, o sea, excepción, que era generada en un caso uno de los "sistemas" y no por el otro... No voy a ponerme a rebatir al maestro Seoane, pero, ¿de qué sirve esta "condición"? Lo pregunto sin ánimo de molestar, sino, sinceramente, a ver si alguien puede sacarme del "dilema".

Código Delphi [-]
(Objecto as TEsteObjeto).Propiedad = 'Cadena';
// Sigue el resto del código aquí

¿De qué sirve la condición, si, pase lo que pase, se avanzará hasta la línea siguiente? ¿Acaso debería atraparse la posible excepción? ¿No sería mejor usar el operador "is"? ¿Me estaré volviendo loco?

Actualización: Acabo de comprobar que, usando el operador "as", se obtiene una excepción "EInvalidCast", mientras que, usando "el tipo" directamente, se obtiene una violación de acceso.

[[seoane]]

Empezado por dec

¿De qué sirve la condición, si, pase lo que pase, se avanzará hasta la línea siguiente?

¿Estas seguro de que se sigue en la linea siguiente?

Me explico, si tenemos esto:

Código Delphi [-]
(Objecto as TEsteObjeto).Propiedad = 'Cadena';

y "Objeto" no es de la clase TEsteObjeto (o una descendiente), se genera una excepción y la siguiente linea de código a esta no se ejecuta (como ocurre con todas las excepciones). ¿no es así?

[dec]

Hola,

Pues sí... así es... pero, yo no llamaría a eso una "condición", entendiendo como condición algo como esto:

Código Delphi [-]
if Condicion then
begin
  // La condición se cumple
end
else
begin
  // La condición no se cumple
end;

No sé. Es que, tal como yo entendí lo que dijiste (mejor dicho, acaso podría entenderse, por lo que dijiste) que el mismo "as" hará que el "asunto" se ejecute si se cumple la "condición", pero, es que no parece que sea así: se levanta una excepción, la condición "no la evita". Pero, puede que esté desbarrando, ¿eh?

Si lo pienso un poco más, puede que lleves toda (no parte de) la razón, porque la "condición" impide que se siga adelante, y, por tanto, se obtenga una violación de acceso, como ocurre en el otro caso, mas, ¿no es ya la "EAccessViolation" un tipo de excepción? Lo dicho, algo se me escapa en este asunto. Acaso es mejor una que otra excepción... lo ignoro ahora mismo. Una cosa está clara: son distintas excepciones.

[jachguate]

Empezado por dec

como ocurre en el otro caso, mas, ¿no es ya la "EAccessViolation" un tipo de excepción? Lo dicho, algo se me escapa en este asunto. Acaso es mejor una que otra excepción... lo ignoro ahora mismo. Una cosa está clara: son distintas excepciones.

Aplicando directamente el molde, no siempre obtendrás un EAccessViolation. Podrías simplemente sobreescribir la memoria, y luego el programa tronaría sin saber por que.

No tengo delphi a mano, pero se me ocurre que podes comprobarlo de manera sencilla (por favor, corregí vos por mi los errores de sintaxis que pudiera haber:

Código Delphi [-]
type
  TClase1 = class
  private
    FNumero: Integer;
  public
    property Numero: Integer read FNumero write FNumero;
  end;

  TClase2 = class
  private
    FLineas: TStringList;
    procedure SetLineas(const Value: TStringList);
  public
    constructor Create;
    property Lineas: TStringList read FLineas write SetLineas;
  end;

implementation
  
constructor TClase2.Create;
begin
  FLineas := TStringList.Create;
end;

procedure TClase2.SetLineas(const Value: TStringList);
begin
  if Assigned(Value) then
    FLineas.Assign(Value)
  else
    FLineas.Clear;
end;

Código Delphi [-]
procedure TForm1.MezclarTodo;
var
  Instancia1: TClase1;
  Instancia2: TClase2;
begin
  Instancia1 := TClase1.Create;
  Instancia2 := TClase2.Create;
  Instancia1.Numero := 1500;
  Instancia2.Lineas.Add('Prueba');
  //Hasta aquí todo bien.
  //La línea siguiente, debiera ejecutarse sin problemas 
  TClase1(Instancia2).Numero := 50;
  //La excepción, como ves, se dará en la siguiente línea
  Instancia2.Lineas.Add('Esto truena!');
end;

Espero que funcione como yo lo espero , si no, ya veremos cuando tenga un delphi a mano.

Hasta luego.

[adfa]

Empezado por seoane

Cuando hace un typecast tienes que estar seguro de que los dos tipos son compatibles, en en caso del operado "as" es el mismo el que se encarga de hacer esa comprobación.

Es decir:

Código Delphi [-]
(F as TFProveedores).MiProcedure;

Equivale a esto:

Código Delphi [-]
if F is TFProveedores then
  TFProveedore(F).MiProcedure
else
  // Si no lo es se genera una excepcion

Como ves hacen lo mismo, pero "as" primero hace una comprobación.

Por lo que yo se (y es poquito) me parece que no es asi.
El (objeto as TClaseCualquiera).procedimiento es lo mismo que hacer TClaseCualquiera(objeto).procedimiento.

El as no control que el objeto que se le pase sea de la clase adecuada, antes hay que preguntar con el "is".
El código del botón1 da error en ejecución, el 2 no.

Código Delphi [-]
unit Unit1;

interface

uses
  Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,
  Dialogs, StdCtrls;

type
  TForm1 = class(TForm)
    Button1: TButton;
    Edit1: TEdit;
    Button2: TButton;
    procedure Button1Click(Sender: TObject);
    procedure Button2Click(Sender: TObject);
  private
    { Private declarations }
  public
    { Public declarations }
  end;

  type animal =class
  end;
  type perro=class(animal)
      procedure ladrar();
  end;
  type gato=class(animal)
  end;
var
  Form1: TForm1;

implementation

{$R *.dfm}


procedure perro.ladrar;
begin
  showmessage('guau');
end;
procedure TForm1.Button1Click(Sender: TObject);
var
  bicho : animal;
begin
  bicho := gato.Create;
   (bicho as perro).ladrar;
end;

procedure TForm1.Button2Click(Sender: TObject);
var
  bicho : animal;
begin
  bicho := gato.Create;
   if bicho is perro then (bicho as perro).ladrar;
end;

end.

Saludos