Clean Code - Default benutzen

[mensch72]

genau um dies vollautomatisch an exakt nur einer einzigen Stelle im Programm pro Record zentral zu lösen, wurden doch mit Delphi 10.4 Sydney die "Custom Managed Records" eingeführt

So steht nun einer <> NULL Initialisierung und bei Bedarf sogar dem automatischem "Aufräumen" CleanCode mäßig nix mehr im Weg.

Delphi-Quellcode:

type
  TMyRecord = record
    Value: Integer;
    class operator Initialize (out Dest: TMyRecord);
    class operator Finalize(var Dest: TMyRecord);
  end;

class operator TMyRecord.Initialize (out Dest: TMyRecord);
begin
  Dest.Value := 10;
  Log('created' + IntToHex (Integer(Pointer(@Dest)))));
end;

class operator TMyRecord.Finalize(var Dest: TMyRecord);
begin
  Log('destroyed' + IntToHex (Integer(Pointer(@Dest)))));
end;

[Stevie]

c) ist unnötig, wenn die Defaults eh 0.0 sind - das erledigt Default() schon - nur wenn sie von dem abweichen muss man da was setzen.
Dein gezeigner asm ist ohne Optimierung - mit sieht das so aus:

Code:

Result := Default(TBlaResult);
0041BDB4 8BFB             mov edi,ebx
0041BDB6 33C0             xor eax,eax
0041BDB8 AB               stosd 
0041BDB9 AB               stosd 
0041BDBA AB               stosd 
0041BDBB AB               stosd 
Result.one := 0.0;
0041BDBC 33C0             xor eax,eax
0041BDBE 8903             mov [ebx],eax
0041BDC0 894304           mov [ebx+$04],eax
Result.two := 0.0;
0041BDC3 33C0             xor eax,eax
0041BDC5 894308           mov [ebx+$08],eax
0041BDC8 89430C           mov [ebx+$0c],eax
Project456.dpr.30: end;
0041BDCB 5F               pop edi
0041BDCC 5B               pop ebx
0041BDCD C3               ret

Man könnt sich jetzt noch darüber beschweren, dass er mehrfach eax leert, aber so ist er halt unser lieber Delphi Compiler - von Peephole Optimizations kein Plan

Ein gescheiter Compiler würd da übrigens sowas draus machen:

Code:

pxor    xmm0, xmm0
movups  [eax], xmm0

[Der schöne Günther]

So müssen sich ungefähr früher die Bauern gefühlt haben wenn der Pfarrer was Lateinisches aus der Bibel gepredigt hat.

Ich verstehe kein Wort, aber wird schon alles richtig sein.

[freimatz]

Wir haben uns in dem Fall für b) entschieden, in anderen für c)

"class operator" bringt bei uns nichts. "Default" ist hier ja völig ausreichend.
Vielleicht hätte ich auch noch explizit darauf hinweisen sollen, dass das hier in einer Strategie benutzt wird.

[TiGü]

Zitat von Der schöne Günther:

So müssen sich ungefähr früher die Bauern gefühlt haben wenn der Pfarrer was Lateinisches aus der Bibel gepredigt hat.

Ich verstehe kein Wort, aber wird schon alles richtig sein.

Gib dich nicht auf!

Lern Assembler (lesen):
https://www.syncfusion.com/ebooks/assemblylanguage

[mytbo]

Zitat von Stevie:

Ein gescheiter Compiler würd da übrigens sowas draus machen:

Code:

pxor    xmm0, xmm0
movups  [eax], xmm0

Die Namen gescheiter Compiler darfst du uns jetzt aber nicht vorenthalten. Das wäre richtig gemein!

Bis bald...
Thomas

[Stevie]

Zitat von mytbo:

Die Namen gescheiter Compiler darfst du uns jetzt aber nicht vorenthalten. Das wäre richtig gemein!

Meine Referenzen sind in aller Regel clang und gcc auf https://godbolt.org/ mit den Einstellungen -m32 -O3 (-m32 wenn man halt 32bit asm haben will) und __attribute((regparm(3))) (damit die Parameter genauso übergeben werden wie in Delphi) über der Routine.
Interessanterweise spuckt bei genau diesem Code

Code:

struct Bla {
    double one, two;
};

__attribute((regparm(3)))
Bla Init() {
    Bla result;
    result.one = 0;
    result.two = 0;
    return result;
}

erst clang ausm trunk dasselbe aus wie gcc. Vorher dämliche einzelne mov Befehle.

P.S. Bevor hier einer mit FPC um die Ecke kommt - ich kenn da nicht alle Schalter, aber der generiert zumindest in der Version die auf Godbolt ist noch schlimmeren Müll.

[mytbo]

Zitat von Stevie:

Meine Referenzen sind in aller Regel clang und gcc auf https://godbolt.org/ ...

Allmächd, was es nicht alles gibt. Danke für den Hinweis.

Bis bald...
Thomas