Указатели и ссылки

@EvilingDark · Регистрация: 15.05.2012

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

а если написать return this тогда что вернется? и как определить?

Комментарий модератора

П.5.18.Правил
Запрещено размещать задания и решения в виде картинок и других файлов с их текстом.
Перепечатайте!

@hoggy · 24.11.2019, 14:23

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

Но ничто не запрещает с помощью оператора получения адреса получить из ссылки адрес переменной.

ну и нафига ты мне это написал?

Croessmah · 24.11.2019, 14:24

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

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

Это можно было сделось без asm-вставок. Например:

C++
1
2
3
4
5
6
7
8
9
10
#include <stdio.h>
#include <stdint.h>
 
int main (int argc, char *argv[], char *envp[]) {
    uint32_t data1 = 10, data2 = 20, &reference = data1, **pointer;
    pointer = (uint32_t**)((char*)&pointer + 16);
    //asm("lea -16(%%rbp),%0" : "=r"(pointer));
    *pointer = &data2;
    printf("%d", reference);
}

https://wandbox.org/permlink/qLHN73alzopfS0kb

Всё это неопределенное поведение и обсуждению не подлежит.

@hoggy · 24.11.2019, 14:28

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

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

это в деццком садике так говорят: "а у меня работает".

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

@Mightsoul · 24.11.2019, 14:33

я прислал ссылку на онлайн-компилятор, там всё работает, у тебя какие-то проблемы? при всём своём желании, особого смысла применять подобное - просто нет, лишь ради спора, не более того.

Croessmah · 24.11.2019, 14:33

Не по теме:

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

из-за которого софт покрашался на машине пользователя.

Это юзвер виноват. Пусть железяку меняет. )))

@Mightsoul · 24.11.2019, 14:38

Croessmah, очевидно, конечно, но я, не спавший около 28-и часов об этом не подумал.

Croessmah · 24.11.2019, 14:43

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

не спавший около 28-и часов

В OllyDbg потерялся? Бывает.

@Mightsoul · 24.11.2019, 14:50

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

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

Не по теме:

мне очень понравилось спорить с вами.

@TRam_ · 24.11.2019, 15:55

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

ну и нафига ты мне это написал?

Ну например мне потребовался указатель на поле переменной, на которое ранее была создана ссылка. Мне можно использовать "взятие адреса" (без UB) для такой ссылки, или надо переписывать всё полное имя этого поля для исходной переменной?

@hoggy · 24.11.2019, 16:10

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

например мне потребовался указатель на поле переменной

не путай "указатель на поле", сиречь, указатель на данные-члены.
и просто указатель на данные.

это - принципиально различный вещи.

указатель на данные-члены имеет вид:

C++
1
type class_t::*

https://rextester.com/LNINE6906

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
27
28
29
#include <iostream>
 
struct some
{
    int a = 10;
    int b = 20;
};
 
int main()
{
    some obj;
    std::cout << "a = " << obj.a << '\n';
    std::cout << "b = " << obj.b << '\n';
    std::cout << '\n';
    
    int some::*member = &some::a;
    (obj.*member) = 55;
    
    std::cout << "a = " << obj.a << '\n';
    std::cout << "b = " << obj.b << '\n';
    std::cout << '\n';
 
    member = &some::b;
    (obj.*member) = 77;
    
    std::cout << "a = " << obj.a << '\n';
    std::cout << "b = " << obj.b << '\n';
    std::cout << '\n';
}

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

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

Мне можно использовать "взятие адреса" (без UB) для такой ссылки

можно.

с ссылкой можно делать всё тоже самое,
что можно делать с оригинальным объектом.

более того, все действия над ссылкой,
это на самом деле действия над оригинальным объектом.

ссылка - просто другое имя одно и того же объекта.

@stzer · 04.12.2019, 14:06

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

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

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
struct composite_t // non pod
{
    /*
    ...
    */
};
 
void handle(const composite_t &c)
{
    /*
    ...
    */
}

То объект в handle передается как?
Напрямую со стека?
Передается участок памяти?
Но без указателя?

В какой литературе подробно освещается данный момент?

@hoggy · 04.12.2019, 14:37

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

То объект в handle передается как?

если вкратце: unspecified behavior

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

В какой литературе подробно освещается данный момент?

