🚀 go-pugleaf

In <vaillant.724087013@rama> vaillant@rama.informatik.rwth-aachen.de (Stefan Vaillant) writes:

>Catell stellt zwei Forderungen auf:
>  1) OID's muessen vom System generiert werden.
>  2) die generierten OID's aller existierenden Objekte
>     muessen verschieden sein.


Ich wuerde mir zusaetzlich folgendes wuenschen:
   3) Die Gueltigkeit einer OID soll entweder implizit gesichert,
      oder explizit feststellbar sein.
In diesem Sinne ist ein Pointer als OID nicht "schoen", da man weder sichern
kann, dass irgendeine Bitkombination nicht versehentlich als Pointer inter-
pretiert wird (beispielsweise weil das referenzierte Objekt schon nicht mehr
existiert), noch kann man explizit feststellen, ob ein Pointer auf ein
Objekt zeigt oder "in die Wueste".


Martin