AB
Потому что разницы нет
Size: a a a
2020 April 19
RM
Если у нас T изначельно &&, а то что мы муваем так же &&, то разве не T&& && ?
RM
Ты имеешь в виду что после сжатия ссылок мы получим T&& ?
AB
Если у нас T изначельно &&, а то что мы муваем так же &&, то разве не T&& && ?
Нет, T здесь ссылкой не будет
AB
Ты имеешь в виду что после сжатия ссылок мы получим T&& ?
В примере 3 нет сжатия ссылок
AB
Сжатие ссылок происходит, когда T ссылка. Но в примере 3 оно выводится как нессылочный тип изначально
RM
RM
то есть, если мы пытаемся переместить объект, который является ссылкой на наш объект основной
RM
то только тогда эта ссылка участвует в типе?
AB
Если аргумент выражение, имеющее тип лвалуев ссылки, или имя переменной (то есть лвалуев), то T будет лвалуев ссылкой
AB
Как рвалуев ссылка T не выводится никогда
RM
Artöm Bakri Al-Sarmini
Если аргумент выражение, имеющее тип лвалуев ссылки, или имя переменной (то есть лвалуев), то T будет лвалуев ссылкой
Вот к примеру
А если мы сделаем так
int a = 5;Получается, что здесь foo принимающий T&& станет для данного случаея T&& &, и за счет сжатия ссылок получится T& (так как мы передаем не a, а ссылку b)
int& b = a;
foo(b)
А если мы сделаем так
int a = 5;То получается что T изначально станет T& потому что лвалуе
foo(a);
RM
Верно?
AB
Эти случаи ничем не отличаются. В обоих T выводится как int&, соответственно T&& тоже int& за счет сжатия ссылок
AB
Ты не спеши везде видеть сжатие ссылок, оно происходит при конкретных обстоятельствах
AB
Artöm Bakri Al-Sarmini
Эти случаи ничем не отличаются. В обоих T выводится как int&, соответственно T&& тоже int& за счет сжатия ссылок
И в обоих T ссылка потому, что аргумент - имя переменной
RM
Artöm Bakri Al-Sarmini
И в обоих T ссылка потому, что аргумент - имя переменной
Так, мне нужно поэкспериментировать с is_same_v чтоб точно убедиться что там происходит, чтоб тебя не мучать
RM
Как правильно проверить сам T и то что туда передается?
RM
Через std::is_same_v
AB
Все, что я сейчас рассказываю, объясняет Мейерс за полчаса