rvalue ссылки

@ReYalp · Регистрация: 27.12.2017

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

Может кто объяснить зачем нужны rvalue ссылки и как правильно работать с std::move и std::forward?

@hoggy · 18.12.2019, 12:43

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

Может ты не будешь мне мешать учить человека, а

а ты уточняй, какой именно конструктор ты имеешь ввиду.
потому что их там два.

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

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

и когда ты пишешь:

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

Почему конструктор копирования (который есть у auto_ptr) не подходит в этом случае?

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

https://rextester.com/SMMF10447

@DrOffset · 18.12.2019, 12:43

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

насколько я понял то func возвращает rvalue? а конструктор принимает на вход lvalue?

Правильно. Поэтому рассматриваться начинает следующий вариант.
А там есть еще один конструктор который выглядит так:

C++
1
2
3
4
    auto_ptr(auto_ptr_ref<_Ty> _Right) noexcept
    {   // construct by assuming pointer from _Right auto_ptr_ref
//......
    }

А теперь вот у вашего вопроса

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

откуда берется вызов operator auto_ptr_ref<_Other>() noexcept я не понимаю и почему именно auto_ptr_ref

ответ на поверхности.

@ReYalp · 18.12.2019, 12:47 **[ТС]**

DrOffset, после прочтения главы мне должно стать понятно почему тут вызывается оператор ?

Добавлено через 2 минуты
DrOffset, просто слегка непонятно какую связь имеет operator auto_ptr_ref<_Other>() и rvalue ссылки ,почему вызывается именно он?

@DrOffset · 18.12.2019, 12:52

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

а ты уточняй, какой именно конструктор ты имеешь ввиду.

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

используется при строительстве результирующиего объекта.

Все уточнено. Процитирован участок кода, который рассматривается: инициализация объекта p1.

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

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

после прочтения главы мне должно стать понятно почему тут вызывается оператор ?

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

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

просто слегка непонятно какую связь имеет operator auto_ptr_ref<_Other>() и rvalue ссылки

Вы сейчас находитесь в процессе нарабатывания базы знаний о предмете.

Про rvalue ссылки пока сейчас не думайте.

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

почему вызывается именно он?

Он вызывается, потому что конструктор копирования не подошел.
Потому что в классе есть другой конструктор, который принимает auto_ptr_ref<_Ty> и преобразование к auto_ptr_ref<_Other> (где _Other = _Ty) это единственный способ скомпилировать этот код.

@ReYalp · 18.12.2019, 12:55 **[ТС]**

DrOffset, насколько я понял то во время

C++
1
p1 = func<int>();

срабатывает что-то типа каста и func() с rvalue кастуется в lvalue? это что-то похожее на преобразование типов при инициализации?

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

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

Он вызывается, потому что конструктор копирования не подошел.

просто впервые вижу такой опертор и мне не ясно как его вообще вызывать.

@DrOffset · 18.12.2019, 12:59

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

просто впервые вижу такой опертор и мне не ясно как его вообще вызывать.

Ну так это вопрос к вашим знаниям базового С++. Если вы встречаете непонятные побочные вопросы, то нужно остановиться, разобраться в них, потом вернуться к этой теме. Я же не зря вам про неделю на разбор сказал.

@ReYalp · 18.12.2019, 13:01 **[ТС]**

DrOffset, окей, Вы не подскажете как вызвать подобный оператор?

C++
1
2
3
4
5
6
7
8
9
10
template<class A>
class test {
 
public:
        template<class AA>
    operator test<AA>() {
        int a = 5;
    }
 
};

@DrOffset · 18.12.2019, 13:07

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

срабатывает что-то типа каста и func() с rvalue кастуется в lvalue?

Каст действительно есть. Оператор auto_ptr_ref<_Other> добавляет возможность неявного преобразования auto_ptr в auto_ptr_ref в подходящих для этого выражениях.

из-за того, что
* у нас конструктор копирования принимает lvalue-ссылку
* и в наличии другой конструктор, который принимает auto_ptr_ref по значению,
у нас созданы такие условия, когда инициализация объекта выражением rvalue подходит для использования этого неявного каста.

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

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

