Здравствуйте, DemAS, Вы писали:

DAS>Здесь тип переменной v (A или B) определится только на этапе исполнения

Нет, тип определится на момент компиляции — это будет тип Base.