любители русского языка гуглят: Зуев Е.А., Чупринов А.А. (перевод) Стандарт С++

если не брезгуешь английским:
http://www.open-std.org/jtc1/s... /n4659.pdf

удобная навигация по собранию различного творчества:
https://stackoverflow.com/ques... -documents

@rat0r · 04.12.2019, 15:15

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

для new placement в стандарте есть особые пункты.
которые гласят: если класс содержит ссылочные (&) или неизменяемые (const) поля,
то применение new placement в отношении объектов таких классов - есть UB.

Не UB начиная с C++17.

@hoggy · 04.12.2019, 16:32

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

Не UB начиная с C++17.

это касается только union,
или начиная с с++17 стандарт офф. разрешил модифицировать любые константы?

@rat0r · 04.12.2019, 16:41

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

это касается только union,
или начиная с с++17 стандарт офф. разрешил модифицировать любые константы?

Касается не только union и любые не разрешал.

@DrOffset · 04.12.2019, 19:32

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

То объект в handle передается как?
Напрямую со стека?
Передается участок памяти?
Но без указателя?

У вас вопрос в контексте реализации или в контексте языка?
Если речь про язык, то он не оперирует такими понятиями как "стек" (несколько раз встречающийся термин "раскрутка стека" не в счет).
Если речь о реализации, то можно посмотреть сюда: https://itanium-cxx-abi.github... ormal-call

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

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

То объект в handle передается как?

Если это функция с внешним связыванием, то ссылка будет передаваться согласно ABI данной платформы. Для вышеприведенной реализации - это будет указатель. Если функция с внутренним связыванием, то могут быть варианты. Например настоящего вызова может и не быть, вместо этого будет jump. Соответственно не будет никакой передачи через стек\регистры параметров, а значит не нужен будет и указатель на объект для обращения к нему. Вполне можно будет вместо ссылки подставить обращение непосредственно к памяти объекта везде, где это нужно, без лишней косвенности.

Новые блоги и статьи Все статьи Все блоги /
GitHub Copilot в JetBrains: модель по умолчанию, Fix и контроль MCP and_y87 12.10.2026 10 октября 2026 года GitHub обновил Copilot для JetBrains: добавил настройки стартовой модели, исправления из диагностики и управление автозапуском MCP. Поддержка IDE 2025. 1 прекращена — требуется. . .	GitHub Copilot в JetBrains: модель по умолчанию, Fix и контроль MCP and_y87 12.10.2026 10 октября 2026 года GitHub обновил Copilot для JetBrains: добавил настройки стартовой модели, исправления из диагностики и управление автозапуском MCP. Поддержка IDE 2025. 1 прекращена — требуется. . .	День 5 из 28: Codex подсказывает следующий запрос and_y87 12.10.2026 9 октября 2026 года OpenAI запустила бету Composer predictions — подсказок следующего сообщения в текущем диалоге Codex. Это помощь с формулировкой запроса, а не автоматическое продолжение задачи. . . .	Запустил конкурс "тем и промптов для текстовых квестов созданных почти чисто ИИ" Adler 06.10.2026 Всем привет! За последние три-четыре дня я создал более 16 текстовых квестовых игр используя преимущественно по одному запросу к ИИ на игру. Мне так понравилось смотреть все ветки/ сцены во всех. . .
ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .	Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .	Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .

@Mightsoul El. Psy. Congroo. 110 / 92 / 32 Регистрация: 09.01.2018 Сообщений: 344
	24.11.2019, 14:33
	я прислал ссылку на онлайн-компилятор, там всё работает, у тебя какие-то проблемы? при всём своём желании, особого смысла применять подобное - просто нет, лишь ради спора, не более того. 0

@Mightsoul El. Psy. Congroo. 110 / 92 / 32 Регистрация: 09.01.2018 Сообщений: 344
	24.11.2019, 14:38
	Croessmah, очевидно, конечно, но я, не спавший около 28-и часов об этом не подумал. 0

@Mightsoul El. Psy. Congroo. 110 / 92 / 32 Регистрация: 09.01.2018 Сообщений: 344
	24.11.2019, 14:50
	во-первых, я не терялся, во-вторых, у меня другие отладчики. Добавлено через 1 минуту Не по теме: мне очень понравилось спорить с вами. 0