Вы не подскажете как вызвать подобный оператор?

C++
1
2
3
    test<int> a;
    
    test<double> b = a;

Только возвращаемое значение укажите

C++
1
2
3
4
5
    template<class AA>
    operator test<AA>() {
        int a = 5;
        return test<AA>();
    }

@ReYalp · 18.12.2019, 13:29 **[ТС]**

DrOffset, тоесть

C++
1
auto_ptr<int> p1 =

в auto_ptr<int> p1 = func<int>() это и есть вызов этого опертора для rvalue объекта который возвращает func?
Я слегка запутался

@DrOffset · 18.12.2019, 13:48

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

это и есть вызов этого опертора для rvalue объекта который возвращает func?

Да.

Он вызывается потому что есть такой конструктор, который может принять auto_ptr_ref и потому что конструктор копирования не подходит. Т.е. два критерия.

Вы уже собственно увидели одно из главных недостатков этого: это запутывает.

Первая проблема (я надеюсь вы ее увидели, потому что ничего об этом не сказали и не спросили). Когда мы делаем инициализации p1 lvalue-объектом у нас срабатывает конструктор копирования. Но при этом у нас не происходит копирования. У нас происходит перемещение владения указателем из объекта p в объект p1. Т.е. по семантике мы делаем копирование, а по факту - перемещение. Это плохо тем, что запутывает читающего код.

Вторая проблема: когда у нас копирование может быть безопасно заменено на перемещение? Правильно, когда объект временный и данные ему все равно уже не нужны. Но тут старая редакция С++ вставляет палки в колеса. У нас нет возможности так просто отобрать владение у временного объекта. К lvalue-ссылке он не привязывается, а через константную ссылку объект не изменить (ну всякие хаки с конст_кастами и mutable оставим за скобками). Поэтому рождается вот такой запутанный код.
Итак в этом коде - конструктор от аргумента auto_ptr_ref - это прото-(в археологическом смысле)-конструктор перемещения. Сам auto_ptr_ref - это прото-rvalue-ссылка.

Собственно ответ на первы вопрос:

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

Может кто объяснить зачем нужны rvalue ссылки

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

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

как правильно работать с std::move

std::move - это способ явно указать, что мы собираемся отобрать владение ресурсом у lvalue. Т.е. первый пример на предыдущей странице, когда p1 инициализуется p и вопрос по поводу состояния p получает явный ответ. И в коде становится заметно, что здесь у нас семантика перемещения, а не копирования.

@ReYalp · 18.12.2019, 14:00 **[ТС]**

DrOffset, у меня появилась проблема ,я не могу отобразить работу данной ситуации в более простом примере ,помогите пожалуйста ,что нужно поменять\дописать?

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
template<class A>
class test {
 
public:
    test() {};
    test(const test<A>& obj) {
    }
    template<class AA>
    operator test<AA>() {
        return test<AA>();
    }
};
 
template<class T>
test<T> func1() {
    test<T> p1;
    return p1;
}
 
 
int main()
{
    //auto_ptr<int> p1 = func<int>();
 
    test<int> a;
    test<double> b = func1<int>();
    system("pause");
}

почему в данном случае operator test срабатывает для объекта b ?

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

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

словно бык на красную тряпку.

доказано что быки не реагируют на красный как-то особенно и DrOffset просто учит меня(а в теории всех кто будет это читать) чему-то новому и тот вопрос который он мне задал был вопросом лично для меня ,так что извините если Вы не так что-то поняли

@DrOffset · 18.12.2019, 14:11

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

почему в данном случае operator test срабатывает для объекта b ?

Потому что у нас разные типы в шаблоне.
Получаем тип test<double> и тип test<int>.

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

Но, если мы напишем пользовательский оператор преобразования, то это станет возможным.
Когда мы пишем

C++
1
2
3
4
    template<class AA>
    operator test<AA>() {
        return test<AA>();
    }

То читать это надо так: "определи возможность преобразования в тип test<AA>, где AA - любой тип."
Таким образом, если вы мысленно подставите вместо AA=double, то получите test<double> - это то, что у нас с левой стороны.
Компилятор делает тоже самое. Он видит тип с левой стороны - test<double>, видит оператор преобразования в test<AA>, подставляет AA=double, и получает успешную подстановку. Код компилируется.

