Ergebnis der Suchanfrage

• Forum: Die Delphi-IDE

  AW: Verträge für Delphi / Design by Contract

   
    by BUG, 29. Jun 2013
  Hashen zur Compilezeit ist nicht wirklich unmöglich (oder auch nur unüblich).
  
  Aber ich glaube, mir ist eben des Halteproblemargument aufgegangen:
  Es ist nicht aufgrund des Halteproblems nicht möglich, herauszubekommen, ob zwei Prozeduren (~> Turingmaschinen) das selbe Ergebnis liefern.
  Also müsst der Programmierer im Zweifelsfall vor dem Aufruf explizit auf die gleiche Bedingung prüfen, die...
• Forum: Die Delphi-IDE

  AW: Verträge für Delphi / Design by Contract

   
    by BUG, 28. Jun 2013
  Solche Lösung sind zwar gut gegen Nullpointer, biete aber keine statische Analysefähigkeit.
  
  Das ist es, was die Design-by-Contract so wertvoll macht. Anfangs- und Endzustände sowie Invarianten checken kann man zwar manuell machen. Aber schon mit dem (erzwungenen) Vererbungen der "Contracts" wird ohne Compiler-Unterstützung kniffelig bis unmöglich.
  Es ist wie mit der Typen: Wenn es nicht...