Russian Qt Forum

Здравствуйте!

В Qt я новичок, но с C++ знаком. При рассмотрении ряда примеров программ, написанных с использованием библиотек Qt, наткнулся на один не понятный мне момент.

В программе создается класс диалогового окна, который является наследником двух других классов - класса пользовательского интерфейса и класса QDialog. В конструкторе класса-потомка вызываются 2 функции, унаследованные от двух вышеописанных класоов-предков. Одним из параметров первой функции является указатель на объект класса QWidget. Одним из параметров второй функции является указатель на объект класса QObject. При вызове этих функций обоим параметрам присваивается значения указателя this. Мне не ясен этот момент. Указатель this хранит адрес начала области памяти, в которой хранятся поля класса-потомка. В моем понимании, такая область памяти заполнена "слоями" данных классов-предков и класса-потомка. Иерархия такая:

Класс-наследник <- QDialog <- QWidget <- QObject

Поскольку конструктор класса QObject вызывается первым, то перым слоем, на который должен указывать this, являются данные-члены класса QObject.  Не понятно, каким образом, при присвоении указателю,к примеру, на объект QWidget значения указателя this (указателя на класс-наследник), обеспечивается корректный доступ по этому указателю к данным класса QWidget?

Заранее спасибо!

Ух. Два раза прочитал и не понял. :)
Вот тут почитай (http://doc.qt.nokia.com/latest/qobject.html#QObject)

Коротко, вопрос в следующем. Что будет, если указателю на класс-предок присвоить значения указателя на класс-потомок? Такой прием я видел только при использовании виртуальных функций, но здесь другой случай

Тут не имеет значения.

MainWindow::MainWindow (QWidget *parent) : QMainWindow (parent)
{
  QWidget *widget = new QWidget (this);//Теперь MainWindow является родителем widget'а
}

Я понимаю, что делать так можно) Не понимаю только, почему так можно делать.

А что тебя смущает? Все виджеты наследуются от QWidget, он же наследуется от QObject. Я все вопроса не пойму.

Меня бы ничего не смущало, если бы QWidget был в корне.

Знаешь, как работает указатель на ту же структуру?

struct str
{
int a;
int b;
char c;
};

struct str *pstruct = new struct str;

char d = str->c;

Компилятор берет адрес начала структуры, берет ее определение и по нему вычисляет смещение, которое требуется добавить к этому адресу, чтобы попасть на элемент "с". Получаем адрес элемента "с", по которому производится копирование данных в ячейку d в ходе выполнения проги.

Теперь представим, что у нас 3 класса.

class a
{
public:
int a;
int b;
char c;
};

class b : public a
{
public:
int d;
int e;
char f;
}

class c : public b
{
public:
int g;
int h;
char i;
b *point_to_b;
}

Пусть в классе С объявили новый конструктор (я его не написал). В нем берем и присваиваем указателю point_to_b значение this. А потом делаем следующее: g = point_to_b->e;

в моем представлении, компилятор возьмет адрес, хранящийся в this, возьмет описание класса b. Выяснит, какое смещение относительно адреса, хранящегося в this надо взять, чтобы попасть на ячейку e, добавит это смещение к адресу, хранящемуся в this и по полученному результату прочитает значение и запишет его в ячейку g. На сколько я понимаю, в данном случае this будет указывать на поле a первого класса! Таким образом, мы должны записать в ячейку g не значение ячейки e, а значение ячейки b.

Уж не знаю, как еще объяснить...

У тебя мысли совершенно не в ту сторону идут. Нету никаких b *point_to_b;. При передаче в конструктор this, класс просто регистрируется в связях родитель/ребенок. Ничего потом по этому адресу не делается. Просто когда уничтожается родитель, он сначала уничтожает всех своих детей.

Вот очень упрощенное подобие механизма:

C++ (Qt)
class A {
public:
  ~A () {
    foreach (A *a, vector_) {
      delete a;
    }
  }
  void addChild (A *a) {
    vector_.push_back (a);
  }
private:
  QVector <A*> vector_;
}
 
class B : public A {
  B (A *a = 0) {
    if (a) {
      a->addChild (this);
    }
  }
}
 

Просто мы говорим о разных вещах =(
Ладно, почитаю книжки по С++.

Спасибо! ;)

Все, я ответил на свой вопрос) Спасибо за терпение!

правильно


неправильно; дело обстоит так (для удобства a,b,c,d,e,f,g,h,i стали a_, b_ и т.д.):

C++ (Qt)
c cc;
 
a *pa = &cc;
b *pb = &cc;
c *pc = &cc;
 
cc.point_to_b = pb;
 
if (true
    && (void*) pa == (void*) pb
    && (void*) pb == (void*) pc
    && (void*) pc == (void*) pa
    && sizeof (a) == sizeof (pa->a_) + sizeof (pa->b_) + sizeof (pa->c_) + 3 /*hello alignment*/
    && sizeof (a) == 12 /*hello 32 bit x86*/
    && sizeof (b) == sizeof (a) + sizeof (pb->d_) + sizeof (pb->e_) + sizeof (pb->f_) /*a + b members*/
    && sizeof (b) == 24 /*12 + 12*/
    && sizeof (c) == 40 /*24 + 16, extra 4 for point_to_b*/
    && (char *) &pc->a_ - (char *) pa == 0
    && (char *) &pc->b_ - (char *) pa == 4
    && (char *) &pc->c_ - (char *) pa == 8
    && (char *) &pc->d_ - (char *) pa == 12
    && (char *) &pc->e_ - (char *) pa == 16
    && (char *) &pc->f_ - (char *) pa == 20
    && (char *) &pc->g_ - (char *) pa == 24
    && (char *) &pc->h_ - (char *) pa == 28
    && (char *) &pc->i_ - (char *) pa == 32
    && (char *) &pc->point_to_b - (char *) pa == 36
    && (char *) pc->point_to_b - (char *) pa == 0
)
    std::cout << "thank God, C++ is fine..\n";
else
{
    std::cerr << "Alarm! something's wrong with C++!\n";
    exit (1);
}
 
 

Да все понятно что смущает, но просто Вы перемудрили :)  Компилятору прекрасно известно что класс "с" унаследован от "b" а тот от "a". Поэтому адрес g (члена класса "c") будет вычисляться как

&g = (char *) this + offset;

где this - указатель на "a" (базовый класс)
offset - смещение g относительно (начала) базового класса

Др. словами для объектов типов "b" и "c" их this указывают на базовый типа "a"

Как этот паттерн называется?