2

Почему можно ссылаться на объект класса в определении класса?

class MyClass
{
public:
    MyClass& b(MyClass& a)
    {
        return a;
    }
    int a = 1;
};

В этом случае мы еще не до конца определили класс, но уже можем вызвать его метод, который возвращает ссылку на экземпляр класса, почему так?

12
  • 2
    По сути идентичный вопрос: Как ведёт себя компилятор при объявлении классов? 25 дек 2020 в 21:40
  • 1
    Этот вопрос скорее восходит еще к C, когда вы в структуре List можете внутри объявить указатель List* next. Данный вопрос мне не давал покоя очень долгое время и я не находил на них внятных объяснений. Позвольте мне рассуждать на этом же примере. Если вы в объявлении данной структуры напишите void* next а потом просто сделаете приведение к List* в теле программы, то семантически это будет одно и то же, потому что любой указатель это всего лишь 32-битный адрес. А когда вы указываете имя класса или структуры, вы просто указываете как ему рассматривать данный на указываемый участок 25 дек 2020 в 22:11
  • 1
    @n1kzzz можно рассуждать точно так же. Поймите, что класс с точки зрения машины это просто последовательность байт. Вы лишь только специфицируете как рассматривать данный участок памяти, "задавая" ему некоторые рамки, а компилятор вам в этом помогает и не дает вам выйти за допустимые пределы 25 дек 2020 в 22:28
  • 1
    @n1kzzz не стесняйтесь говорить, что именно вас смущает? Поверьте, это не самая простая вещь и то, что вы думаете об этом вопросе - уже очень хорошо. Позвольте мне выразиться колхозным сленгом как принимается компилятором что возвращаемый тип функции это класс -- когда функция возвращает результат, создай в памяти (в стеке) n-байт с некоторым выравниваем (например, класс содержащий char и int будет не 5 байт, а 8 байт из-за выравнивания!). Вы скажете -- но откуда я знаю какое количество байт выделять в памяти, если класс еще до конца не определен? 25 дек 2020 в 23:03
  • 2
    Насчёт методов - они не влияют на размер и тела методов тоже не меняют размер. То, что вы объявляете их в классе - это всего лишь указание компилятору !!! с какими данными функция имеет право работать. Объявление методов в классе как бы сужает применимость этих функций в вашей программе. Если я не ошибаюсь, то адреса всех функций содержатся в некоторой общей таблице функций, в том числе там оказываются методы класса. А то - можно ли ими пользоваться или нет определяется синтаксическим анализом. Как итог - во время исполнения с т.з. программы, методы это те же самые обычные функции 26 дек 2020 в 9:58

0

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