Why are virtual functions handled at runtime?

Surely the compiler is smart enough to deduce exactly what function you want for some cases, yet how come other cases require run-time support?