Re: Fragen zu Assert
:gruebel: Das heisst, dass bei einer "fertigen", also kompilierten, EXE diese Fehlermeldungen auftauchen und anzeigen wo im Quelltext dieser Fehler aufgetreten ist? :roll:
Was kann mir das bringen??? MfG Florian :hi: |
Re: Fragen zu Assert
Der Zweck von Assertions liegt in der Zusicherung von Zuständen. Also zB so triviale Dinge wie
Delphi-Quellcode:
(Postconditions) bzw beim Testen von PreConditions
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;
Delphi-Quellcode:
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:
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;
Delphi-Quellcode:
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...
// doing foo now
SomeComplicatedLogig(WithAComplexFormular, AndSomeMoreParams); Assert(EnsureFooWasDone, 'Foo was not done'); // doing bar now AndAgainSome; VeryObfuscatedCode; AndEvenMoreCodeThatIsNotObvious; Assert(EnsureBarWasDone, 'Bar was not done'); |
Re: Fragen zu Assert
D.h. Assert ist nur so was ähnliches wie try ... except? :roll:
MfG Florian :hi: |
Re: Fragen zu Assert
Zitat:
In der Tat ist ein Stack durch Exceptionwrapping bei ausreichend fein granulierten Klassen idR hilfreicher... |
Re: Fragen zu Assert
:roll: Also für Fehlerkorrektur "vor Ort" !?!
Ich brauch sowas zum Glück noch nicht... :) MfG Florian :hi: |
Re: Fragen zu Assert
Zitat:
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:
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:
//hier gilt mit Sicherheit A
ArbeitenUnterDieserPrämisse; //hier gilt nun mit Sicherheit B und A
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! |
Re: Fragen zu Assert
Wie lauten die Compilerschalter zum Deaktivieren denn`?`?
|
Re: Fragen zu Assert
Rat mal wo du das findest und unter welchen Stichwort.
|
Re: Fragen zu Assert
Zitat:
Code:
Ausschnitt posten können...
$ASSERTIONS ON/OFF (long form)
$C +/- (short form) |
Re: Fragen zu Assert
Das war ein virtueller Schlag auf den Hinterkopf und du weißt doch, dass selbige das Denkvermögen erhöhen. :zwinker:
|
Alle Zeitangaben in WEZ +1. Es ist jetzt 21:23 Uhr. |
Powered by vBulletin® Copyright ©2000 - 2024, Jelsoft Enterprises Ltd.
LinkBacks Enabled by vBSEO © 2011, Crawlability, Inc.
Delphi-PRAXiS (c) 2002 - 2023 by Daniel R. Wolf, 2024 by Thomas Breitkreuz