Форум программистов, компьютерный форум, киберфорум
C++
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.86/7: Рейтинг темы: голосов - 7, средняя оценка - 4.86
13 / 13 / 24
Регистрация: 06.03.2016
Сообщений: 61

Объясните смысл применения reference_wrapper с потоками

29.07.2023, 07:02. Показов 1526. Ответов 4
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Когда требуется запустить в потоке функцию с параметрами, применяется такая запись

C++
1
2
3
4
5
void doWork(int value);
 
 
int someValue;
thread th(doWork, somevalue);

Но когда нужно вернуть значение из потока, используется тип-обёртка эмулятор ссылок reference_wrapper в качестве аргумента функции:

C++
1
2
3
4
5
void doWork(int &value);
 
 
int someValue;
thread th(doWork, ref(someValue)); // ref() возвращает обертку для someValue
Так вот, вопрос: почему нужно использовать какую-то обёртку, но нельзя передавать значение просто по ссылке?

Если погуглить этот вопрос, то обычно пишут, что ссылка может уйти из области видимости вызывающей функции раньше, чем отработает поток, а значит её значение будет не определено - ОК, но..

Тип reference_wrapper по сути представляет из себя указатель на переданный функции ref объект. Вот его примерная реализация в STL:
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
30
31
32
33
34
35
36
37
38
39
40
41
template<typename _Tp>
class reference_wrapper
{
    _Tp* _M_data; // Указатель на объект типа _Tp
 
public:
    typedef _Tp type;
 
    // Конструктор из ссылки на объект типа _Tp
    reference_wrapper(_Tp& __indata)
       : _M_data(std::addressof(__indata))
       { }
 
    // Копирующий конструктор
    reference_wrapper(const reference_wrapper<_Tp>& __inref):
       _M_data(__inref._M_data)
       { }
 
    // Оператор присваения
    reference_wrapper&
    operator=(const reference_wrapper<_Tp>& __inref)
    {
        _M_data = __inref._M_data;
        return *this;
    }
 
    // Оператор приведения типа к _Tp&
    operator _Tp&() const
    { 
        return this->get(); 
    }
 
    // Вспомогательный метод: возвращает ссылку на "обёрнутый" объект
    _Tp& get() const
    { 
        return *_M_data; 
    }
    
    // Несколько интересных мест было опущено, чтобы сохранить суть.
    // Обязательно посмотрите полную реализацию.
};
Мне кажется ему присуща такая же проблема, что и ссылке: объект на который он указывает по идее может быть удален при выходе из вызывающей функции после выхода из области видимости.

Так в чем смысл?
0
Лучшие ответы (1)
IT_Exp
Эксперт
34794 / 4073 / 2104
Регистрация: 17.06.2006
Сообщений: 32,602
Блог
29.07.2023, 07:02
Ответы с готовыми решениями:

Public, Private, Protected (смысл применения)
Прошу Вас пояснить реальный смысл ключевых слов, перечисленных в теме. С уважением

Объясните смысл выражения
#include&lt;iostream.h&gt; #include&lt;conio.h&gt; void main(void) { clrscr(); cout&lt;&lt;17%3 ; getch(); clrscr(); }

Объясните смысл оператора >>=
n&gt;&gt;=1; и n&lt;&lt;=1; Я так понял, что что-то связанное с делением, но даже попрактиковавшись так до конца и не понял. Как ОНО...

4
фрилансер
 Аватар для Алексей1153
6449 / 5648 / 1129
Регистрация: 11.10.2019
Сообщений: 15,037
29.07.2023, 08:22
k1n3c7, без такой обёртки внутрь лямбды будет передана копия объекта, даже если в аргументе лямбды ссылка. Такая особенность внутреннего устройства std::thread.
Если же передать std::reference_wrapper , то будет передана копия объекта std::reference_wrapper , который далее приведётся к ссылке, которая и будет передана в аргумент
0
13 / 13 / 24
Регистрация: 06.03.2016
Сообщений: 61
29.07.2023, 09:42  [ТС]
Цитата Сообщение от Алексей1153 Посмотреть сообщение
k1n3c7, без такой обёртки внутрь лямбды будет передана копия объекта, даже если в аргументе лямбды ссылка. Такая особенность внутреннего устройства std::thread.
Если же передать std::reference_wrapper , то будет передана копия объекта std::reference_wrapper , который далее приведётся к ссылке, которая и будет передана в аргумент
Ну, я понимаю. Вопрос в том, почему используется именно такая нессылочная реализация thread? Почему не сделать передачу по ссылке, без использования класса обертки reference_wrapper?
0
фрилансер
 Аватар для Алексей1153
6449 / 5648 / 1129
Регистрация: 11.10.2019
Сообщений: 15,037
29.07.2023, 10:05
k1n3c7, точно не знаю

видимо, так сделали, потому что чаще всего передача по значению. А передача по ссылке обычно требует повышенной внимательности
1
19491 / 10097 / 2460
Регистрация: 30.01.2014
Сообщений: 17,805
29.07.2023, 10:13
Лучший ответ Сообщение было отмечено k1n3c7 как решение

Решение

Цитата Сообщение от k1n3c7 Посмотреть сообщение
Почему не сделать передачу по ссылке,
Можно, но тогда пришлось бы делать обертку для передачи по значению
Но тут надо понять что безопаснее и чаще используется.
Т.е. передача по ссылке явным образом говорит о намерениях программиста и его понимании того, что он должен проконтролировать время жизни объекта по ссылке, чтобы исключить потенциальное появление висячей ссылки. А передача по значнию никакого дополнительного контроля не требует. Поэтому она выбрана как поведение по умолчанию.
2
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
BasicMan
Эксперт
29316 / 5623 / 2384
Регистрация: 17.02.2009
Сообщений: 30,364
Блог
29.07.2023, 10:13
Помогаю со студенческими работами здесь

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

Объясните смысл задания?
кто ни будь может объяснить что значит выполнены? с небольшим примером может. вот насчет &quot;могут быть вложенны&quot; не ясно так же

Объясните смысл фразы
Доброй ночи! Вот фраза: &quot;СУООБД обычно привязана к отдельному языку с помощью отдельного АПИ и данные доступны только через этот АПИ....

ОбЪясните смысл кода
Можете объяснить некоторые строчки этого кода. А именно все строчки с Convert.ToInt32. Можно ли их заменить на int.Parse? using System;...

Объясните смысл задания
Разработать и испытать функцию, которая принимает два целых числа n и k и возвращает число, содержащее k первых цифр числа n. Объясните...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
5
Ответ Создать тему
Новые блоги и статьи
http://iceja.net/ сервер решения полиномов
iceja 18.01.2026
Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .
Первый деплой
lagorue 16.01.2026
Не спеша развернул своё 1ое приложение в kubernetes. А дальше мне интересно создать 1фронтэнд приложения и 2 бэкэнд приложения развернуть 2 деплоя в кубере получится 2 сервиса и что-бы они. . .
Расчёт переходных процессов в цепи постоянного тока
igorrr37 16.01.2026
/ * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит: токи, напряжения и их 1 и 2 производные при t = 0;. . .
Восстановить юзерскрипты Greasemonkey из бэкапа браузера
damix 15.01.2026
Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .
Изучаю kubernetes
lagorue 13.01.2026
А пригодятся-ли мне знания kubernetes в России?
Сукцессия микоризы: основная теория в виде двух уравнений.
anaschu 11.01.2026
https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/
WordPad для Windows 11
Jel 10.01.2026
WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .
Classic Notepad for Windows 11
Jel 10.01.2026
Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru