Einzelnen Beitrag anzeigen

Benutzerbild von himitsu
himitsu

Registriert seit: 11. Okt 2003
Ort: Elbflorenz
44.184 Beiträge
 
Delphi 12 Athens
 
#8

AW: Methoden-Parameter soll Referenz, aber kein nil sein können

  Alt 28. Nov 2013, 18:24
Aber diese Pre- und Postconditions werden doch auch erst zur Laufzeit geprüft?

Wobei ich den Sinn nicht verstehen kann, warum der Compiler den Wert eines Parameters prüfen können soll.
Was ist denn er unterschied, zwischen einem nil als Konstante und einem nil, das zur Laufzeit als Variable übergeben wird?

Und den Sinn hinter den Pre- und Postconditions, als neues Sprachfeature, seh ich irgendwie auch nicht.
Delphi-Quellcode:
require
  aValue <> 0;
begin
Ist dann doch wohl das Selbe wie das?
Delphi-Quellcode:
begin
  Assert(aValue <> 0);
$2B or not $2B
  Mit Zitat antworten Zitat