Sobre ponteiros de m�todos

Question

pessoal como fa�o para criar um ponteiro de m�todo (fun��o) sem deixar definido seus par�metros, ou seja posso passar qualquer par�metro para esse ponteiro indiferente de seus m�todos?

Massuda · Answer

N�o tem como fazer isso... Pascal (e consequentemente, Delphi) � uma linguagem fortemente tipada, de modo que os parametros que voc� passa para uma function/procedure tem do mesmo tipo dos argumentos que voc� declarou.

Bruno Belchior · Answer

obrigado massuda... era o que eu imaginei... pois � o mesmo que acontece com os eventos......

Michael · Answer

Ol� colega!Uma solu��o seria vc criar um par�metro do tipo array do tipo Variant. Veja:function MinhaFuncao(Matriz : array of Variant) : boolean;(...)O problema das Variants � que elas consomem mais recursos do que se uma vari�vel tipada.[]�s...

Bruno Belchior · Answer

[quote:064db646bd=�Michael�]Ol� colega!Uma solu��o seria vc criar um par�metro do tipo array do tipo Variant. Veja:function MinhaFuncao(Matriz : array of Variant) : boolean;(...)O problema das Variants � que elas consomem mais recursos do que se uma vari�vel tipada.[]�s[/quote:064db646bd]obrigado colega... por�m o problema vai um pouquinho al�m disso, n�o quero utilizar um par�metro que n�o tem um tipo (no caso array of variants) mas sim um [b:064db646bd]ponteiro[/b:064db646bd] para um m�todo, assim como um evento faz internamente, por�m isso s� � poss�vel quando temos um tipo (classe) de ponteiro de m�todo previamente implementado, na realidade a inten��o era criar uma classe de ponteiro que suportasse receber qualquer tipo de m�todo, independente da quantidade de par�metros......

Beppe · Answer

Vc pode tratar uma rotina ou m�todo como ponteiro:

procedure Oi(A, B: Integer);
procedure Ola(A, B: String);
...
P: Pointer;
...
P := @Oi;
...
P := @Ola;

O problema que se vc n�o souber exatamente a assinatura(par�metros e seus tipos) da rotina, n�o poder� chamar via ponteiro.

Yallebr · Answer

[quote:541be4a84b=�Beppe�]O problema que se vc n�o souber exatamente a assinatura(par�metros e seus tipos) da rotina, n�o poder� chamar via ponteiro.[/quote:541be4a84b]Correto mas como eu iria [b:541be4a84b]cham�-la em outra classe[/b:541be4a84b] por exemplo?Ou seja o m�todo que passarei como ponteiro esta em uma classe, por�m ser� outra classe quem vai execut�-lo......

Beppe · Answer

[quote:8ce7017788=�yallebr�]mas como eu iria [b:8ce7017788]cham�-la em outra classe[/b:8ce7017788] por exemplo?[/quote:8ce7017788]Isto � simples, dado que um m�todo � apenas uma rotina com um par�metro impl�cito. Por exemplo, os dois m�todos s�o exatamente iguais quanto � s�ntese:[code:1:8ce7017788]procedure Button1Click(Self: TForm1; Sender: TObject);begin  ShowClass(Self);  ShowClass(Sender);end;procedure TForm1.Button1Click(Sender: TObject);begin  ShowClass(Self);  ShowClass(Sender);end;[/code:1:8ce7017788]Mas para chamar um m�todo vc precisa mais do que apenas um ponteiro, precisa tamb�m do objeto sobre o qual o m�todo agir�. Para isso, use TMethod.[code:1:8ce7017788]var  M: TMethod;begin  M.Code := @TForm1.Button1Click;  M.Data := Form1;  TNotifyEvent(M)(Sender);end;[/code:1:8ce7017788]Ou ainda[code:1:8ce7017788]type  T2P = procedure(Self: TForm1; Sender: TObject);var  P: Pointer;begin  P := @TForm1.Button1Click;  T2P(P)(Form1, Sender);end;[/code:1:8ce7017788]As duas formas se equivalem, a diferen�a est� no trato de Self(como m�todo ou simples subrotina)....

Nildo · Answer

Olha... voc� pode criar uma fun��o sem parametros, e dentro dela voc� pode ler quantos itens voc� quiser da Stack, que ser�o PUSHados antes de voc� chamar a fun��o. Mas deve ter um auxilio do Assembly InLine. Aqui vai um exemplo onde eu passo 2 par�metros para uma fun��o declarada sem parametros, e os leio dentro dela

function SuaFuncao: Integer; stdcall;
var
   _ESP: Pointer;

   Param1: Integer;
   Param2: Integer;
begin
   asm
      mov _ESP, ESP
   end;

   Param1 := PInteger( Integer( _ESP ) + ( 12 * 4 ) )^;
   Param2 := PInteger( Integer( _ESP ) + ( 11 * 4 ) )^;

   ShowMessage( IntToStr( Param1 ) );
   ShowMessage( IntToStr( Param2 ) );
end;

E para testar, chame-a da seguinte maneira:

procedure TForm1.Button1Click(Sender: TObject);
begin
   asm
      push eax

      push 1
      push 2
      call SuaFuncao
      pop eax
      pop eax

      pop eax
   end;

end;

Partindo deste princ�pio voc� pode criar um parametro que seria a contagem dos parametros, da� voc� faz um FOR e sai lendo os itens da Stack. � complicado isso, nem � muito legal usar, mas foi s� para mostrar que � poss�vel :wink:

Beppe · Answer

nildo, uma corre��o quanto aos offsets: os argumentos come�am a partir de 3 * 4. Isto se deve as 3 locais da fun��o. Mas desta forma vc deve se privar de usar tratamento de exce��es e strings(try/finally impl�cito envolvendo seu c�digo). E poss�veis vari�veis tempor�rias que o Delphi criar para a fun��o, complica enormemente, na minha opini�o.

