Общая библиотека C++: чистая виртуальная функция не вызывает ошибку связи

Question

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

Вот определение интерфейса:

class A 
{ 
public: 
    static A* Create(); 

    virtual ~A() {} 

    virtual status_t start() = 0; 
    virtual status_t stop() = 0; 
}; 

У меня есть C++ разделяемую библиотеку, которая содержит реализацию "AImpl" + The A :: Create() функцию (см):

A* A::Create {return new AImpl;} 

class AImpl : public A 
{ 
public: 
    A() {} 
    virtual ~A() {} 

    virtual status_t start() {} 
    virtual status_t stop() {} 
}; 

Я создаю общую библиотеку - проблем нет. Теперь я добавляю еще одну чистую виртуальную функцию в файле заголовка для класса А:

class A 
    { 
    public: 
     static A* Create(); 

     virtual ~A() {} 

     virtual status_t start() = 0; 
     virtual status_t stop() = 0; 
     virtual status_t write() = 0; 
    }; 

создать тест приложение, которое использует его:

void main() 
{ 
    A* a = A::Create(); 
    a->start(); 
    a->stop(); 
    a->write(); 
} 

Теперь я понимаю, что вышеуказанная компилирует, но я бы подумайте, что это не сработает, поскольку для вызова write() в общей библиотеке нет реализации. Даже во время выполнения не происходит ни крушения, ни чего-либо. Кажется, что вызов записи пропущен. Может кто-нибудь объяснить - это было бы весьма признателен :-)

Благодарности - И извините за длительный вопрос, это было немного трудно для меня, чтобы объяснить точный вопрос в «одном лайнере» ..

Answer 1

Что происходит, общая библиотека была построена с одной версией класса A, а исполняемый двоичный файл был создан с другой версией. На этом этапе вы нарушили одно правило определения, и компилятор может что-либо сделать, включая компиляцию и привязку кода. В этой ситуации нет необходимости в диагностике компилятора.

Answer 2

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

Reminer - абстрактный тип - это тип, который имеет (прямо или косвенно через наследование) хотя бы одну чистую виртуальную функцию, которая не была переопределена.

Answer 3

Это может скомпилировать или построить, если решение было ранее построено. Это означает, что он использует старый объектный код. Попробуйте сделать чистую сборку своего решения, а затем перестройте его. Как только ваше решение будет очищено. Затем попытайтесь скомпилировать унаследованный класс. Еще одна вещь, которая может вызывать беспокойство, заключается в том, что вы объявили свой унаследованный класс следующим:

класс AImpl: A {...};

Мой вопрос о том, как AImpl унаследован от A? Намерены ли вы public, protected или private наследование?

EDIT

Если вы ссылаетесь на это как библиотеку и текущего решения не показывает компиляции, сборки, ошибки линии связи; это потому, что ваше текущее решение использует старый lib или dll, который уже был построен. Если вы вернетесь в свое библиотечное решение и выполните чистую сборку, он не должен компилироваться, и, следовательно, у вас не будет более новой версии вашей библиотеки для ссылки.