É typeof em C, realmente um operador?
Eu estou pensando porque não há polimorfismo em C, que não há nada para fazer em tempo de execução. Ou seja, a resposta ao typeof é conhecida em tempo de compilação. (Não consigo pensar em um uso do tipo que não seria conhecido em tempo de compilação.) Portanto, parece ser mais uma diretiva em tempo de compilação do que uma operadora.

O typeof usa algum tempo de execução (no processador) (no GCC)?