TThreadPool.Default.QueueWorkItem - wie parameter mitgeben

[himitsu]

AddPoolWithParams bekommt einen "Zeiger" auf die Prozedur und die Parameter rein und ruft diese Prozedur intern auf.

Bei TThreadPool.Default.QueueWorkItem(machwas(bla)); würde erst machwas ausgeführt und dann dessen Result als Parameter in QueueWorkItem reingegeben.
Siehe ShowMessage(IntToStr(123)); ... S:=IntToStr(123); ShowMessage(S);


Delphi legt solche gesharedten Variablen intern in ein Interface und gibt Jenes an alle, welche mit dieser Variable zu tun haben.
Drum können z.B. auch keine Var-Parameter von der äußeren Prozedur in den Generic reingegeben werden, da diese Variablenkopie eventuell länger lebt, als der Parameter und seine Referenz, also auch nach dem Ende der aufrufenden Prozedur, da Delphi nicht erkennen kann (nicht schlau genug dafür ist), ob die generische Methode bereits vorher beendet ist.

Delphi-Quellcode:

for i := 0 to 10 do
  TThreadPool.Default.QueueWorkItem(procedure
    begin
      if i = 5 then
        Beep;
    end);

Hier haben also Alle die selbe Variable und bevor die Prozedur ausgeführt wird, kann/wird die Variable bestimmt schon einen anderen Wert haben, also Den von einem der nachfolgenden Schleifendurchläufe.
Mit einer Prozedur (z.B. das AddToPool) drumrum, bzw. dazwischen (zwischen Schleife und generischem Aufruf) wird über den Parameter eine Kopie der Variable erstellt und jeder bekommt seine eigene Instanz davon.
Bei globaler Variable gäbe es wieder das selbe Problem.

Delphi-Quellcode:

