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

К>>Что должен сказать компилятор , и что должна сделать программа, если она скомпилируется ?
PD>Сказать, что детям играть со спичками declspec(novtable) не разрешается.

Должен, но не говорит.
По сути, __declspec(novtable) автоматически делает все виртуальные функции чисто виртуальными.
Но, так как это расширение языка, т.е. заплатка поверх парсера, то никакой диагностики мы не получаем — и можем смело создавать экземпляры фактически абстрактного класса.