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);