Versionsprüfung

Bei der Übersetzung bekommt jedes Assembly vom Compiler eine Versionsnummer, die entweder der Programmierer durch ein AssemblyVersion-Attribut spezifiziert oder der Compiler vergibt.

Wenn ein Programm P Typen eines anderen Assemblys A referenziert, importiert der Compiler die Metadaten von A und führt damit seine Typprüfungen durch. Außerdem vermerkt er die Versionsnummer von A im neu erzeugten Assembly für P.

Wird dann P geladen, verlangt der Lader das Assembly A in derjenige Version, die beim Compilieren vorlag. Somit wird sichergestellt, dass die zur Laufzeit geladene Version derjenigen entspricht, mit der der Compiler seine Typprüfungen durchgeführt hat.