Константные и не константные ссылки. Приведения типов. Нужно уточнение

@daslex · Регистрация: 02.08.2011

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

Не очень понимаю в чем различие (2,3 строчки).

C++
1
2
3
 int x = 10;
 double &y = x;
 const double &y = x;

Почему для не константной ссылки временный объект, созданный из x не вяжется с double &,
в то время как временный объект, созданный из x без проблем вяжется с const double &
____________
Просьба не приводить цитаты стандарта, а просто по-человечески описать русскими словами. (русскоязычное описание ситуации при желании можно закрепить стандартом).
Я могу видеть только то, что создается временный объект (const double), который в последствии копируется в y, а т.к. константой инициализировать переменную можно, то для меня логично, что строчка 2 валидна, но это не логично для компиляторов. В то время как строчка 3 валидна и для меня и для компиляторов

@daslex · 28.11.2015, 20:10 **[ТС]**

Ну насчет изменений временных объектов зачем поднимать сырбор..

C++
1
2
3
4
    std::string s1 = "Test";
    std::string&& rv = s1 + s1;      // Ссылка на временный объект
    rv += "Test";                    // Временный объект изменен
    std::cout << rv << '\n';

@rikimaru2013 · 28.11.2015, 20:13

изменение временного объекта UB - зачем этот сырбор

@daslex · 28.11.2015, 20:22 **[ТС]**

не совсем понял, если последнее в мой адрес, то приведенный мною код c rvalue reference, изменяющий временный объект не UB. Если оно не мне, то и сами знать об этом должны лучше меня.

@rikimaru2013 · 28.11.2015, 20:40

Моё мнение:

C++
1
2
3
4
5
6
7
8
9
10
11
12
#include <iostream>
#include <string>
using namespace std;
 
int main()
{
    std::string s1 = "Test";
    std::string& rv = s1 + s1;     
    rv.c_str();
    rv += "Test";                   
    std::cout << rv << '\n';
}

1) в строке 8 создается временный объект и ссылка ссылается на него rv
2) в 9 строке мы обращаемся к метода объекта, которого нет. Стандарт не гарантирует, что он жив и нужном состоянии. Следовательно если архитектура кода, может при не верных действиях содержать код - код UB.

hoggy, можете пролить свет кто прав - пожалуйста.

Добавлено через 7 минут
Хотя вот странное поведение вижу - временный объект не умирает пока есть ссылка на него. Хм.

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
#include <iostream>
#include <string>
using namespace std;
 
class Foo
{
    int _x;
public:
    Foo(int x) : _x(x)  {   }
    Foo operator+(const Foo& right)
    {
        return Foo(_x + right._x);
    }
    ~Foo()
    {
        cout << "destr for " << _x << endl;
    }
    void f()
    {
        cout << "f() " << _x << endl;
    }
};
int main()
{
    {
        Foo a(5);
        Foo b(8);
        Foo&& ref = a + b;
        ref.f();
    }
}

@daslex · 28.11.2015, 20:47 **[ТС]**

Стандарт гарантирует, что первый листинг после слов "Мое мнение" компилироваться не станет.
А вот неаккуратное использование rvalue может свалить программу и, наверное, может приводить к UB.

Добавлено через 44 секунды
про неаккурат - не к Вашим кодам, а обобщенное выссказывание'

@Alex5 · 28.11.2015, 21:00

Не по теме:

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

строки ++a и ++b меняют временные объекты компилятора

rikimaru2013, я думаю ++a меняет значение переменной a. :) А временных объектов в этом коде нет. :)

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

long a = 1;
long & b = a;
++a;
++b;

@daslex · 28.11.2015, 21:19 **[ТС]**

Не по теме:

Alex5, Вообще-то у вас в коде есть временные переменные, просто о них целиком и полностью компилятор заботится. Вы их не задеваете.

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

Не по теме:

Про первый пример, Rikamaru, то, что его студия ест, не значит, что он съедобен. :D
это не по стандарту.

@DrOffset · 28.11.2015, 21:23

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

