Что такое форвардные объявления В C++?

почему forward-declare необходимо в C++

компилятор хочет убедиться, что вы не допустили орфографических ошибок или не передали неверное количество аргументов функции. Таким образом, он настаивает на том, что он сначала видит объявление " add " (или любые другие типы, классы или функции) перед его использованием.

это действительно просто позволяет компилятору лучше выполнять проверку кода и позволяет ему убирать свободные концы, чтобы он мог создавать аккуратный объект файл. Если бы вам не нужно было пересылать объявления, компилятор создал бы объектный файл, который должен был бы содержать информацию обо всех возможных догадках относительно того, что может быть функцией "add". И компоновщик должен был бы содержать очень умную логику, чтобы попытаться выяснить, какое "добавить" вы на самом деле намеревались вызвать, когда функция "Добавить" может жить в другом объектном файле, который компоновщик объединяет с тем, который использует add для создания dll или exe. Вполне возможно, что компоновщик может получить неправильно добавляют. Скажем, вы хотели использовать int add(int a, float b), но случайно забыли его написать, но компоновщик нашел уже существующий int add(int a, int b) и подумал, что это правильный и использовал его вместо этого. Ваш код будет компилироваться, но не будет делать то, что вы ожидали.

Итак, просто чтобы сохранить вещи явными и избежать угадывания и т. д., компилятор настаивает, чтобы вы объявили все, прежде чем он будет использоваться.

разница между объявлением и определение

кроме того, важно знать разницу между объявлением и определением. Объявление просто дает достаточно кода, чтобы показать, как что-то выглядит, поэтому для функции это тип возврата, соглашение о вызове, имя метода, Аргументы и их типы. Но код для метода не требуется. Для определения вам нужно объявление, а затем и код для функции тоже.

как вперед-объявления могут значительно сократить время сборки

Вы можете получить объявление функции в текущий .cpp или .файл H с #, в том числе выставление заголовка, который содержит объявление функции. Однако это может замедлить компиляцию, особенно если вы #включаете заголовок в a .ч вместо .cpp вашей программы, как и все, что #включает в себя .h вы пишете в конечном итоге #include'ING все заголовки, которые вы написали #includes Для тоже. Внезапно компилятор имеет #включенные страницы и страницы кода, которые он должен компилировать, даже если вы хотите использовать только одну или две функции. Чтобы избежать этого, вы можете использовать прямое объявление и просто ввести объявление функции самостоятельно в верхней части файла. Если вы используете только несколько функций, это действительно может сделать ваши компиляции быстрее, чем всегда #включая заголовок. Для действительно больших проектов разница может составлять час или более времени компиляции, купленного до нескольких минут.

перерыв циклические ссылки, где два определения используют друг друга

кроме того, прямые объявления могут помочь вам прервать циклы. Здесь две функции пытаются использовать друг друга. Когда это происходит (и это совершенно правильно), вы можете #включить один файл заголовка, но этот файл заголовка пытается #включить файл заголовка, который вы сейчас пишете.... который затем #включает в себя другой заголовок, который #включает в себя тот, который вы пишете. Ты застрял в курице и яйце ситуация с каждого заголовочного файла, пытаюсь заново включать другое. Чтобы решить эту проблему, вы можете переслать объявление необходимых частей в один из файлов и оставить #include из этого файла.

например:

Файл Car.h

#include "Wheel.h"  // Include Wheel's definition so it can be used in Car.
#include <vector>

class Car
{
    std::vector<Wheel> wheels;
};

Файл Колесо.h

Мда... декларация автомобиля требуется здесь, так как колесо имеет указатель на автомобиль, но автомобиль.h не может быть включен здесь, поскольку это приведет к ошибке компилятора. Если Автомобиль.H был включен, что бы потом попытаться включить колесо.h который будет включать автомобиль.h который будет включать колесо.ч и это будет продолжаться вечно, поэтому компилятор выдает ошибку. Решение состоит в том, чтобы переслать объявить автомобиль вместо этого:

class Car;     // forward declaration

class Wheel
{
    Car* car;
};

Если класс Wheel имеет методы, которые должны вызывать методы car, эти методы могут быть определены в Wheel.cpp и колеса.cpp теперь может включать автомобиль.h не вызывая цикла.