Ошибка компилятора или недостаток знаний

@TerroJames · Регистрация: 27.05.2017

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

Недавно начал писать библиотеку, и сегодня когда мне нужно было в функции принимать rvalue, и заметил одну странность,
в VS17 auto игнорирует указания rvalue, мне сразу стало интересно, зашёл в тестовый формат, и обнаружил вот что:
При использование

C++
1
2
3
int a = 10;
int& b = a;
auto&& c = b; // компилятор говорит что это int& c; а не int&& c;

он автоматически переделывает "с" в ссылку не указывая на ошибку что rvalue не может быть lvalue, да и при всем это компилятор проигнорировал указания пользователя что это должна быть rvalue, auto конечно сам определяет что ему делать ссылкой а что указателем, но это уже другое дело, мне стало интересно, и сделал заведомое ошибочное вырождение.

C++
1
int&& d = b; // ошибка rvalue не может быть ссылкой на lvalue

я конечно подумал что я сам ошибся и решил себя проверить, сделав вот это:

C++
1
auto&& e = 10; //Вот тут не было ошибки компилятор говорит что это rvalue то есть int&& e;

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

@hoggy · 01.07.2017, 15:24

auto схлопывается в ссылку/ссылку на временный объект точно так же,
как шаблоно-параметры в функциях.

https://habrahabr.ru/post/242639/

@TerroJames · 01.07.2017, 15:39 **[ТС]**

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

@hoggy · 01.07.2017, 15:49

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

он автоматически схлопывает его в обычную ссылку

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

если инициилизируется временным объектом
(или объектом, с которого нельзя взять ссылку) - тогда rvalue-reference

всё просто: сначала он попробует прибиндиться к обычной ссылке. и тогда получим type&
если не получилось - к rvalue-reference. и тогда получим type&&

в целом же, можно забить и не париццо.
и везде юзать auto&&
он как бе сам разбереццо к чему ему нужно биндиццо.

@TerroJames · 01.07.2017, 15:58 **[ТС]**

Тут ещё и дело в хорошем тоне, зачем задавать лишнюю работу компилятору, если это можно предусмотреть сразу.

@DrOffset · 01.07.2017, 22:11

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

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

"Незнающий" человек в принципе не сможет хорошо писать на С++, это не тот язык. Оценки правильности лучше делать после изучения матчасти, чтобы не было конфузов. Корень непонимания вот в этой фразе:

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

он автоматически переделывает "с" в ссылку не указывая на ошибку что rvalue не может быть lvalue

Все дело в том, что в твоем первом коде в принципе нет rvalue, поэтому и ошибки нет. Нужно досконально разобраться в механике инструментария, который ты используешь. Есть книжка Мэйерса "Эффективный и современный С++", там все про это есть.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11680&d=1772460536 Одним из. . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .

@hoggy 8973 / 4319 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	01.07.2017, 15:24
	auto схлопывается в ссылку/ссылку на временный объект точно так же, как шаблоно-параметры в функциях. https://habrahabr.ru/post/242639/ 1

@TerroJames 4 / 4 / 0 Регистрация: 27.05.2017 Сообщений: 26
	01.07.2017, 15:39 [ТС]
	Хм.. вот именно это я и хотел узнать, очень полезная ссылка, то что он автоматически схлопывает его в обычную ссылку, ну все же мне кажется это не совсем правильным, об этом хотя бы нужно предупреждать компилятору, незнающий человек думает что работает с rvalue а на самом деле он работает с обычной ссылкой, в некоторых ситуациях это может вызвать некие осложнения. Ну все равно спасибо за ответ. 0

@TerroJames 4 / 4 / 0 Регистрация: 27.05.2017 Сообщений: 26
	01.07.2017, 15:58 [ТС]
	Тут ещё и дело в хорошем тоне, зачем задавать лишнюю работу компилятору, если это можно предусмотреть сразу. 0