Fragen zu Assert

[flomei]

Das heisst, dass bei einer "fertigen", also kompilierten, EXE diese Fehlermeldungen auftauchen und anzeigen wo im Quelltext dieser Fehler aufgetreten ist?
Was kann mir das bringen???

MfG Florian

[choose]

Der Zweck von Assertions liegt in der Zusicherung von Zuständen. Also zB so triviale Dinge wie

Delphi-Quellcode:

function Uppercase(const AString: string): string;
begin
  //do some logic here

  Assert(Length(Result)=Length(AString), 'Length of Result differs from input');
  Assert(IsEveryCharACapital(Result), 'Not every char of Result is a capital');
end;

(Postconditions) bzw beim Testen von PreConditions

Delphi-Quellcode:

procedure FillRect(const ACanvas: TCanvas; const APoint: TPoint;
  const AnotherPoint: TPoint);
begin
  Assert(Assigned(ACanvas), 'Canvas cannot be nil');
  Assert((APoint.X<AnotherPoint.X) and (APoint.Y<=AnotherPoint.Y),
    'First Point must be "smaller" than second');

  //do some logic here
end;

Interessant ist dieses Konstrukt zur "Dokumentation" und Zusicherung von Zwischenständen, damit Dritte schneller erkennen und sicherstellen können, dass die Fehlerquelle nicht in fremdem Code zu suchen ist, weil sonst die Assertions "angeschlagen" hätten:

Delphi-Quellcode:

// doing foo now
SomeComplicatedLogig(WithAComplexFormular,
  AndSomeMoreParams);
Assert(EnsureFooWasDone, 'Foo was not done');

// doing bar now
AndAgainSome;
VeryObfuscatedCode;
AndEvenMoreCodeThatIsNotObvious;
Assert(EnsureBarWasDone, 'Bar was not done');

Dinge, die die Programmlogik beeinflussen sollten nicht als Assertions formuliert werden und auch im zweiten skizzierten Fall ist es fragwürdig, ob ACanvas nicht lieber mit einer Exception "gesichert" werden sollte... Aber hier gibt es unterschiedliche Meinungen...

[flomei]

D.h. Assert ist nur so was ähnliches wie try ... except?

MfG Florian

[choose]

Zitat von flomei:

Das heisst, dass [...] diese Fehlermeldungen [...] anzeigen wo im Quelltext dieser Fehler aufgetreten ist? Was kann mir das bringen???

Du hast dann die Möglichkeit, den exakten Ursprung des Fehlers in den zu zugehörigen Sourcen der Version beim Kunden aus dem VersionKontrollSystem auszuchecken und zu überprüfen, was genau nicht geklappt hat.
In der Tat ist ein Stack durch Exceptionwrapping bei ausreichend fein granulierten Klassen idR hilfreicher...

[flomei]

Also für Fehlerkorrektur "vor Ort" !?!
Ich brauch sowas zum Glück noch nicht...

MfG Florian

[choose]

Zitat von flomei:

D.h. Assert ist nur so was ähnliches wie try ... except?

Assertions sind in Delphi mithilfe von Exceptions implementiert, ja.
Beide Konstrukte verfolgen aber unterschiedliche Ansätze: Während bei Assertions (siehe zweites Posting) Invarianten und Vor-/Nachbedinungen nach dem "Vetragskonzept" zugesichert werden und anderfalls ein Abbruch (hier: in Form einer Exception) initiiert wird,

Code:

//hier gilt mit Sicherheit A
ArbeitenUnterDieserPrämisse;
//hier gilt nun mit Sicherheit B und A

sollen Exceptions den Entwickler auf denkbare Fehlersituationen aufmerksam machen und die Behandlung eben dieser unvermeidbaren Situationen von der tatsächlichen Logik entkoppeln, um verwirrende Konstrukte zu vermeiden und klar zu kommunizieren was passieren könnte, wenn man eine Methode verwendet:

Code:

EineMethode; //könnte Fehler A verursachen
EineAndereMethode; //könnte Fehler A oder B verursachen

Code:

//in diesem Abschnitt:
  VerwendenVon EineMethode;
  Verwendenvon EineAndereMethode;
//könnten Fehler A oder B auftreten!

[phlux]

Wie lauten die Compilerschalter zum Deaktivieren denn`?`?

[Luckie]

Rat mal wo du das findest und unter welchen Stichwort.

[nailor]

Zitat von Luckie:

Rat mal wo du das findest und unter welchen Stichwort.

^^Das ist Luckies Art, Leute weiterzubilden. Hätte auch einfach "in der OH" schreiben können und diesen:

Code:

$ASSERTIONS ON/OFF   (long form)
$C +/-   (short form)

Ausschnitt posten können...

[Luckie]

Das war ein virtueller Schlag auf den Hinterkopf und du weißt doch, dass selbige das Denkvermögen erhöhen.