[Alan85]

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

может я чтото уже подзабыл из классов си++ но член класса объявленый виртуальным не может иметь реализацию тут же.
и объявление класса должно быть начинатся с class <name> . Почитать можно в любой более менее нормальной книге по Си++ . Ну а про классы в своей библиотеке нашел "Павловская Т. C++ Объектно-ориентировочное программирование. Практикум"

[pva]

не может иметь реализацию тут же »

Почему нет? классический пример из книги страуструпа:

Код:

class shape_t
{
public:
   virtual ~shape_t() {}
}

Методы, реализованные в описании раскрываются inline когда могут (если не могут, то не inline)

должно быть начинатся с class <name> »

struct - это тоже класс (любой тип данных есть класс для C++)

Павловская Т. C++ Объектно-ориентировочное программирование. Практикум »

Есть ссылка на "скачать в интернете"?

[Alan85]

struct »

не есть истинный класс - в нем нет такой фишки как private.
Где скачать не знаю, я двд с книгами заказал - куча чего полезного и интересного.

[pva]

фишки как private. »

не верю:

Код:

struct A
{
private:
   int _priv_data;
};

вполне собирается любым компилятором C++. Ссылку на книжку не пока могу дать
Более того, даже int есть класс, а у него даже и методов то нет...

[Alan85]

да, извини, согласен - давно классами в сях не баловался. А верхний пример будет откомпилирован и выведет A::foo(), B::foo() если немного подправить синтаксис (точки с запетой между реализациями). Только хоть используй virtual тут хоть нет - результат тот же.

Код:

#include <iostream>
using namespace std;
class A
{
  public:
  void foo() {cout << "A::foo()\n";}
}    ;
class  C
{
 public:
  C(A& a) {a.foo();}
}   ;

class B : A, C
{
 public:
  B() : A(), C(*this){/**/}
  void foo() {cout << "B::foo()\n";}
}  ;
main()
{
  B b;
  b.foo();
  cin.get();
}

[Alan85]

Код:

#include <iostream>
using namespace std;
class A
{
  public:
  virtual void foo() {cout << "A::foo()\n";}
}    ;
class  C
{
 public:
  C(A& a) {a.foo();}
}   ;

class B : public A
{
 public:
  void foo() {cout << "B::foo()\n";}
}  ;
main()
{
  B* b=new B();
  A *a=b;
  a->foo();
  b->foo();
  cin.get();
}

а тут слово virtual имеет значение. Тут типичный случай полиморфизма - объект A подменяет свои виртуальные функции функциями из объекта B.

[pva]

Только хоть используй virtual тут хоть нет - результат тот же. »

вот пример когда есть отличия:

Код:

#include <iostream>
using namespace std;
class A
{
  public:
  void foo() {cout << "A::foo()\n";}
  // функция test_foo не знает, какой именно класс передан аргументом.
  // она просто получила некоторый интерфейс, одинаковый для всех наследников 
  friend test_foo(A& a) {a.foo();} 
}    ;
class  C
{
 public:
  C(A& a) {a.foo();}
}   ;

class B : A, C
{
 public:
  B() : A(), C(*this){/**/}
  void foo() {cout << "B::foo()\n";}
}  ;
main()
{
  A a;
  B b;
  test_foo(a); // вызов одной функции с разными реализациями foo()
  test_foo(b);
  cin.get();
}

Внимание вопрос! в классе B функция foo вызывается 2 раза. Каждый раз результаты разные.

a->foo(); b->foo(); »

Испльзования класса хранилища (auto или в свободной памяти) не влияет на правила полиморфизма и построения классов, поэтому через operator new() и указатели не было смысла переделывать

A подменяет свои виртуальные функции »

Это то понятно, это на случай, когда оно всё гладко. А вот рассмотрим случай использования недостроенного класса. Рассмотрим конструктор класса (пример сделан специально, чтобы достигнуть нужного эффекта)

Код:

struct B : A, C
{
  // порядок вызова:
  // 1. A::A() 
  // 2 С::C(A&)   - подкласс A уже построен, но B:A,C ещё нет
  // 3 тело B::B()
  B() : A(), C(*this)
  {
  }

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

Верно ли, что по правилам C++ в случае использования недостроенного класса с виртуальными функциями будут использоваться реализации уже достроенных подклассов либо, в случае использования чистых виртуальных функций, выводится сообщение об ошибке на усмотрение компилятора (например обращение по адресу 0x00000000)
~либо~
Верно ли что использовать недостроенные классы категорически нельзя, реализация поведения остаётся на усмотрение компилятора.
Я ни того, ни другого утверждения ещё не встречал

[Alan85]

в случае использования недостроенного класса »

наверно ты имеешь ввиду абстрактный класс.

Код:

 class A  //абстрактный
{
  public:
  virtual void foo()=0;
}    ;

То тогда вылетит со свистом так как в в конструкторе C(A& a) {a.foo();} передается B которое еще не создано (после C будет ) что значит B::foot() еще неизвестно (не построена таблица виртуальных функций).
Но стоит только заменить класс A обратно с реализацией функции (она сразу вносится в таблицу виртуальных функций) все отлично - C(A& a) {a.foo();} хоть и принимает B но в таблице не найдя для нее реализации B::foo() передает выше - A::foo().
Я не утверждаю что это истина и верно на всех компиляторах хотя логически должно.

[pva]

наверно ты имеешь ввиду абстрактный класс. »

Я имел ввиду именно НЕДОСТРОЕННЫЙ класс С РЕЛИЗАЦИЕЙ (когда непонятно, как должна себя вести софтина)