6

C++:

    void f(int *ptr)
    {
       *ptr;
    }

    void f(int &ptr)
    {
       ptr;
    }

ASM:

f(int*):
        push    rbp
        mov     rbp, rsp
        mov     QWORD PTR [rbp-8], rdi
        nop
        pop     rbp
        ret
f(int&):
        push    rbp
        mov     rbp, rsp
        mov     QWORD PTR [rbp-8], rdi
        nop
        pop     rbp
        ret

Почему ассемблерной код для ссылки и указателя одинаковый?

2
  • 1
    А почему бы ему не быть одинаковым? Откуда возник такой вопрос? Commented 31 янв. 2019 в 17:12
  • @AnT, имеют разные свойства. Например: ссылка не занимает места в памяти. Хотя в переданную функцию будет(наверное) занимать столько сколько и указатель.
    – 0x123
    Commented 2 февр. 2019 в 17:13

2 ответа 2

8

Потому что суть ссылки, особенно в таком простом случае - та же, что и у указателя. Грубо говоря, ссылка - это указатель, который постоянно разыменовывает сам компилятор за вас.

3
  • 1
    и указывает только на один и тот же обьект... Commented 31 янв. 2019 в 9:51
  • @Harry, это понятно, а как тогда работает механизм ссылок когда она по сути псевдоним объекта(если это "указатель")?
    – 0x123
    Commented 31 янв. 2019 в 9:52
  • Да так и работает - с неявным разыменованием. Компилятор отрабатывает соответствующим образом. Теоретически, может быть, возможны и другие варианты работы ссылок - не как неявных указателей... но такой - пожалуй, проще всего. Или я неверно понял ваш вопрос? тогда уточните, пожалуйста.
    – Harry
    Commented 31 янв. 2019 в 9:56
5

И ссылка и указатель - обеспечиваю програмисту доступ к обьекту используя адрес в памяти. Поэтому при одинаковых попытках обратится к обьекту или его полям - приведут к генерации одинакового кода.

1.Например void f(int *ptr){*ptr;} равнозначно void f(int &ptr){ptr;}

2.void f(int *ptr){ptr;} равнозначно void f(int &ptr){&ptr;}

3.void f(obj*p){p->toStr();}равнозначноvoid f(obj& p){p.toStr();}

Запись разная - а значение - одинаковое. Есть правда некоторые особенности, но они не влияют на то какой код сгенерируется - если суть одинакова - сгенерируется одинаковый код:

  • Указатель может быть пустым - ссылка не может быть пустой.
  • при использовании new delete this более удобны переменные с использованием указателя (по ссылке можно - но гораздо сложнее выражения).
  • через указатель, можно использовать обьект, как массив (void f(int *ptr){ptr[0];}), через ссылку нет.
  • доступ к полям при указателе происходит посредством ->, а к полям ссылки через точку ..
  • от указателя можно перейти к ссылке используя унарный оператор * и от ссылки можно перейти к указателю используя унарный оператор &. (не унарные опрераторы выполняют математические или логические действия).
1
  • через указатель, можно использовать обьект, как массив ... Не согласен с этим выражением. Commented 31 янв. 2019 в 16:25

Ваш ответ

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

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