Временные объекты и ссылки

@rat0r · Регистрация: 16.02.2018

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

При инициализации ссылки временным объектом, ссылка должна быть либо rvalue-ссылкой, либо lvalue-ссылкой на const.
Однако, несмотря на то, что выбрасывание исключения создаёт временный объект (http://eel.is/c++draft/class.temporary#1.3), его можно забиндить к lvalue-ссылке на не-conts в catch.

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

@outoftime · 16.02.2018, 20:27

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

его можно забиндить к lvalue-ссылке на не-conts в catch.

Исключения это не магия, значение исключения хранится в определенном месте (массиве), не помню точно где. Поэтому объект где-то лежить как lvaue и взять из него неконстантную ссылку можно.

@rat0r · 16.02.2018, 20:42 **[ТС]**

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

Исключения это не магия, значение исключения хранится в определенном месте

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

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

взять из него неконстантную ссылку можно.

Неконстантную rvalue-ссылку тоже можно инициализировать временным объектом. Да можно и применить const_cast к lvalue-ссылке на const и модифицировать объект через эту ссылку. Это даже не будет UB, если только сам объект не был константным.

Croessmah · 16.02.2018, 20:52

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

что выбрасывание исключения создаёт временный объект

из стандарта:

Throwing an exception copy-initializes (11.6, 15.8) a temporary object, called the exception object. An lvalue denoting the temporary is used to initialize the variable declared in the matching handler (18.3). If the type of the exception object would be an incomplete type or a pointer to an incomplete type other than cv void the program is ill-formed.

@rat0r · 16.02.2018, 20:54 **[ТС]**

Croessmah, и?

@Recrut_rf · 16.02.2018, 21:47

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

Croessmah, и?

из книги Зуев Стандарт С++ (тоже самое):
Возбуждение исключительной ситуации инициализирует-копированием (8.5,
12.8), временный объект, называемый объектом исключения (exception
object). Этот временный объект считается 1-значением и используется для
инициализации переменной, имя которой указано в совпадающем
обработчике (15.3).
Если тип объекта исключения является неполным или указателем на
неполный тип, отличным от (возможно, cv-квалифицированного) void, то
программа считается неправильной.

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

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

Если я всё правильно понял, то для этого и нужна

@rat0r · 16.02.2018, 23:46 **[ТС]**

Croessmah, Recrut_rf, понимаете ли, коллеги: сказать, что временный объект, созданный при выбырасывании исключения, можно биндить к lvalue-ссылке на неконстанту и сказать, что этот временный объект является lvalue — это в общем одно и то же. А меня всё же интересует ответ, а не переформулировка вопроса.
Спасибо.

@DrOffset · 17.02.2018, 01:23

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

А меня всё же интересует ответ, а не переформулировка вопроса.

Ответ заключается в том, что ТС ошибается, полагая, что в стандарте рассматривается привязка к ссылке каких-то временных объектов.

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

При инициализации ссылки временным объектом, ссылка должна быть либо rvalue-ссылкой, либо lvalue-ссылкой на const.

Речь о привязке к ссылке идет исключительно в терминах lvalue/rvalue. В этом ТС может убедиться самостоятельно: http://eel.is/c++draft/dcl.init.ref.

Из пункта

(5.1) If the reference is an lvalue reference and the initializer expression
(5.1.1) is an lvalue (but is not a bit-field), and “cv1 T1” is reference-compatible with “cv2 T2”, or
(5.1.2) has a class type (i.e., T2 is a class type), where T1 is not reference-related to T2, and can be converted to an lvalue of type “cv3 T3”, where “cv1 T1” is reference-compatible with “cv3 T3”¹⁰⁸ (this conversion is selected by enumerating the applicable conversion functions ([over.match.ref]) and choosing the best one through overload resolution),

then the reference is bound to the initializer expression lvalue in the first case and to the lvalue result of the conversion in the second case (or, in either case, to the appropriate base class subobject of the object).

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

О том, что временный объект исключения обозначает lvalue было сказано выше:

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

An lvalue denoting the temporary is used to initialize the variable declared in the matching handler

Так что тут нет никакой непоследовательности.

PS. На всякий случай скажу, предвидя попытку поспорить, что категория выражения первична в вопросе привязки к ссылке, а временность объекта, который в итоге получается - вторична. Как только мы мысленно меняем эти приоритеты, создается иллюзия непоследовательности.

@rat0r · 17.02.2018, 17:55 **[ТС]**

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

Речь о привязке к ссылке идет исключительно в терминах lvalue/rvalue.

Но при этом ссылка ссылается на объект, обозначаемый выражением, а не байндится к "самому выражению", не так ли?

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

В этом ТС может убедиться самостоятельно

Черри-пикингом я и сам умею заниматься:

Сообщение от http://eel.is/c++draft/dcl.init.ref#2.sentence-1

2 A reference cannot be changed to refer to another object after initialization.

Сообщение от http://eel.is/c++draft/dcl.init.ref#5.3

(5.3) Otherwise, if the initializer expression

(5.3.1) is an rvalue (but not a bit-field) or function lvalue and “cv1 T1” is reference-compatible with “cv2 T2”, or
(5.3.2) has a class type (i.e., T2 is a class type), where T1 is not reference-related to T2, and can be converted to an rvalue or function lvalue of type “cv3 T3”, where “cv1 T1” is reference-compatible with “cv3 T3” (see [over.match.ref]),

then the value of the initializer expression in the first case and the result of the conversion in the second case is called the converted initializer.
If the converted initializer is a prvalue, its type T4 is adjusted to type “cv1 T4” ([conv.qual]) and the temporary materialization conversion is applied.
In any case, the reference is bound to the resulting glvalue (or to an appropriate base class subobject).

Сообщение от http://eel.is/c++draft/dcl.ref#5.sentence-3

A reference shall be initialized to refer to a valid object or function.

Это несложно.

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

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

Ну ладно, пускай будет так

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

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

ТС ошибается, полагая, что в стандарте рассматривается привязка к ссылке каких-то временных объектов.

Ну или DrOffset ошибается, полагая, что в стандарте не рассматривается привязка к ссылке каких-то временных объектов

Сообщение от http://eel.is/c++draft/class.temporary#6.sentence-1

The third context is when a reference is bound to a temporary object.

@DrOffset · 17.02.2018, 18:12

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

Черри-пикингом я и сам умею заниматься:

Плохо умеем. Еще раз читаем: при инициализации ссылки рассматривается категория инициализирущего выражения, а не временность объекта. То, что ссылка в конечном счете привязывается к объекту, временному или нет, никак не отменяет вышеозначенного факта.

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

Ну или DrOffset ошибается, полагая, что в стандарте не рассматривается привязка к ссылке каких-то временных объектов

DrOffset просто расставил приоритеты в верном порядке. Любая фраза может быть понята превратно в произвольном контексте, чем успешном пользуются злые джинны в сказках. Поэтому вы софистикой не занимайтесь, а просто подставьте к моей фразе вами же заданный контекст.

@rat0r · 17.02.2018, 19:42 **[ТС]**

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

временный объект исключения обозначает lvalue было сказано выше

По-моему, там сказано, что lvalue обозначает временный объект, а не наоборот.

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

при инициализации ссылки рассматривается категория инициализирущего выражения

Про это уже мною сказано в #7

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

Поэтому вы софистикой не занимайтесь

После вас.

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

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

Уточню в чём мне видится непоследовательность: в обозначении временного объекта lvalue-ом, причём "напрямую". Можно забайндить ссылку к временному объекту и после этого обозначать его lvalue-выражением, но это не "напрямую". Как-то это странно. Думаю, изъян здесь в обзывании объекта-исключения временным. Для такого временного объекта ещё приходится придумывать спец. правила времени жизни.

@rat0r · 27.07.2018, 13:15 **[ТС]**

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

из стандарта:

An lvalue denoting the temporary

И в том же стандарте (было) сказано, что выражение denoting temporary — это по определению prvalue.

Только в C++17 это противоречие устранили.

Croessmah · 27.07.2018, 13:28

rat0r, тебе бы учителем в школе работать - ошибки в работах учеников искать.

@Mournful Max · 27.07.2018, 16:30

Не по теме:

Croessmah, тогда никто не выпустится :stop:

@DrOffset 19409 / 10028 / 2443 Регистрация: 30.01.2014 Сообщений: 17,678
	17.02.2018, 18:12	10
	Сообщение от rat0r Черри-пикингом я и сам умею заниматься: Плохо умеем. Еще раз читаем: при инициализации ссылки рассматривается категория инициализирущего выражения, а не временность объекта. То, что ссылка в конечном счете привязывается к объекту, временному или нет, никак не отменяет вышеозначенного факта. Сообщение от rat0r Ну или DrOffset ошибается, полагая, что в стандарте не рассматривается привязка к ссылке каких-то временных объектов DrOffset просто расставил приоритеты в верном порядке. Любая фраза может быть понята превратно в произвольном контексте, чем успешном пользуются злые джинны в сказках. Поэтому вы софистикой не занимайтесь, а просто подставьте к моей фразе вами же заданный контекст. 1

@rat0r 285 / 176 / 21 Регистрация: 16.02.2018 Сообщений: 666
		1
	Временные объекты и ссылки 16.02.2018, 18:38. Показов 3490. Ответов 13 Метки нет (Все метки) При инициализации ссылки временным объектом, ссылка должна быть либо rvalue-ссылкой, либо lvalue-ссылкой на const. Однако, несмотря на то, что выбрасывание исключения создаёт временный объект (http://eel.is/c++draft/class.temporary#1.3), его можно забиндить к lvalue-ссылке на не-conts в `catch`. Почему, зачем нужна такая непоследовательность в языке? 0

@outoftime ║XLR8║ 1212 / 909 / 270 Регистрация: 25.07.2009 Сообщений: 4,361 Записей в блоге: 5
	16.02.2018, 20:27	2
	Сообщение от rat0r его можно забиндить к lvalue-ссылке на не-conts в catch. Исключения это не магия, значение исключения хранится в определенном месте (массиве), не помню точно где. Поэтому объект где-то лежить как lvaue и взять из него неконстантную ссылку можно. 0

@rat0r 285 / 176 / 21 Регистрация: 16.02.2018 Сообщений: 666
	16.02.2018, 20:42 [ТС]	3
	Сообщение от outoftime Исключения это не магия, значение исключения хранится в определенном месте Временный объект, создаваемый при инициализации ссылки, тоже хранится и у него даже можно взять адрес. И выражение, состоящее из имени ссылки, будет lvalue. Сообщение от outoftime взять из него неконстантную ссылку можно. Неконстантную rvalue-ссылку тоже можно инициализировать временным объектом. Да можно и применить const_cast к lvalue-ссылке на const и модифицировать объект через эту ссылку. Это даже не будет UB, если только сам объект не был константным. 0

Croessmah Неэпический 18109 / 10696 / 2062 Регистрация: 27.09.2012 Сообщений: 26,933 Записей в блоге: 1
	16.02.2018, 20:52	4
	Сообщение от rat0r что выбрасывание исключения создаёт временный объект из стандарта: Throwing an exception copy-initializes (11.6, 15.8) a temporary object, called the exception object. An lvalue denoting the temporary is used to initialize the variable declared in the matching handler (18.3). If the type of the exception object would be an incomplete type or a pointer to an incomplete type other than cv void the program is ill-formed. 0

@rat0r 285 / 176 / 21 Регистрация: 16.02.2018 Сообщений: 666
	16.02.2018, 20:54 [ТС]	5
	Croessmah, и? 0

@Recrut_rf 373 / 316 / 65 Регистрация: 14.10.2014 Сообщений: 1,341
	16.02.2018, 21:47	6
	Сообщение от rat0r Croessmah, и? из книги Зуев Стандарт С++ (тоже самое): Возбуждение исключительной ситуации инициализирует-копированием (8.5, 12.8), временный объект, называемый объектом исключения (exception object). Этот временный объект считается 1-значением и используется для инициализации переменной, имя которой указано в совпадающем обработчике (15.3). Если тип объекта исключения является неполным или указателем на неполный тип, отличным от (возможно, cv-квалифицированного) void, то программа считается неправильной. Сообщение от rat0r Почему, зачем нужна такая непоследовательность в языке? Если я всё правильно понял, то для этого и нужна 0

@rat0r 285 / 176 / 21 Регистрация: 16.02.2018 Сообщений: 666
	16.02.2018, 23:46 [ТС]	7
	Croessmah, Recrut_rf, понимаете ли, коллеги: сказать, что временный объект, созданный при выбырасывании исключения, можно биндить к lvalue-ссылке на неконстанту и сказать, что этот временный объект является lvalue — это в общем одно и то же. А меня всё же интересует ответ, а не переформулировка вопроса. Спасибо. 0

@DrOffset 19409 / 10028 / 2443 Регистрация: 30.01.2014 Сообщений: 17,678
	17.02.2018, 01:23	8
	Сообщение от rat0r А меня всё же интересует ответ, а не переформулировка вопроса. Ответ заключается в том, что ТС ошибается, полагая, что в стандарте рассматривается привязка к ссылке каких-то временных объектов. Сообщение от rat0r При инициализации ссылки временным объектом, ссылка должна быть либо rvalue-ссылкой, либо lvalue-ссылкой на const. Речь о привязке к ссылке идет исключительно в терминах lvalue/rvalue. В этом ТС может убедиться самостоятельно: http://eel.is/c++draft/dcl.init.ref. Из пункта (5.1) If the reference is an lvalue reference and the initializer expression (5.1.1) is an lvalue (but is not a bit-field), and “cv1 T1” is reference-compatible with “cv2 T2”, or (5.1.2) has a class type (i.e., T2 is a class type), where T1 is not reference-related to T2, and can be converted to an lvalue of type “cv3 T3”, where “cv1 T1” is reference-compatible with “cv3 T3”¹⁰⁸ (this conversion is selected by enumerating the applicable conversion functions ([over.match.ref]) and choosing the best one through overload resolution), then the reference is bound to the initializer expression lvalue in the first case and to the lvalue result of the conversion in the second case (or, in either case, to the appropriate base class subobject of the object). очевидно, что если инициализирующее выражение является lvalue, то нет никаких препятствий для привязки его результата к ссылке. О том, что временный объект исключения обозначает lvalue было сказано выше: Сообщение от Croessmah An lvalue denoting the temporary is used to initialize the variable declared in the matching handler Так что тут нет никакой непоследовательности. PS. На всякий случай скажу, предвидя попытку поспорить, что категория выражения первична в вопросе привязки к ссылке, а временность объекта, который в итоге получается - вторична. Как только мы мысленно меняем эти приоритеты, создается иллюзия непоследовательности. 2

@rat0r 285 / 176 / 21 Регистрация: 16.02.2018 Сообщений: 666
	17.02.2018, 17:55 [ТС]	9
	Сообщение от DrOffset Речь о привязке к ссылке идет исключительно в терминах lvalue/rvalue. Но при этом ссылка ссылается на объект, обозначаемый выражением, а не байндится к "самому выражению", не так ли? Сообщение от DrOffset В этом ТС может убедиться самостоятельно Черри-пикингом я и сам умею заниматься: Сообщение от http://eel.is/c++draft/dcl.init.ref#2.sentence-1 2 A reference cannot be changed to refer to another object after initialization. Сообщение от http://eel.is/c++draft/dcl.init.ref#5.3 (5.3) Otherwise, if the initializer expression (5.3.1) is an rvalue (but not a bit-field) or function lvalue and “cv1 T1” is reference-compatible with “cv2 T2”, or (5.3.2) has a class type (i.e., T2 is a class type), where T1 is not reference-related to T2, and can be converted to an rvalue or function lvalue of type “cv3 T3”, where “cv1 T1” is reference-compatible with “cv3 T3” (see [over.match.ref]), then the value of the initializer expression in the first case and the result of the conversion in the second case is called the converted initializer. If the converted initializer is a prvalue, its type T4 is adjusted to type “cv1 T4” ([conv.qual]) and the temporary materialization conversion is applied. In any case, the reference is bound to the resulting glvalue (or to an appropriate base class subobject). Сообщение от http://eel.is/c++draft/dcl.ref#5.sentence-3 A reference shall be initialized to refer to a valid object or function. Это несложно. Сообщение от DrOffset категория выражения первична в вопросе привязки к ссылке, а временность объекта, который в итоге получается - вторична. Ну ладно, пускай будет так Добавлено через 1 час 42 минуты Сообщение от DrOffset ТС ошибается, полагая, что в стандарте рассматривается привязка к ссылке каких-то временных объектов. Ну или DrOffset ошибается, полагая, что в стандарте не рассматривается привязка к ссылке каких-то временных объектов Сообщение от http://eel.is/c++draft/class.temporary#6.sentence-1 The third context is when a reference is bound to a temporary object. 0

@rat0r 285 / 176 / 21 Регистрация: 16.02.2018 Сообщений: 666
	17.02.2018, 19:42 [ТС]	11
	Сообщение от DrOffset временный объект исключения обозначает lvalue было сказано выше По-моему, там сказано, что lvalue обозначает временный объект, а не наоборот. Сообщение от DrOffset при инициализации ссылки рассматривается категория инициализирущего выражения Про это уже мною сказано в #7 Сообщение от DrOffset Поэтому вы софистикой не занимайтесь После вас. Сообщение от DrOffset категория выражения первична в вопросе привязки к ссылке, а временность объекта, который в итоге получается - вторична. Как только мы мысленно меняем эти приоритеты, создается иллюзия непоследовательности. Уточню в чём мне видится непоследовательность: в обозначении временного объекта lvalue-ом, причём "напрямую". Можно забайндить ссылку к временному объекту и после этого обозначать его lvalue-выражением, но это не "напрямую". Как-то это странно. Думаю, изъян здесь в обзывании объекта-исключения временным. Для такого временного объекта ещё приходится придумывать спец. правила времени жизни. 1

	27.07.2018, 16:30

@rat0r 285 / 176 / 21 Регистрация: 16.02.2018 Сообщений: 666
	27.07.2018, 13:15 [ТС]	12
	Сообщение от Croessmah из стандарта: An lvalue denoting the temporary И в том же стандарте (было) сказано, что выражение denoting temporary — это по определению prvalue. Только в C++17 это противоречие устранили. 0

Croessmah Неэпический 18109 / 10696 / 2062 Регистрация: 27.09.2012 Сообщений: 26,933 Записей в блоге: 1
	27.07.2018, 13:28	13
	rat0r, тебе бы учителем в школе работать - ошибки в работах учеников искать. 0

@Mournful Max
	27.07.2018, 16:30 Временные объекты и ссылки #14
	Не по теме: Croessmah, тогда никто не выпустится :stop: 0