Кто нибудь использует ссылки, и где ?

@DenAlpetyan · Регистрация: 18.05.2019

Студворк — интернет-сервис помощи студентам

Кто нибудь использует ссылки и где ?

@DenAlpetyan · 26.09.2021, 18:25 **[ТС]**

alexu_007,

Ссылка на машинном уровне работает как указатель, остальное абстракция.

Сообщение от alexu_007

Вопрос - где физически хранится ссылка? И когда создаётся копия ссылки, где физически хранится эта копия?

Внутри функции в которую ссылка была передана как аргумент.

@alexu_007 · 26.09.2021, 18:43

Чет мне так не кажется. Ссылка - это адрес в памяти, который при переводе программы в машинные коды подставляется вместо имени переменной, вместо аргумента функции и т.п. В отличие от переменной и указателя у ссылки нет физической сущности, какого-то специально выделенного места в программе. Соответственно и никаких копий того, чего нет - не создаётся.

@DenAlpetyan · 26.09.2021, 18:54 **[ТС]**

alexu_007,

И как это в железе работает тогда, какой командой процессора ?

@Volga_ · 26.09.2021, 18:55

Сообщение от alexu_007

Соответственно и никаких копий того, чего нет - не создаётся.

Это я старался говорить с всеми выше. Но никто не понял их (кроме вас ?), мой русский (и может быть знание по Си++) очень плохо (пост №8 и №11):

Сообщение от Volga_

по ссылке - без копии внутри функции

Сообщение от Volga_

По ссылке совсем нет копий

@DenAlpetyan · 26.09.2021, 19:06 **[ТС]**

Грубо говоря - там регистры, стек и куча.

Добавлено через 8 минут

Сообщение от alexu_007

Соответственно и никаких копий того, чего нет - не создаётся.

Процессор как то работает с ссылками, как с указателями. Машинные команды разные.

@hoggy · 26.09.2021, 19:15

Сообщение от alexu_007

ссылка - это адрес в памяти переменной A. Или я не прав?

ссылка - псевдоним объекта.

имя ссылки - это просто ещё одно имя одного и того же объекта.
один и тот же объект может иметь множество имён.

например, следующий код:

C++
1
2
int a; a = 10;
int& b = a; b = 20;

эквивалентен:

C++
1
int a; a = 10; a = 20;

Сообщение от alexu_007

где физически хранится ссылка?

язык это никак не регламентирует.

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

@alexu_007 · 26.09.2021, 19:16

Сообщение от DenAlpetyan

И как это в железе работает тогда, какой командой процессора ?

А вот так: адрес "зашит" в саму команду процессора. И происходит это на этапе сборки исполняемого файла. На картинке во второй строчке в регистр bl помещается значение из адреса 0080, соответственно команда процессора имеет вид 8A1E8000. 8000 - это и есть адрес, только сперва идёт младший байт, потом старший.

@alexu_007 · 26.09.2021, 19:17

Сорри, картиночку забыл прилепить:

@DenAlpetyan · 26.09.2021, 19:40 **[ТС]**

Ссылка была придумана как абстракция в программировании. Вы хотите сказать что к переменной функция обращается FAR - NEAR, или FAR - NEAR через регистры. То есть вы хотите сказать что функция работает с переменными по ссылке только через адрес. Но это та же работа что и с указателями.

Создатели процессоров "Во всяком случае потребительского сегмента" создали кэш - L1, L2 , L3. Написание программ с вызовом из функции переменных с дальними указателями, не очень хороший подход в случае FAR расположения переменной. Хотя на уровне процессора можно создать неполноценный указатель. Никто этим заморачиваться не будет, только может в специфических процессорах и задачах.

Добавлено через 2 минуты

Сообщение от alexu_007

А вот так: адрес "зашит" в саму команду процессора.

Ну может, ну так специальная команда процессора.

Добавлено через 1 минуту
Не зашит, а метод кодировки.

Добавлено через 1 минуту
Регистор - память, к примеру.