Massuda · Answer

[quote:3f38c888e5=�nildo�]...� complicado isso, nem � muito legal usar, mas foi s� para mostrar que � poss�vel[/quote:3f38c888e5]Acho que esse � o ponto mais importante deste t�pico... s� quem j� teve que procurar a causa de um stack corrompido sabe o pesadelo que s�o esses truques relacionados com manipula��o de stack e convers�o de ponteiros de m�todo para ponteiros de procedure/fun��o.Se for para programar dessa forma, estar�amos retrocedendo para os tempos onde todas as vari�veis tinham que ser globais e subrotinas n�o podiam receber parametros (algo como retornar aos anos 60?)....

Nildo · Answer

[quote:990b1151e3=�Beppe�]nildo, uma corre��o quanto aos offsets: os argumentos come�am a partir de 3 * 4. Isto se deve as 3 locais da fun��o. Mas desta forma vc deve se privar de usar tratamento de exce��es e strings(try/finally impl�cito envolvendo seu c�digo). E poss�veis vari�veis tempor�rias que o Delphi criar para a fun��o, complica enormemente, na minha opini�o.[/quote:990b1151e3]Por isso eu disse que nem vale a pena. Ent�o, eu tamb�m achei que seria 3*4, mas quando eu testei deu erro, dai eu debugei pela CPU e v� que na Stack, o Delphi acrescentou uns 8 itens.. Dai pra funcionar (� sempre especifico de fun��o para fun��o) eu peguei o 11� e 12� item da Stack. Pode testar e voc� vai ver que funciona.mas eu estranhei o Delphi ter PUSHado um monte de coisa numa fun��o simples... mas fazer o que n�! rs...

Beppe · Answer

Me parecou apenas curiosidade do brunovicenteb. Se algu�m tiver inten��o de fazer isto na pr�tica, acho que d� pra chegar numa solu��o eficiente, dada algumas restri��es. A princ�pio, a solu��o do NerdeX(ou ainda usar array of const) � a mais geral, e ao menos eu nunca tive o que reclamar dela.

Nildo · Answer

[quote:022f8d5df1=�Massuda�]s� quem j� teve que procurar a causa de um stack corrompido sabe o pesadelo que s�o esses truques relacionados com manipula��o de stack e convers�o de ponteiros de m�todo para ponteiros de procedure/fun��o.[/quote:022f8d5df1]� realmente um pesadelo, principalmente quando voc� tem que aplicar um patch na Stack por conta de um erro estranho na compila��o. Mas enfim, depois que voc� come�a a estudar a estrutura do processador voc� tira isso de letra[quote:022f8d5df1=�Massuda�]Se for para programar dessa forma, estar�amos retrocedendo para os tempos onde todas as vari�veis tinham que ser globais e subrotinas n�o podiam receber parametros (algo como retornar aos anos 60?).[/quote:022f8d5df1]Isso sim eu chamo de [b:022f8d5df1]Programar[/b:022f8d5df1]! Eu gosto disso porque acabo aprendendo a base da coisa.. Como ela funciona internamente.. O que o processador faz quando executa nossos c�digos, etc.....

Beppe · Answer

[quote:efb34e5f68=�nildo�]Por isso eu disse que nem vale a pena. Ent�o, eu tamb�m achei que seria 3*4, mas quando eu testei deu erro, dai eu debugei pela CPU e v� que na Stack, o Delphi acrescentou uns 8 itens.. Dai pra funcionar (� sempre especifico de fun��o para fun��o) eu peguei o 11� e 12� item da Stack. Pode testar e voc� vai ver que funciona.[/quote:efb34e5f68]Nem precisa testar...estou vendo agora o IntToStr, que cria strings. Se n�o fossem por eles, neste caso, os offsets seriam os �bvios....

Thiago Vidal · Answer

J� utilizei muitas vezes este m�todo pra chamada de DLLs, principalmente para fazer uma DLL compartilhar de uma TSQLConnection que est� no execut�vel, e sempre funcionou sem problemas...

O motivo de o Delphi PUSHar tantos itens no stack, � pq o Delphi passa os par�metros padr�o �register� via registradores; para passar via stack, vc deve declarar o m�todo como �stdcall�. Como por Exemplo:

na Dll:

type
  PSQLConnection = ^TSQLConnection;

function Abrir(cnn: PSQLConnection): LongBool; stdcall;
begin
  with TForm1.Create(Application) do
  try
    SQLDataSet1.Connection := cnn;
    Result := (ShowModal = mrOk);
  finally
    Free;
  end;
end;

no Execut�vel:

procedure TForm1.Button1Click(Sender: TObject);
type
  PSQLConnection = ^TSQLConnection;
var
  DLLHandle: THandle;
  cnn: PSQLConnection;
  Metodo: Pointer;
  Resultado: LongBool;
begin
  DLLHandle := LoadLibrary(�minhadll.dll�);
  if (DLLHandle <> 0) then
  try
    cnn := @SQLConnection1;
    Metodo := GetProcAddress(DLLHandle, �Abrir�);
    asm
      push cnn
      call Metodo
      mov [Resultado], eax
    end;

    if (Resultado) then
      ShowMessage(�Sucesso!�);
  finally
    FreeLibrary(DLLHandle);
  end;
end;

Realmente n�o � a forma mais recomendada de se fazer as coisas, mas funciona, e para um sistema como o meu, em que um execut�vel enxuto carrega diversas DLLs, � importante manter apenas 1 conex�o com o banco ativa... desde que se fa�a um rigoroso controle, para evitar que as DLLs tentem acessar a conex�o simultaneamente.

F�rum Sobre ponteiros de m�todos #275913