Переопределение функции C++

В BaseA дочерний класс не компиляция, чистая виртуальная функция не определено

Это верно, только если вы пытаетесь создать объект BaseA. Если вы создаете объект Child, а затем можете вызвать foo (), используя BaseA * или Child *

С BaseB функция в дочернем вызывается при вызове foo на BaseB * или Child *.

Зависит от типа объекта, поскольку объект может быть BaseB или Child. Если объект - BaseB, то вызывается BaseB :: foo.

Благодаря BaseC функция ребенка вызывается при вызове foo для Child * но не на BaseB * (функция в вызывается родительский класс).

Да, но вы никогда не захотите этого делать.

Важное правило, о котором следует помнить, - как только функция объявляется виртуальной, функции с сопоставлением подписи в производных классах всегда виртуальны. Таким образом, она переопределяется для Child of A и Child of B, которые будут вести себя идентично (за исключением того, что вы не можете напрямую создать экземпляр BaseA).

Однако в C функция не переопределяется, а перегружается. В этой ситуации имеет значение только статический тип: он будет вызывать его на указателе (статический тип), а не на том, чем на самом деле является объект (динамический тип)

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

Это в основном зависит от того, как вы его назвали.

если вы это сделали:

class Child : public BaseA
{
public:
    int foo() { return 42; }
};

и сделали

BaseA baseA = new Child();
baseA->foo();

Это вызвало бы функцию foo Child.

Однако, если вы сделали следующее:

BaseA baseA = new BaseA();

Это приведет к ошибке времени компиляции.

Дочерний класс будет компилироваться, если он унаследован от A, вы просто не можете создавать экземпляры объектов этого типа.

Это может быть полезно, если вы собираетесь переопределить некоторые функции из Base, а затем снова получить их.