Переменная - указатель на область в памяти.
Класс - указатель на некую структуру, расположенную в памяти.
Полиморфизм может быть статическим и динамическим. Как это работает с точки зрения памяти?
Не стандартизировано. Даже для одного языка, разные разработчики компиляторов могут и реализуют по разному.
Статического полиморфизма (шаблонов) с "точки зрения памяти" вообще не существует.