Добавлено через 1 минуту
Это и есть работа процессора с указателями.

@SmallEvil · 26.09.2021, 20:11

Сообщение от SmallEvil

Ссылка - очень абстрактное понятие в С++. Его семантическое значение более важное, чем его низкоуровневая реализация.

Я же говорил, ваши желания понять как это работает изнутри, низкоуровнево, не поможет вам понять что такое ссылка.
Чтобы помогло, тогда придется копать глубоко в концепции с++, начиная от понятия объекта.
Естественно никто из вас этого делать не будет. hoggy опять пытался вас на это натолкнуть.
Проблема в том что большинство ничего не слушает. И на своей волне.
Главное что автор темы все понял, остальное неважно,

Добавлено через 1 минуту

Сообщение от DenAlpetyan

А вот так: адрес "зашит" в саму команду процессора.

Ничего никуда не зашито!

Добавлено через 1 минуту

Сообщение от DenAlpetyan

Но это та же работа что и с указателями.

да, также как и const и прочее.
Для процессора все равно.
Но язык формирует взаимоотношения функций(кода) и данных.
И поэтому ссылки и указатели - разные вещи.

Добавлено через 3 минуты
Вот очень плохо для новичков когда в темы лезут те кто хотят прогать на асм-е, или машинным кодом.
При таком подходе С++ освоить вам - не судьба.

Добавлено через 1 минуту
Это я про кодеров низкоуровневых. Пока они не поймут разницы между сущим и абстрактным, С++ для них черный ящик.

@alexu_007 · 26.09.2021, 20:37

Сообщение от DenAlpetyan

Вы хотите сказать что к переменной функция

Я хочу сказать, что в исполняемом файле нет специального места для ссылок. И имена переменных, и то, что содержится в ссылках - трансформируется в реальный адрес памяти, с которым нужно работать.

Когда в функцию передаётся ссылка - этот адрес вставляется в код функции, и она с ним работает напрямую. Когда в функцию передаётся указатель - в код функции вставляется адрес, который находится в указателе. Когда в функцию передаётся переменная - компилятор создаёт копию переменной и вставляет в код функции адрес копии.

@SmallEvil · 29.09.2021, 12:40

alexu_007, это как бы очевидно, но никак не поможет понять что такое ссылки, как и где их использовать.
Чем глубже понимание языка (С++), тем более глубокое понимание ссылок нужно.
Ваше понимание их (судя по вашим постам) - минимальное (базовое).

Добавлено через 1 минуту

Сообщение от alexu_007

Когда в функцию передаётся ссылка - этот адрес вставляется в код функции, и она с ним работает напрямую.

не вставляется - передается.

@lemegeton · 29.09.2021, 13:05

По крайней мере gcc 11.2 производит одинаковый код.
Безусловно, это скорее всего оптимизированный вариант.

Со ссылками:

C++
1
2
3
4
5
6
7
8
9
// Type your code here, or load an example.
void f(int &s) {
    s = 0;
}
 
int square(int num) {
    int s;
    f(s);
}

Assembler
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
f(int&):
        push    rbp
        mov     rbp, rsp
        mov     QWORD PTR [rbp-8], rdi
        mov     rax, QWORD PTR [rbp-8]
        mov     DWORD PTR [rax], 0
        nop
        pop     rbp
        ret
square(int):
        push    rbp
        mov     rbp, rsp
        sub     rsp, 24
        mov     DWORD PTR [rbp-20], edi
        lea     rax, [rbp-4]
        mov     rdi, rax
        call    f(int&)
        nop
        leave
        ret

С указателями (с поправкой на вызовы new/delete):

C++
1
2
3
4
5
6
7
8
9
10
11
void f(int *s) {
    *s = 0;
}
 
int square(int num) {
    int *s = new int;
    
    f(s);
 
    delete s;
}

Assembler
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
f(int*):
        push    rbp
        mov     rbp, rsp
        mov     QWORD PTR [rbp-8], rdi
        mov     rax, QWORD PTR [rbp-8]
        mov     DWORD PTR [rax], 0
        nop
        pop     rbp
        ret