@ReYalp · 18.12.2019, 14:18 **[ТС]**

DrOffset, у меня много вопросов 1. Если брать мой код то почему перед выховод оператора не срабатывает конструктор b? 2. Оператор возвращает значения но оно получается что никуда не приравнивается?

@DrOffset · 18.12.2019, 14:24

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

1. Если брать мой код то почему перед выховод оператора не срабатывает конструктор b?

Конструктор копирования b не срабатывает, потому что срабатывает RVO.
Вот тут я отключил это:
https://rextester.com/TJQVM58449
Можно увидеть, что делается по семантике (с++14).

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

2. Оператор возвращает значения но оно получается что никуда не приравнивается?

Из-за RVO-оптимизации, это значение сразу становится значением b.

@ReYalp · 18.12.2019, 14:40 **[ТС]**

DrOffset, можете объяснить как это работает?
если убрать std::endl в операторе и в func то в операторе a будет иметь непонятное значение,если добавить << std::endl то все ок?

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
//clang 3.8.0
 
#include <iostream>
 
template<class A>
class test {
 
public:
    test() {
        std::cout << __PRETTY_FUNCTION__ << " default ctor\n";
    }
    test(const test<A>& obj) {
        std::cout << __PRETTY_FUNCTION__ << " copy ctor\n";
    }
    template<class AA>
    operator test<AA>() {
        std::cout << this->a<< std::endl;
        std::cout << __PRETTY_FUNCTION__ << "\n";
        return test<AA>();
    }
    int a = 0;
};
 
template<class T>
test<T>& func1() {
    test<T> p1;
    p1.a = 25;
    std::cout << p1.a<< std::endl;
    return p1;
}
 
 
int main()
{
    test<int> a;
    test<double> b = func1<int>();
}

@ReYalp · 18.12.2019, 14:52 **[ТС]**

DrOffset, почему в таком случае не срабатывает оператор , а срабатывает конструктор?

Кликните здесь для просмотра всего текста

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
//clang 3.8.0
 
#include <iostream>
 
template<class A>
class test {
 
public:
    test() {
        std::cout << __PRETTY_FUNCTION__ << " default ctor\n";
    }
    test(const test<A>& obj) {
        std::cout << __PRETTY_FUNCTION__ << " copy ctor\n";
    }
    operator test<A>() {
        std::cout << this->a<<std::endl;
        std::cout << __PRETTY_FUNCTION__ << "\n";
        return test<A>();
    }
    int a = 0;
};
 
template<class T>
test<T> func1() {
    test<T> p1;
    return p1;
}
 
 
int main()
{
    test<int> b = func1<int>();
}

@hoggy · 18.12.2019, 14:56

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

почему в таком случае не срабатывает оператор , а срабатывает конструктор?

потому что незачем.
в этом примере он вообще никак не используется.

убери его - результат не измениться.

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
#include <iostream>
 
template<class A>
class test {
 
public:
    test() {
        std::cout << __PRETTY_FUNCTION__ << " default ctor\n";
    }
    test(const test<A>& obj) {
        std::cout << __PRETTY_FUNCTION__ << " copy ctor\n";
    }
    #if 0
    operator test<A>() {
        std::cout << this->a<<std::endl;
        std::cout << __PRETTY_FUNCTION__ << "\n";
        return test<A>();
    }
    #endif
    
    int a = 0;
};
 
template<class T>
test<T> func1() {
    test<T> p1;
    return p1;
}
 
 
int main()
{
    test<int> b = func1<int>();
}

@ReYalp · 18.12.2019, 15:04 **[ТС]**

hoggy, та я понимаю что он не используется ,вот и спрашиваю почему

Добавлено через 3 минуты
если взять данный пример то зачем такой оператор нужен? И как его вызвать

@hoggy · 18.12.2019, 15:07

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

та я понимаю что он не используется ,вот и спрашиваю почему

потому что не нужен, Карл!
ты же не используешь форточку, если тебе в принципе не нужно открывать окошко.

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

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

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

