Проблема с созданием двумерного массива из объектов производных классов

[profi]

Vang у Carbon код правильный. Кстати, вызывать виртуальные методы в конструкторе безсмысленно и не верно.

P.S. Свой пример я еще вчера подправил.

[Vang]

profi А я и не говорил, что у него код неправильный. Я говорю про то, что если попытать достучаться до элемента данных, то программа вылетает с ошибкой.

Кстати, вызывать виртуальные методы в конструкторе безсмысленно и не верно.

Хорошо, это моя первая программа где используется наследование, я всех тонкостей еще не знаю, и я тоже читал комментарий Carbon'а.

[Syuf]

Если еще немного упростить программу, то получится:

#include <iostream>
using namespace std;

class A 
{
	public:	
		virtual ~A(void) {}
		virtual char getInput() = 0;
};

class B : public A
{
	public:
		B() { b='b'; }
		virtual char getInput() { return b; }
		char b;
};

int main()
{
	A* objMy;

	objMy = new B[3];

	cout<<objMy[0].getInput()<<"   "<<objMy[1].getInput()<<"   "<<objMy[2].getInput()<<endl;

	delete [] objMy;
	cin.get();
	return 0;
}

Но это также вылетает с той же ошибкой. Чтобы исправить, надо сделать:

#include <iostream>
using namespace std;

class A 
{
	public:	
		virtual ~A(void) {}
		virtual char getInput() = 0;
protected:
	char b;
};

class B : public A
{
	public:
		B() { b='b'; }
		virtual char getInput() { return b; }
};

int main()
{
	A* objMy;

	objMy = new B[3];

	cout<<objMy[0].getInput()<<"   "<<objMy[1].getInput()<<"   "<<objMy[2].getInput()<<endl;

	delete [] objMy;
	cin.get();
	return 0;
}

Смотрите, что получается: вы выделяете динамически память для массива элементов типа B с указателя типа 'указатель на A', то есть на прямой базовый класс. Это можно сделать, но теперь эти объекты будут обладать функциональностью базового класса, то есть класса A, но в нем не существует данного-члена 'char b', к которому вы обращаетесь посредством виртуальной функции. Поэтому вы получаете ошибку.
Действительно: если распечатать адреса объектов из первого примера, то получится, что они отличаются на 4 байта, сколько бы вы не добавляли данных-членов в класс B.

[still_alive]

Vang, profi, у вас двоих будет падать вот тут: B(){setInput();} потому что объект класса B ещё не создан, поэтому вызывается A::setInput()

Не будет тут падать. Хоть объект класса B еще и не создан, VPTR уже указывает на нужную таблицу виртуальных функций.

Вызов метода setInput(); будет осуществлен через таблицу виртуальных функций, а так как объект B() создан еще не до конца, в таблице ничего не будет.

VTBL заполняется для каждого класса на этапе компиляции. VPTR инициализируется после вызова конструкторов базовых классов, но до списка инициализации, поэтому все будет нормально.

Кстати, вызывать виртуальные методы в конструкторе безсмысленно и не верно.

Вызов виртуальных методов в конструкторе тождественен вызову обычных. Никакого криминала нет.

// тут мы создаем массив указателей на A(!)
    A** objMy = new A*[3];

    for(int i = 0; i < 3; i++) {
        // а на деле каждый указатель - массив из B(!)
        objMy[i] = new B[3];
        for(int j = 0; j < 3; j++)
            // тут КОСЯК!!!
            // адресную арифметику применять нельзя!
            // Addr(objMy[i][j]) = Addr(objMy) + (i*3+j)*sizeof(A!!!хотя у нас там B);
            // sizeof(B) > sizeof(A)
            // поэтому при i=0 и j=0 итерации все работает нормально, в другом
            // случае мы утыкаемся непонятно куда (а в данном случае на b_ при i=0,j=1),
            // откуда берем неправильный this
            // и вызываем не нужную виртуальную функцию, а не пойми что, что приводит к краху
            cout << objMy[i][j].getInput();

[profi]

Цитата:
Вызов метода setInput(); будет осуществлен через таблицу виртуальных функций, а так как объект B() создан еще не до конца, в таблице ничего не будет.
VTBL заполняется для каждого класса на этапе компиляции. VPTR инициализируется после вызова конструкторов производных классов, но до списка инициализации, поэтому все будет нормально.

Ответ конечно интересный. Читал в разных статьях совсем иное про конструкторы и вызовы виртуальных методов в них.

[still_alive]

2profi
Сорри, опечатался. Там конечно не производных, а базовых.

http://www.devdoc.ru/index.php/conte...w/cpp_init.htm
http://www.devdoc.ru/index.php/conte...rtual_base.htm