Statyczna asercja (ang. static assert) to konstrukcja języka C++, której celem jest weryfikacja zadanego warunku podczas kompilacji. Stosouje się podobnie jak makro/instrukcję assert() z biblioteki standardowej, można jednak tylko weryfikować takie warunki których wartość logiczną można wyznaczyć na etapie kompilacji. np.

assert( sizeof(int) == sizeof(long) ) ;

Literatura:
funus.net