Стандарт не гарантирует, что он жив и нужном состоянии.

Объект жив, т.к. время жизни rvalue продлевается при привязке к ссылке до тех пор, пока жива сама ссылка. Это стандарт гарантирует.

Причем тут есть интересная особенность, стандарт гарантирует продление жизни при привязке к любой ссылке, даже неконстантной (вернее при описании этого поведения не делается разницы в том, что именно за ссылка у нас). Но на неконстантные ссылки накладывается другое правило (описанное в топике с твоим вопросом), поэтому в отношении неконтантных ссылкок это проверить не представится возможным. Однако rvalue-ссылки не подвержены запрету.
12.2/5

The temporary to which the reference is bound or the temporary that is the complete object of a subobject to which the reference is bound persists for the lifetime of the reference except:
— (5.1) A temporary object bound to a reference parameter in a function call (5.2.2) persists until the com-pletion of the full-expression containing the call.
— (5.2)The lifetime of a temporary bound to the returned value in a function return statement (6.6.3) is not
extended; the temporary is destroyed at the end of the full-expression in the return statement.
— (5.3) A temporary bound to a reference in a new-initializer (5.3.4) persists until the completion of the full-expression containing the new-initializer.

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

@Alex5 · 28.11.2015, 22:04

Не по теме:

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

угу, а продолжим цепочку:
// const double - Это тип int
// (я - гений).

daslex,
Если Вы думаете, что Ваше рассуждение что-то доказывает, полезно вспомнить о законах логики. :-|
(И разобраться, что означает const в C++.)

Когда ссылка объявлена как const, x2, y2 - разные переменные. И их типы никак не связаны между собой.

C++
1
2
3
4
5
    double x2 = 10;
    const int& y2 = x2;
 
    cout << &x2 << endl;
    cout << &y2 << endl;

@daslex · 28.11.2015, 22:11 **[ТС]**

Alex5, То сообщение было ироническим сарказмом. Рожденное именно Вашей логикой. Там используется лобовая логика из вашей же фразы.
А вот про Ваш код

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

C++
1
2
3
4
long a = 1;
long & b = a;
++a;
++b;

и существование в нем временных ~~паразитов~~ переменных, я на полном серьезе.

@Alex5 · 29.11.2015, 14:52

Не по теме:

В этой теме 30 раз встречается слово "временный". "Можно менять" или "нельзя" и т.д.
Возможно, здесь нет противоречий. "Они есть" и "их нет". :)
Потому что участники говорят о разных понятиях. (Употребляя одно и то же слово.)

Не по теме:

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

временные объекты компилятора изменение которых запрещены

C++
1
2
3
4
5
6
class A ...
 
int func( A& x )
{
    // x  как-то изменяется 
}

Вызов функции

C++
1
f( A() );

@daslex · 30.11.2015, 11:32 **[ТС]**

DrOffset, нужно пояснение. Я кое в чем запутался.

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

время жизни rvalue продлевается при привязке к ссылке до тех пор, пока жива сама ссылка

Пример ниже мой и он явно ошибочный.
Это своеобразный симулятор продлевания временного объекта.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
int&&  foo()
{
    int x = 42;
    int &&r = x + 0;  //создаю rvalue на первый временный объект
    
    //Сейчас r == 42, активен первый временный объект
    return r+0;  //Создание нового временного объекта и возврат его из функции, первый временный умирает, второй ожидаемо должен вернуться и это ожидание, похоже, подкреплено гарантиями стандарта.
}
 
 
 
int main(){
    int &&r = foo(); //Тут вроде как rvalue на возвращенный временный объект
    cout << r;  //rvalue жив и здоров, но он не то, что ожидалось от функции
}

Я прекрасно осознаю, что lvalue ссылку из функции возвращать нельзя. Но здесь используется rvalue, вырезанное из Вашей цитаты утверждение о гарантиях стандарта и аналог простейшей функции

C++
1
2
3
int f(){
   return 5;  //Возвращение временного объекта
}

