0
class Anything {
private:
    int m_count;
    friend class Temp;
public:
    Anything(int value = 0) : m_count(value) {};
};

class Temp {
private:
    int m_count;
public:
    Temp(int value = 0) : m_count(value) {};
};

Почему я могу сделать дружественным класс, до которого определение ещё не дошло. Как компилятор знает что существует класс Tempна этапе определение класса Anything?

А если сделать так, то это уже работать не будет, тк нужно объявить класс Temp в начале

class Anything {
private:
    int m_count;
    friend void out(const Anything& any, const Temp& temp);
public:
    Anything(int value = 0) : m_count(value) {};
};

class Temp {
private:
    int m_count;
    friend void out(const Anything& any, const Temp& temp);
public:
    Temp(int value = 0) : m_count(value) {};
};
3
  • 2
    Потому что это предварительное объявление (forward declaration).
    – Harry
    9 дек 2022 в 13:41
  • @Harry class Temp;, но оно без этой строки работает в случае с дружественным классом, с функцией работает только с строкой выше
    – Kurr200
    9 дек 2022 в 13:46
  • 1
    friend class Temp; объявляется тип Temp его другом. (вы сообщаете , что директор ваш друг. Я это понимаю, хотя и не знаю что за директор(вы не определили). Так что все нормально, пока не начнется "рассказ" о нем). А вот функция, принимающая аргумент, это уже и есть "рассказ" что это действие с конкретными аргументами. Ну и естественно, что компилятор не зная об аргументах, просит вас определить что это такое. 9 дек 2022 в 14:09

1 ответ 1

1

Смотрите, в первом случае вы говорите

friend class Temp;

т.е. объясняете, что 1. Temp — это класс, и 2. что он друг. Пока что этого достаточно, компилятору не нужно знать внутренности этого класса, его размер и т.п.

Если же вы пишете

friend void out(const Anything& any, const Temp& temp);

то здесь говорится только, что вот такая функция с такими аргументами будет другом. Но что такое Temp? Может, это класс? Или, может, это просто алиас intа? а вдруг это еще какой тип? Ведь ничего не известно, что такое Temp! Вот поэтому в первом случае это работате как forward declaration, а во втором нет, потому что никакого forward declaration здесь нет.

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.