Может ли компилятор VS C++ пропустить экземпляр абстрактного класса

Question

Можно ли с помощью смешной инициализации и/или отбрасывания базовым классам получить экземпляр абстрактного класса или класса, который имеет чистые виртуальные методы?

Я использую компилятор VS14, и мне интересно, может ли компилятор пропустить это? Класс и его использование находятся в отдельных сборках.

Чтобы быть ясным, я не пытаюсь достичь этого, просто глядя на ошибки и задаваясь вопросом, может ли это привести к исключению во время выполнения вызова виртуального метода.

Answer 1

Если ваша программа содержит неопределенное поведение, все может произойти.

Но, в общем, нет, необычное кастинг не позволит вам создать полный объект абстрактного типа базового класса.

Эта ошибка может быть вызвана попыткой вызова чистого виртуального метода во время построения или уничтожения (который является формой UB), после чего полный объект не существует, поэтому соответствующий конечный переопределитель не является называется. Чтобы избежать таких проблем, обычно лучше не называть виртуальные методы (прямо или косвенно) для объекта, находящегося в стадии строительства или уничтожения.