Prufungen zur Compile-Zeit schutzen den Code besser als Assertions und konnen manches undefinierte Verhalten bereits beim Kompilieren erkennen.