Странное поведение при множественном наследовании QObject Опции

[aljeshishe]

#include <QObject>
class A
{
public:
    A(): a(1){};
    int a;

};

class B :   public A, public QObject
{
public:
    B():A(), b(2){};
    int b;
};
int main(int argc, char* argv[])
{
    void* p = new B;
    A* a = (A*)p;
    int c = a->a;
    return 0;
}

В конце значение с неопределено. Если не наследовать от QObject то все нормально с=1. msvc-2008, qt-4.5.0

[Litkevich Yuriy]

class B : public A, public QObject

порядок наследования неверный, QObject должен быть всегда первым, читай доку

[aljeshishe]

class B : public A, public QObject

порядок наследования неверный, QObject должен быть всегда первым, читай доку

Пробовал и так, результат тот же

[BRE]

Добавь магическую строку:

#include <QObject>
class A
{
public:
    A(): a(1){};
        virtual ~A() {}

    int a;

};

[Litkevich Yuriy]

BRE, ничего не изменилось

Хм, сделал наследование каком к верху, т.е. "А" первый, тогда получаю единичку.

[aljeshishe]

Добавь магическую строку:

#include <QObject>
class A
{
public:
    A(): a(1){};
        virtual ~A() {}

    int a;

};

Спасибо, как я понял дело в полиморфности QObject. Поясните если не трудно для чего нужна полиморфность класса А.

Добавь магическую строку:

#include <QObject>
class A
{
public:
    A(): a(1){};
        virtual ~A() {}

    int a;

};

[BRE]

Спасибо, как я понял дело в полиморфности QObject. Поясните если не трудно для чего нужна полиморфность класса А.

Для того, что-бы компилятор смог правильно вычислить смещение до переменной a.

[aljeshishe]

Спасибо

[BRE]

BRE, ничего не изменилось

Хм, сделал наследование каком к верху, т.е. "А" первый, тогда получаю единичку.

Тут имеет значение порядок наследования.
В первом случае в памяти имеем (объект класса B ):
int a;
<данные QObject>
int b;

Во втором случае:
<данные QObject>
int a;
int b;

Т.е. смещение переменной a будет разным и компилятор не может правильно рассчитать смещение при обычном привидении типа (void* -> A*).
А вот если указатель сначала привести к B*, а потом к A*, то все будет нормально.

[ViGOur]

Для того, что-бы компилятор смог правильно вычислить смещение до переменной a.

Точней будет, что ключевое слово virtual добавляет в класс А таблицу виртуальных методов (vtable), благодаря чему при приведении класса B к классу А смещение считается правильно. А без этого ключевого слова класс А был без этой таблицы.

Если я правильно все понял!

А вот и более точный ответ:

Обычно компилятор создает отдельную vtable для каждого класса. После создания объекта указатель на эту vtable, называемый виртуальный табличный указатель или vpointer, добавляется как скрытый член данного объекта (а зачастую как первый член). Компилятор также генерирует "скрытый" код в конструкторе каждого класса для инициализации vpointer'ов его объектов адресами соответствующей vtable.