S := 'Welt';
B := False;
while not B do
  TThread.Synchronize(nil, procedure
    begin
      B := InputQuery('Hallo', 'Du', S);
    end;
if S <> 'Welt' then
  FühreWeltuntergangHerbei;

Bei "syncronen" Aufrufen, also wo der Methodenzeiger nicht gespeichert und/oder in einen anderen Thread übergeben wird, da gibt keine Probleme, aber Delphi geht nunmal immer davon auß, als könnte der Aufruf auch asynchron, bzw. verzögert erfolgen und/oder beendet sein.

[Sir Rufo]

Ich würde es immer trennen und einen generischen Wrapper erstellen, der dann bis zu x Argumenten wrappen kann:

Delphi-Quellcode:

function TWrapper.Wrap<T>( AProc : TProc<T>; Arg: T ): TProc;
begin
  Result := procedure
  begin
    AProc( Arg );
  end;
end;

und dann einfach

Delphi-Quellcode:

var s: string;

TThreadPool.Default.QueueWorkItem( TWrapper.Wrap<string>( procedure ( Arg: string ) begin ... end, s ) );

[newbe]

@Sir Rufo so ähnlich meinte ich es ja mit dem keyValuePair Dictionary, aber seien wir mal ehrlich, von der Eleganz und Simplizität einer einfachen methodenübergabe sind wir immer noch weit entfernt. :/ Aber scheint wohl keine andere Möglichkeit zu geben.

mfg newbe

[newbe]

Delphi-Quellcode:
function TWrapper.Wrap<T>( AProc : TProc<T>; Arg: T ): TProc;
begin
Result := procedure
begin
AProc( Arg );
end;
end;
und dann einfach
markieren Delphi-Quellcode:
var s: string;

TThreadPool.Default.QueueWorkItem( TWrapper.Wrap<string>( procedure ( Arg: string ) begin ... end, s ) );

Sir Rufo,

ich habe Probleme deinen Code zu verstehen, könntest du mir ein paar Fragen beantworten?

1. TWrapper.Wrap<string> Was soll da in <string> drinstehen bspw.?
2. Ich kann mir durchaus vorstellen das, das mit übergebenen Konstantenwerten funktioniert die in die QueeWorkItem-function reingehen, aber was ist z.B
mit Variablen, oder Sets, Arrays usw.?
3. Habe ich noch nicht viel mit generischen Methoden gearbeitet, wäre schön wenn du es etwas "aufdröseln" könntest.

danke schonmal im Voraus,

mfg newbe

[Sir Rufo]

Hier mal den Wrapper in einer eigenen Unit mit bis zu 4 Argumenten

Delphi-Quellcode:

unit Generics.Utils;

interface

uses
  System.SysUtils;

type
  TWrapper = class
    class function Proc<T>( AProc: TProc<T>; Arg: T ): TProc; overload;
    class function Proc<T1, T2>( AProc: TProc<T1, T2>; Arg1: T1; Arg2: T2 ): TProc; overload;
    class function Proc<T1, T2, T3>( AProc: TProc<T1, T2, T3>; Arg1: T1; Arg2: T2; Arg3: T3 ): TProc; overload;
    class function Proc<T1, T2, T3, T4>( AProc: TProc<T1, T2, T3, T4>; Arg1: T1; Arg2: T2; Arg3: T3; Arg4: T4 ): TProc; overload;
  end;

implementation

{TWrapper}

class function TWrapper.Proc<T1, T2, T3, T4>( AProc: TProc<T1, T2, T3, T4>; Arg1: T1; Arg2: T2; Arg3: T3; Arg4: T4 ): TProc;
begin
  Result := procedure
    begin
      AProc( Arg1, Arg2, Arg3, Arg4 );
    end;
end;

class function TWrapper.Proc<T1, T2, T3>( AProc: TProc<T1, T2, T3>; Arg1: T1; Arg2: T2; Arg3: T3 ): TProc;
begin
  Result := procedure
    begin
      AProc( Arg1, Arg2, Arg3 );
    end;
end;

class function TWrapper.Proc<T1, T2>( AProc: TProc<T1, T2>; Arg1: T1; Arg2: T2 ): TProc;
begin
  Result := procedure
    begin
      AProc( Arg1, Arg2 );
    end;
end;

class function TWrapper.Proc<T>( AProc: TProc<T>; Arg: T ): TProc;
begin
  Result := procedure
    begin
      AProc( Arg );
    end;
end;

end.

Und nun ein kleines Beispiel

Delphi-Quellcode:

program dp_184827;

{$APPTYPE CONSOLE}
{$R *.res}

uses
  System.SysUtils,
  Generics.Utils in 'Generics.Utils.pas';

procedure DoFoo( AStr: string; AInt: Integer );
begin
  Writeln( 'CALL DoFoo( AStr: ', QuotedStr( AStr ), ', AInt: ', AInt );
end;

procedure Test;
var
  LProc: TProc;
begin
  // Direkter Aufruf von DoFoo
  DoFoo(
    {AStr} 'Ein String',
    {AInt} 42 );

  // Wrappen mit Argumenten
  LProc := TWrapper.Proc<string, Integer>(
    {AProc} DoFoo,
    {Arg1} 'Ein String',
    {Arg2} 42 );

  // Aufrufen
  LProc( );
end;

begin
  try
    Test;
  except
    on E: Exception do
      Writeln( E.ClassName, ': ', E.Message );
  end;
  ReadLn;

end.

[newbe]

Delphi-Quellcode:

// Wrappen mit Argumenten
  LProc := TWrapper.Proc<string, Integer>(
    {AProc} DoFoo,
    {Arg1} 'Ein String',
    {Arg2} 42 );

Danke erstmal für deine ausführliche Antwort.
kann ich dabei auch variablen angeben, ansonsten wärs ja ziemlich sinnlos und auch ziemlich viel Code? Die ganzen Proceduredeklarationen für einen weiteren Parameter. Da ich gerne universelle "einmal machen und vergessen"- Lösungen habe würde ich es vermutlich doch so machen das ich ein TDictionary übergebe mit Keyvaluepairs vom Typ (String, Variant). Meine einzige Sorge dabei wäre eventuell die Typkompatibilität in alle Fällen gegeben ist.

mfg Newbe

[Sir Rufo]

Zitat von newbe:

Delphi-Quellcode:

// Wrappen mit Argumenten
  LProc := TWrapper.Proc<string, Integer>(
    {AProc} DoFoo,
    {Arg1} 'Ein String',
    {Arg2} 42 );

Danke erstmal für deine ausführliche Antwort.
kann ich dabei auch variablen angeben, ansonsten wärs ja ziemlich sinnlos und auch ziemlich viel Code?

Natürlich, kannst du da auch Variablen übergeben. Von diesen wird aber nur der Wert genommen, was in diesem Fall auch wichtig und richtig ist. Das Problem mit der Schleife und den Variablen wurde ja schon angesprochen.

Zitat von newbe:

Die ganzen Proceduredeklarationen für einen weiteren Parameter. Da ich gerne universelle "einmal machen und vergessen"- Lösungen habe würde ich es vermutlich doch so machen das ich ein TDictionary übergebe mit Keyvaluepairs vom Typ (String, Variant). Meine einzige Sorge dabei wäre eventuell die Typkompatibilität in alle Fällen gegeben ist.

mfg Newbe

Hmmm, du hast doch mit den Typ-Argumenten etwas Generelles und dazu auch noch typsicher. Bei mehr als 4 Argumenten überlege ich allerdings auch vorher, ob es nicht Sinn machen würde, daraus einen Record oder eine Klasse zu erstellen und dann mit nur einem (bzw. sehr wenigen) Argument/en zu übergeben.

Eigentlich ist es ähnlich zu dem, was du mit deinem Dictionary da machen möchtest.

Aber dir ist doch ein Tuple bekannt? So etwas geht mit Delphi auch ... wenn man sich das baut und dann übergibt man eben so ein Tuple - also ein Argument