Мне однозначно нужны уточнения.

@DrOffset · 30.11.2015, 11:39

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

вырезанное из Вашей цитаты утверждение о гарантиях стандарта и аналог простейшей функции

Я прям нутром чуял, что кто-то не станет читать цитату целиком. А я специально ее процитировал полностью

Если ты еще раз вернешься к тому посту, то заметишь, что у этих гарантий есть аж целых три исключения, которые описаны соответственно в пунктах 5.1, 5.2 и 5.3.
Твой случай это:

(5.2) The lifetime of a temporary bound to the returned value in a function return statement (6.6.3) is not extended; the temporary is destroyed at the end of the full-expression in the return statement.

@daslex · 30.11.2015, 11:57 **[ТС]**

Не по теме:

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

спасибо.

@DrOffset · 30.11.2015, 12:16

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

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

При возврате ссылки из функции время жизни не продлевается. Временный объект уничтожается в конце полного выражения в return.

Не по теме:

А вообще, текста же там немного. Со словариком вполне осиливается. Можно было бы пожаловаться, если бы я просто дал номер параграфа и отправил читать стандарт, но там же была коротенькая цитата :)
В общем, пока не начнешь читать - не научишься.
Без английского сложно программисту. Нужно его хотя бы на базовом уровне знать.

@daslex · 30.11.2015, 12:48 **[ТС]**

На базовом знаю, но этого не хватает.

Словариком, да..

Не по теме:

(искл 5.2.2) сохраняется до тех пор, пока в com-pletion полного выражения, содержащего вызов.

Не по теме:

Ясность и просто райское наслаждение...

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

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

Не по теме:

здесь опечатка, конечно. Копипаст с переносом. Но если я еще могу видеть, другие могут и не заметить

.

Croessmah · 30.11.2015, 12:55

Не по теме:

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

В общем, пока не начнешь читать - не научишься.

Я об этой штуке тоже не знал, и никогда не видел такого, пока в стандарте не наткнулся на данный раздел :)

@DrOffset · 30.11.2015, 12:58

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

A temporary object bound to a reference parameter in a function call (5.2.2) persists until the completion of the full-expression containing the call.

Даже дословный перевод без украшательств русской речи выглядит приемлемо:
Временный объект, привязанный к ссылке в параметре функции при вызове, продлевается до конца полного выражения содержащего вызов.
Почти один в один с оригиналом по расположению слов и порядку чтения.

Не по теме:

Хотя, ладно. У беждать тебя в том, что это легко не буду. В другом убедись: нельзя чему-то научиться не пытаясь. Если ты не начнешь пытаться читать английский текст, то никогда и не научишься.

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

Не по теме:

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

Я об этой штуке тоже не знал, и никогда не видел такого, пока в стандарте не наткнулся на данный раздел

Процитированное тобой относилось к английскому языку в целом, а не к С++ или конкретно этой фиче :)
Чтобы научиться читать на английском - нужно читать на английском.

Croessmah · 30.11.2015, 13:02

Не по теме:

DrOffset, я понял, просто конкретно эта фича стала известна мне как раз благодаря чтению стандарта :) и как раз на английском.
Не помню, что я искал, но "прыгая" по ссылкам в документе, наткнулся на такое вот чудо

@daslex · 30.11.2015, 13:39 **[ТС]**

Да читаю я.

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

A temporary object bound to a reference parameter in a function call

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

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

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

Холивар по рус-англ нафиг. Но не стоит судить по себе.

