Ergebnis der Suchanfrage

• Forum: Die Delphi-IDE

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

   
    by Namenloser, 30. Jun 2013
  Darum geht es aber nicht. Der Parameter ist ja dynamisch. Sagen wir, der Parameter wäre der Rückgabewert einer Funktion, die alles zwischen 0 und MAXINT zurückliefern kann. Wie soll der Compiler feststellen, ob dabei was herauskommen kann, was von der kryptographischen Hashfunktion auf die 0 abgebildet wird?
• Forum: Die Delphi-IDE

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

   
    by Namenloser, 28. Jun 2013
  Doch, das ist theoretisch schon ein Problem. Angenommen, dein Contract wäre, dass ein kryptographischer Hash des Parameters nicht 0 sein darf. Also z.B. SHA1(Parameter) <> 0. Viel Spaß dabei, zur Compilezeit auszuwerten, welche Werte erlaubt sind.
• Forum: Die Delphi-IDE

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

   
    by Namenloser, 28. Jun 2013
  Nur so eine Idee, die mir gerade kam, aber vielleicht könnte man auch records dafür missbrauchen.
  Z.B.:
  type
  EContractViolation = class(Exception)
  end;
  
  TObjectNotNil = record
  private
  FObj: TObject;
  public