[Alan85]

Тогда я чтото не пойму :

Код:

struct A
{
  virtual void foo() {cout << "A::foo()\n";}
}

struct C
{
  C(A& a) {a.foo();}
}

struct B : A, C
{
  B() : A(), C(*this)
  {
  }

  void foo() {cout << "B::foo()\n";}
}

По каким критериям он не достроен и одновременно с реализацией. По-моему вполне достроен и реализован.

[pva]

В конструктор C передаётся часть недостроенного класса B с собственной реализацией виртуальных функций (*this)

[Alan85]

В конструкторе передается не сам не достроенный объект а его указатель типа B. В самое классе C он преобразуется в класс A (он же подкласс его) что дает a.foo() корректно. Вот вопрос что будет если сделать так C(B& b) {b.foo();} - надо будет дома проверить

[pva]

если сделать так C(B& b) {b.foo();} »

С этим как раз понятно, в лучшем случае слетит ибо используем неинициализированную память с мусором.

(он же подкласс его) что дает a.foo() корректно »

a.foo() - виртуальным метод, имеющий реализации A::foo() и B::foo(). Например:

Код:

struct A
{
  virtual void foo() {cout << "A::foo()\n";}
};

struct C
{
  C(A& a) {test(a);}

  void test(A& a) 
  {
     clog << "C::test with &a=" << &a << ", this=" << this << "\n";
     a.foo();
  }
};

struct B : A, C
{
  B() : A(), C(*this)
  {
     test(*this);
  }

  void foo() {cout << "B::foo()\n";}
};

С одними и теми же исходными данными получаем разный результат. Потому что первый раз вызов C::test произойдёт когда формально B ещё не достроен

Код:

C::test with &a=1245060, this=1245064
A::foo()
C::test with &a=1245060, this=1245064
B::foo()

Это особенность компилятора или стандарт с++ такой?