Новые блоги и статьи Все статьи Все блоги /
сукцессия 43. Вторая научная статья за месяц- прайминг и гатгил anaschu 25.07.2026 две стороны одной монеты	Более приземисто - Эстафету хвоста в .cdl (деревья эстафеты в сад). Hrethgir 24.07.2026 В будущем, после написания блока инверсии обхода дерева (эстафеты хвоста), я планирую вернуться к нашему прошлому разговору о том, обладают ли знания целеполаганием. Тогда я пришел к выводу, что. . .	Вот представьте что вам дали бессмертие. kumehtar 24.07.2026 Вот представьте что вам дали бессмертие, ничего более не меняя. Вообще ничего, только бессмертие в нынешнем виде. Рады были бы? Что бы вы тут делали всё это время? Никакой пенсии. Никакого нового. . .	сукцессия 41 anaschu 24.07.2026 Численная верификация бифуркации в агентной модели лесной сукцессии: от одного параметра к ансамблю Автор: пользователь @Shumilov_AS \| Раздел: Прикладная математика / Численные методы Кратко. . .
сукцессия 40. Ансамблевая кластерная параметризаци, часть 1. anaschu 24.07.2026 Пр# Сопровождение научной статьи ИИ-ассистентом: подготовка публикации и калибровка агентно-ориентированной модели сукцессии микоризных систем Полевые заметки о двухнедельной совместной работе. . .	Теория всего 12. ВГК на планете в стратегической игре "терра" anaschu 21.07.2026 ### Главные семантические изменения и дешифровка новой физики 1. `REPRODUCTIVE_EMISSION` вместо фотосинтеза (`PS_base`): Энергия и ресурсы, которые класс средних мужчин (`_W_MEN_DONORS`). . .	Публикация отклонённая на хабре. Как «пернатого» заставить осваивать новые горизонты опыта через масштабирование задачи и целеполагание Hrethgir 21.07.2026 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11948&stc=1&d=1784657928 Привет Хабр. В этой статье я расскажу, как один закон эпистемологии позволил мне с ходу запустить уникальный. . .	Теория всего 11. Основные параметры anaschu 21.07.2026 Дешифровка тензорного ядра Soil Chemistry 2. 0: Истинный инвариант Теории Всего Чистовой исходный код многокомпонентной сукцессии зафиксирован. Модель оперирует единым вектором состояния. . .

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	28.11.2015, 20:13
	изменение временного объекта UB - зачем этот сырбор 0

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,886
	28.11.2015, 20:22 [ТС]
	не совсем понял, если последнее в мой адрес, то приведенный мною код c rvalue reference, изменяющий временный объект не UB. Если оно не мне, то и сами знать об этом должны лучше меня. 0

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,886
	28.11.2015, 20:47 [ТС]
	Стандарт гарантирует, что первый листинг после слов "Мое мнение" компилироваться не станет. А вот неаккуратное использование rvalue может свалить программу и, наверное, может приводить к UB. Добавлено через 44 секунды про неаккурат - не к Вашим кодам, а обобщенное выссказывание' 0

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,886
	28.11.2015, 21:19 [ТС]
	Не по теме: Alex5, Вообще-то у вас в коде есть временные переменные, просто о них целиком и полностью компилятор заботится. Вы их не задеваете. Добавлено через 12 минут Не по теме: Про первый пример, Rikamaru, то, что его студия ест, не значит, что он съедобен. :D это не по стандарту. 0

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,886
	30.11.2015, 11:57 [ТС]
	Не по теме: Не все знают английский. Я не знаю. Поэтому даже вначале создания темы просил русским текстом... спасибо. 0

@daslex 1373 / 596 / 199 Регистрация: 02.08.2011 Сообщений: 2,886
	30.11.2015, 12:48 [ТС]
	На базовом знаю, но этого не хватает. Словариком, да.. Не по теме: (искл 5.2.2) сохраняется до тех пор, пока в com-pletion полного выражения, содержащего вызов. Не по теме: Ясность и просто райское наслаждение... и ладно если бы были маленькие кусочки такими для перевода, но ими весь стандарт напихан. Добавлено через 2 минуты Не по теме: здесь опечатка, конечно. Копипаст с переносом. Но если я еще могу видеть, другие могут и не заметить . 0

Croessmah
	30.11.2015, 13:02
	Не по теме: DrOffset, я понял, просто конкретно эта фича стала известна мне как раз благодаря чтению стандарта :) и как раз на английском. Не помню, что я искал, но "прыгая" по ссылкам в документе, наткнулся на такое вот чудо 0