square(int):
        push    rbp
        mov     rbp, rsp
        sub     rsp, 32
        mov     DWORD PTR [rbp-20], edi
 
        mov     edi, 4
        call    operator new(unsigned long)
        mov     QWORD PTR [rbp-8], rax
 
        mov     rax, QWORD PTR [rbp-8]
        mov     rdi, rax
        call    f(int*)
 
        mov     rax, QWORD PTR [rbp-8]
        test    rax, rax
        je      .L3
        mov     esi, 4
        mov     rdi, rax
        call    operator delete(void*, unsigned long)
.L3:
        nop
        leave
        ret

Добавлено через 5 минут
Разница, получается, только в вызове.

@alexu_007 · 29.09.2021, 13:11

Сообщение от SmallEvil

не вставляется - передается.

Когда сгенерирован исполняемый код (ехе файл) - туда уже ничего ниоткуда не передаётся. Всё необходимое есть в ехе файле.

Добавлено через 3 минуты

Сообщение от SmallEvil

Ваше понимание их (судя по вашим постам) - минимальное (базовое).

Я и не спорю. Разница между ссылкой и указателем - как между #define Pi 3.1415926 и const double Pi = 3.1415926; Или у ссылок есть какие-то более глубокие функции?

@SmallEvil · 29.09.2021, 13:14

Сообщение от alexu_007

Когда сгенерирован исполняемый код (ехе файл) - туда уже ничего ниоткуда не передаётся. Всё необходимое есть в ехе файле.

функция - код, который исполняется множество раз, и ссылки переданные могут быть разные, так что ничего никуда не зашито!!!!
Хотите тупить дальше - ваше право. И позорится....

Добавлено через 1 минуту

Сообщение от alexu_007

Или у ссылок есть какие-то более глубокие функции?

есть, но их глубина вытекает от способа их применения, сами по себе они просты как тапочки.

@lemegeton · 29.09.2021, 13:29

VS 19 тоже генерит примерно одно и то же.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
// Type your code here, or load an example.
int* pa(int *s) {
    *s = 0;
    return s;
}
 
int* pb(int *s) {
    return pa(s);
}
 
 
int &ra(int &s) {
    s = 0;
    return s;
}
 
int &rb(int &s) {
    return ra(s);
}
 
int main() {
    int *p = new int{7};
    int &r = *p;
    p = pb(p);
    r = rb(r);
}

Assembler
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
        ;ARM64
 
        IMPORT  |void * operator new(unsigned __int64)|                    ; operator new
 
        ;Flags[SingleProEpi] functionLength[32] RegF[0] RegI[0] H[0] frameChainReturn[UnChained] frameSize[16]
        ;Flags[SingleProEpi] functionLength[28] RegF[0] RegI[0] H[0] frameChainReturn[Chained] frameSize[32]
        ;Flags[SingleProEpi] functionLength[32] RegF[0] RegI[0] H[0] frameChainReturn[UnChained] frameSize[16]
        ;Flags[SingleProEpi] functionLength[28] RegF[0] RegI[0] H[0] frameChainReturn[Chained] frameSize[32]
        ;Flags[SingleProEpi] functionLength[124] RegF[0] RegI[0] H[0] frameChainReturn[Chained] frameSize[48]
 
|int * pa(int *)| PROC                                ; pa
|$LN3|
        sub         sp,sp,#0x10
        str         x0,[sp]
        ldr         x9,[sp]
        mov         w8,#0
        str         w8,[x9]
        ldr         x0,[sp]
        add         sp,sp,#0x10
        ret
 
        ENDP  ; |int * pa(int *)|, pa
 
