Объявление класса

[trot]

Поясните пожайлуста зачем в некоторых случаях когда в классе А объявляется переменная класса В, то необходимо
перед объявлением класса А писать class B. Например

Код:

class B;

class A{
    A();
    ~A();

    B *b;
}

[Akon]

Опережающее объявление класса. Заголовочный файл этого класса подключается в файл реализации. Данная техника уменьшает зависимости заголовочных файлов, что довольно значительно может уменьшать время компиляции. Повсеместно используется в Qt.

В случаях циклических зависимостей опережающее описание также необходимо.

[blood_shadow]

Поясните пожайлуста зачем в некоторых случаях когда в классе А объявляется переменная класса В, то необходимо
перед объявлением класса А писать class B. Например

попросту говоря компилятор не знает что это за тип "B" и вообще что это такое, если не написать предварительное объявление этого типа

[serg_hd]

Поясните пожайлуста зачем в некоторых случаях когда в классе А объявляется переменная класса В, то необходимо
перед объявлением класса А писать class B. Например

Код:

class B;

class A{
    A();
    ~A();

    B *b;
}

не переменная, а указатель. В случае указателя это работает, т.к. для него не обязательно наличие описания тела объекта на который он будет указывать. А при создании объекта обязательно его описание тела (чтобы компилятор знал сколько памяти под него выделить). Был бы это не указатель, не прокатило бы, т.к. понадобилось бы описание класса B для выделения памяти этому члену класса. А ещё прокатит не только для указателя, но и в случае когда B это тип возвращаемого значения:

Код

C++ (Qt)
class B;
class A{
public:
    A();
    ~A();
    B method();
}
 

[trot]

Получается так, что  подключить заголовочный файл - #include "B.h" не достаточно, что бы найти описание класса, еще необходимо прописать class B. Не понимаю тогда роли конструкции #include.

[Fat-Zer]

это пишется как раз, что бы не подключать хедер B.h в A.h, а включить только в A.cpp

[blood_shadow]

Получается так, что  подключить заголовочный файл - #include "B.h" не достаточно, что бы найти описание класса, еще необходимо прописать class B. Не понимаю тогда роли конструкции #include.

смотри пост Fat-Zer и мой пост выше, там все указано

приведу пример, если у тебя есть заголовочные файлы A.h и B.h и файлы реализаций соответственно A.cpp и B.cpp, при компиляции будет создано две единицы компиляции A.o(A.h + A.cpp) и B.o(B.h + B.cpp), потом компоновщик их свяжет в один исполняемый файл, но так как ты в классе А(в хэдере, не подключая B.h) используешь объявление указателя на переменную класса B, то компилятор не знает на этапе компиляции что такое класс B(он объявлен в другой единицы компиляции) и потому ты должен сказать компилятору что класс B - некий тип данных который будет определен позже

p.s. предварительное объявление как раз и нужно чтоб в A.h не пихать еще и B.h с помощью инклуда(короче говоря предварительное объявление похоже на спецификатор extern). Было бы не плохо если ты б разобрался в компоновке, единицах компиляции и вообще процесу сборки программы

[trot]

В том-то вся и проблема есть "#include B.h" и пока не напишешь class B программа не собирается. Правда для того простого случая что я привел, достаточно того что вы сказали, а когда куча классов и все они переплетаются почему-то надо писать именно два раза.
Для этого случая Akon разъяснил

В случаях циклических зависимостей опережающее описание также необходимо.

Все спасибо.

[SASA]

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

Надо их распутывать. Если появляются циклические зависимости, то это подвод задуматься об архитектуре.

[Fat-Zer]

Надо их распутывать. Если появляются циклические зависимости, то это подвод задуматься об архитектуре.

знаю один(и только один) случай, когда это действительно необходимо... классический пример: узел дерева наследуется от листа, лист  имеет указатель на родителя(на узел), у родителя есть список потомков(в общем случае листьев)...

[SASA]

знаю один(и только один) случай, когда это действительно необходимо... классический пример: узел дерева наследуется от листа, лист  имеет указатель на родителя(на узел), у родителя есть список потомков(в общем случае листьев)...

И то не всегда. Может стоит объявить общий интерфейс для парента и потомков. Например, патерн "Компоновщик".

[Fat-Zer]

И то не всегда. Может стоит объявить общий интерфейс для парента и потомков. Например, патерн "Компоновщик".

его и подразумевал... в нём тоже можно  делать ссылки на родителей. и родитель всегда типа "композит"

[Akon]

Циклические зависимости иногда неизбежны. Рвутся опережающим описанием. Правильно упомянули компоновщик - первым приходит на ум когда слышишь "циклическая зависимость".