@ReYalp · 18.12.2019, 15:14 **[ТС]**

hoggy, вот , если взять такой пример

C++
1
2
3
4
5
struct Widget {
  Widget(int) {}
};
 
Widget w1 = 1;

то чтобы этот код(без оптимизации ) отработал правильно нужен такой оператор в int ?
Но почему это работает и в случае конструктора в Widget(int)?

Добавлено через 59 секунд
если я правильно понял то существует тогда 2 варианта преобразование типов ? С помощью конструкторов и операторов ? Или как

Новые блоги и статьи Все статьи Все блоги /
Книги по геймдизайну, игровым механикам и проектированию игрового опыта 8Observer8 08.11.2026 Содержание блога \| English Version 1. 2003 - 06 - Designing Virtual Worlds (1st Edition) Автор: Richard A. Bartle \| Объем: 768 стр. Ссылки: Amazon . . .	Родители токсичные абьюзеры по отношению к своим детям ругают их оскорбляют не любят zorxor 08.11.2026 Жить в атмосфере постоянных оскорблений, критики и холодности со стороны родителей — это тяжелое и болезненное испытание, которое оставляет глубокие эмоциональные раны. Токсичное и абьюзивное. . .	Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ. zorxor 08.11.2026 Джемени, как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Многие люди, возвращаясь домой, сразу переодеваются в максимально свободную одежду или вовсе предпочитают. . .	Паттерн очереди действий/команд (Action / Command Queue). Система очереди действий и кат-сцен с SDL3 Callbacks, cglm и OpenGL 8Observer8 07.11.2026 Содержание блога \| English Version Руководство для начинающих по реализации паттерна очереди действий/ команд (Action / Command Queue) на C++ (C++20) с использованием официального SDL3 Callbacks. . .
Проверка полного ФИО в типовом справочнике Maks 07.11.2026 Решение реализовано в конфигурации КА2, на примере справочника "КонтактныеЛицаПартнеров". Задача: Запрет инициалов. Не допускаеть использование сокращений вида "И. И. ", "И. И. ", "И И" и. . .	Про "Windows must die!" kumehtar 04.11.2026 Знаете, чет накатило. . . . Когда-то это было почти боевым кличем: мол, нормальный человек сидит на DOS, OS/ 2 или Linux, а вот это вот - Must Die. А теперь человек произносит «мастдай» с усмешкой - и. . .	Красочные поля с номером страницы svg+background-image russiannick 04.11.2026 Красочные поля с номером страницы не менее важны чем в эпоху бумажных книг. Посему спешу представить почтеннейшей публике этот важный инструмент который эти поля и формирует. В процессе разработки. . .	Вступаем в новую фазу генерации favicons, векторную. russiannick 02.11.2026 Теперь нет нужды скрывать что используется простой svg. Исходный код изображения помещаем в поле и жмем кнопку. Исходник преобразуется в вид корректный для помещения в favicon или в url(). Нажатие. . .

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484

	rvalue ссылки 17.12.2019, 11:36. Показов 8849. Ответов 93 Метки нет (Все метки) Может кто объяснить зачем нужны rvalue ссылки и как правильно работать с std::move и std::forward? 1

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	18.12.2019, 12:47 [ТС]
	DrOffset, после прочтения главы мне должно стать понятно почему тут вызывается оператор ? Добавлено через 2 минуты DrOffset, просто слегка непонятно какую связь имеет operator auto_ptr_ref<_Other>() и rvalue ссылки ,почему вызывается именно он? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	18.12.2019, 14:18 [ТС]
	DrOffset, у меня много вопросов 1. Если брать мой код то почему перед выховод оператора не срабатывает конструктор b? 2. Оператор возвращает значения но оно получается что никуда не приравнивается? 0

@ReYalp 63 / 46 / 11 Регистрация: 27.12.2017 Сообщений: 1,484
	18.12.2019, 15:04 [ТС]
	hoggy, та я понимаю что он не используется ,вот и спрашиваю почему Добавлено через 3 минуты если взять данный пример то зачем такой оператор нужен? И как его вызвать 0

rvalue ссылки

Решение