|int * pb(int *)| PROC                                ; pb
|$LN3|
        stp         fp,lr,[sp,#-0x20]!
        mov         fp,sp
        str         x0,[sp,#0x10]
        ldr         x0,[sp,#0x10]
        bl          |int * pa(int *)|
        ldp         fp,lr,[sp],#0x20
        ret
 
        ENDP  ; |int * pb(int *)|, pb
 
|int & ra(int &)| PROC                                ; ra
|$LN3|
        sub         sp,sp,#0x10
        str         x0,[sp]
        ldr         x9,[sp]
        mov         w8,#0
        str         w8,[x9]
        ldr         x0,[sp]
        add         sp,sp,#0x10
        ret
 
        ENDP  ; |int & ra(int &)|, ra
 
|int & rb(int &)| PROC                                ; rb
|$LN3|
        stp         fp,lr,[sp,#-0x20]!
        mov         fp,sp
        str         x0,[sp,#0x10]
        ldr         x0,[sp,#0x10]
        bl          |int & ra(int &)|
        ldp         fp,lr,[sp],#0x20
        ret
 
        ENDP  ; |int & rb(int &)|, rb
 
|main|  PROC
|$LN5|
        stp         fp,lr,[sp,#-0x30]!
        mov         fp,sp
        mov         x0,#4
        bl          |void * operator new(unsigned __int64)|
        str         x0,[sp,#0x10]
        ldr         x8,[sp,#0x10]
        cmp         x8,#0
        beq         |$LN3@main|
        ldr         x9,[sp,#0x10]
        mov         w8,#7
        str         w8,[x9]
        ldr         x8,[sp,#0x10]
        str         x8,[sp,#0x20]
        b           |$LN4@main|
|$LN3@main|
        mov         x8,#0
        str         x8,[sp,#0x20]
|$LN4@main|
        ldr         x8,[sp,#0x20]
        str         x8,[sp,#0x18]
        ldr         x8,[sp,#0x18]
        str         x8,[sp,#0x28]
        ldr         x0,[sp,#0x18]
        bl          |int * pb(int *)|
        str         x0,[sp,#0x18]
        ldr         x0,[sp,#0x28]
        bl          |int & rb(int &)|
        ldr         x9,[sp,#0x28]
        ldr         w8,[x0]
        str         w8,[x9]
        mov         w0,#0
        ldp         fp,lr,[sp],#0x30
        ret
 
        ENDP  ; |main|

Хорошо видно, что при присвоении результата выполнения функции по ссылке добавляются инструкции, корректирующие адрес.

Добавлено через 5 минут
Для х64

Assembler
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
s$ = 8
int * pa(int *) PROC                              ; pa
        mov     QWORD PTR [rsp+8], rcx
        mov     rax, QWORD PTR s$[rsp]
        mov     DWORD PTR [rax], 0
        mov     rax, QWORD PTR s$[rsp]
        ret     0
int * pa(int *) ENDP                              ; pa
 
s$ = 48
int * pb(int *) PROC                              ; pb
$LN3:
        mov     QWORD PTR [rsp+8], rcx
        sub     rsp, 40                             ; 00000028H
        mov     rcx, QWORD PTR s$[rsp]
        call    int * pa(int *)                 ; pa
        add     rsp, 40                             ; 00000028H
        ret     0
int * pb(int *) ENDP                              ; pb
 
s$ = 8
int & ra(int &) PROC                              ; ra
        mov     QWORD PTR [rsp+8], rcx
        mov     rax, QWORD PTR s$[rsp]
        mov     DWORD PTR [rax], 0
        mov     rax, QWORD PTR s$[rsp]
        ret     0
int & ra(int &) ENDP                              ; ra
 
s$ = 48
int & rb(int &) PROC                              ; rb
$LN3:
        mov     QWORD PTR [rsp+8], rcx
        sub     rsp, 40                             ; 00000028H
        mov     rcx, QWORD PTR s$[rsp]
        call    int & ra(int &)                 ; ra
        add     rsp, 40                             ; 00000028H
        ret     0
int & rb(int &) ENDP                              ; rb
 
$T1 = 32
p$ = 40
tv70 = 48
r$ = 56
main    PROC
$LN5:
        sub     rsp, 72                             ; 00000048H
        mov     ecx, 4
        call    void * operator new(unsigned __int64)                      ; operator new
        mov     QWORD PTR $T1[rsp], rax
        cmp     QWORD PTR $T1[rsp], 0
        je      SHORT $LN3@main
        mov     rax, QWORD PTR $T1[rsp]
        mov     DWORD PTR [rax], 7
        mov     rax, QWORD PTR $T1[rsp]
        mov     QWORD PTR tv70[rsp], rax
        jmp     SHORT $LN4@main
$LN3@main:
        mov     QWORD PTR tv70[rsp], 0
$LN4@main:
        mov     rax, QWORD PTR tv70[rsp]
        mov     QWORD PTR p$[rsp], rax
        mov     rax, QWORD PTR p$[rsp]
        mov     QWORD PTR r$[rsp], rax
        mov     rcx, QWORD PTR p$[rsp]
        call    int * pb(int *)                 ; pb
        mov     QWORD PTR p$[rsp], rax
        mov     rcx, QWORD PTR r$[rsp]
        call    int & rb(int &)                 ; rb
 
        mov     rcx, QWORD PTR r$[rsp]
        mov     eax, DWORD PTR [rax]
 
        mov     DWORD PTR [rcx], eax
        xor     eax, eax
        add     rsp, 72                             ; 00000048H
        ret     0
main    ENDP

@Folian · 29.09.2021, 13:42

Кажись сам слэнг всех путает; копия, по-ссылке, по-указателю

ИМХО, на абстрактном уровне удобно думать что, при вызове ф-ии, создаётся отдельный объект из аргумента (ссылка ли, указатель, либо просто) и инициализируется тем что в него впихнули. И ведёт себя это потом совсем как отдельный объект, это видно, в него можно палкой потыкать и имя у него есть.

Что там будет в машинном после оптимизации - тёмный лес.
Даже если знать наверняка - насколько это поможет? - ХЗ, один фиг никуда от этих ссылок/указателей не деться, какой смысл-то?

@alexu_007 · 29.09.2021, 13:45

Сообщение от SmallEvil

функция - код, который исполняется множество раз, и ссылки переданные могут быть разные, так что ничего никуда не зашито!!!!
Хотите тупить дальше - ваше право. И позорится....

Ну да, да, передаётся. Значит на уровне машинных кодов ссылка превращается в указатель, только и всего. В функцию зашит определённый адрес памяти (указатель), из которого она берёт передаваемый (ссылку). Но на уровне исходных текстов думать об этом необязательно. Об этом заботится компилятор.

@lemegeton · 29.09.2021, 19:37

Сообщение от Folian

Кажись сам слэнг всех путает; копия, по-ссылке, по-указателю
ИМХО, на абстрактном уровне удобно думать что, при вызове ф-ии, создаётся отдельный объект из аргумента (ссылка ли, указатель, либо просто) и инициализируется тем что в него впихнули. И ведёт себя это потом совсем как отдельный объект, это видно, в него можно палкой потыкать и имя у него есть.

Машинный код не имеет понятия "переменной". Есть адрес в памяти и содержимое по адресу в памяти. В плюсах семантически есть переменная, ссылка на переменную и указатель на область памяти, что в машинном коде должно превратиться в одинаковый доступ к памяти по адресу.

@Folian · 29.09.2021, 20:10

Сообщение от lemegeton

Машинный код

Дык я и не про машинный там, а совсем наоборот.

Сообщение от lemegeton

Машинный код не имеет понятия "переменной".

Согласен.

Сообщение от lemegeton

должно превратиться в одинаковый доступ

Согласен.

Я как раз и пытался подвести к бессмысленности/наивности рассуждений об машинном коде через абстракцию плюсов (рассуждений через абстракцию, а не подвести через абстракцию).

Новые блоги и статьи Все статьи Все блоги /
Debian 13: Установка Lazarus QT5 ВитГо 09.05.2026 Эта инструкция моя компиляция инструкций volvo https:/ / www. cyberforum. ru/ blogs/ 203668/ 10753. html и его же старой инструкции по установке Lazarus с gtk2. . .	Нейросеть на алгоритме "эстафета хвоста" как перспектива. Hrethgir 06.05.2026 На десерт, когда запущу сервер. Статья тут https:/ / habr. com/ ru/ articles/ 1030914/ . Автор я сам, нейросеть только помогает в вопросах которые мне не известны - не знаю людей которые знали-бы. . .	Асинхронный приём данных из COM-порта Argus19 01.05.2026 Асинхронный приём данных из COM-порта Купил на aliexpress термопринтер QR701. Он оказался странным. Поключил к Arduino Nano. Был очень удивлён. Наотрез отказывается печатать русские буквы. Чтобы. . .	попытка написать игровой сервер на C++ pyirrlicht 29.04.2026 попытка написать игровой сервер на плюсах с открытым бесконечным миром. возможно получится прикрутить интерпретатор питон для кастомизации игровой логики. что есть на текущий момент:. . .
Контроль уникальности выбранного документа-основания при изменении реквизита Maks 28.04.2026 Алгоритм из решения ниже разработан на примере нетипового документа "ЗаявкаНаРемонтСпецтехники", разработанного в КА2. Задача: уведомлять пользователя, если указанная заявка (документ-основание). . .	Благородство как наказание Maks 24.04.2026 У хорошего человека отношения с женщинами всегда складываются трудно. А я человек хороший. Заявляю без тени смущения, потому что гордиться тут нечем. От хорошего человека ждут соответствующего. . .	Валидация и контроль данных табличной части документа перед записью Maks 22.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в КА2. Задача: контроль и валидация данных табличной части документа перед записью с учетом регламента компании. . .	Отчёт о затраченных материалах за определенный период с макетом печатной формы Maks 21.04.2026 Отчёт из решения ниже размещён в конфигурации КА2. Задача: разработка отчёта по затраченным материалам за определённый период, с возможностью вывода печатной формы отчёта с шапкой и подвалом. В. . .

@DenAlpetyan 15 / 15 / 3 Регистрация: 18.05.2019 Сообщений: 851

	Кто нибудь использует ссылки, и где ? 26.09.2021, 13:25. Показов 3543. Ответов 43 Метки нет (Все метки) Кто нибудь использует ссылки и где ? 0

@alexu_007 736 / 702 / 110 Регистрация: 29.05.2015 Сообщений: 4,293
	26.09.2021, 18:43
	Чет мне так не кажется. Ссылка - это адрес в памяти, который при переводе программы в машинные коды подставляется вместо имени переменной, вместо аргумента функции и т.п. В отличие от переменной и указателя у ссылки нет физической сущности, какого-то специально выделенного места в программе. Соответственно и никаких копий того, чего нет - не создаётся. 0

@DenAlpetyan 15 / 15 / 3 Регистрация: 18.05.2019 Сообщений: 851
	26.09.2021, 18:54 [ТС]
	alexu_007, И как это в железе работает тогда, какой командой процессора ? 0

@alexu_007 736 / 702 / 110 Регистрация: 29.05.2015 Сообщений: 4,293
	26.09.2021, 19:17
	Сорри, картиночку забыл прилепить: Миниатюры 0

@Folian Гвоздь Задиров 1719 / 1118 / 337 Регистрация: 25.01.2019 Сообщений: 2,946
	29.09.2021, 13:42
	Кажись сам слэнг всех путает; копия, по-ссылке, по-указателю ИМХО, на абстрактном уровне удобно думать что, при вызове ф-ии, создаётся отдельный объект из аргумента (ссылка ли, указатель, либо просто) и инициализируется тем что в него впихнули. И ведёт себя это потом совсем как отдельный объект, это видно, в него можно палкой потыкать и имя у него есть. Что там будет в машинном после оптимизации - тёмный лес. Даже если знать наверняка - насколько это поможет? - ХЗ, один фиг никуда от этих ссылок/указателей не деться, какой смысл-то? 0