operatore di tipo in C

Typeof in C, davvero un operatore?
Sto pensando perché non c’è polimorfismo in C, che non c’è niente da fare in fase di esecuzione. Cioè, la risposta a typeof è nota al momento della compilazione. (Non riesco a pensare a un uso di typeof che non sarebbe noto in fase di compilazione.) Quindi sembra essere più di una direttiva in fase di compilazione, che un operatore.

Typeof usa un qualsiasi (processore) run-time (in GCC)?