Всем привет. Ктонибудь может ответить почему в c++ template <typename T> void

Question

Всем привет. Ктонибудь может ответить почему в c++ template <typename T> void

f(T&& arg)

Здесь T&& это универсальная ссылка

А тут

template <typename T>
struct S
{
void f(T&& arg) // это уже rvalue ссылка
}

В чем тут логика, почему во втором случае это не универсальная ссылка?

#c++ #embedded #programming #russian

0

30.08.2023

13 ответов

5 просмотров

Ofee Oficsu

И да, >> void f(T&& arg) // это уже rvalue ссылка Это ошибочный вывод, сжатие ссылок никуда не делось

0

8 месяцев назад

Eugene Автор вопроса

Не соберётся этот пример без явного std::move и приведения в рвалуе

0

8 месяцев назад

Ofee Oficsu

Eugene
Не соберётся этот пример без явного std::move и пр...

Советую проверять свои суждения перед ответом :) https://godbolt.org/z/8G3Y51jbq

0

8 месяцев назад

Eugene Автор вопроса

Ofee Oficsu
Потому что во втором случае при вызове f, класс уж...

Благодарю за подсказку, все равно это странно

0

8 месяцев назад

Eugene Автор вопроса

Ofee Oficsu
Советую проверять свои суждения перед ответом :) ...

Я проверил

0

8 месяцев назад

Int Unsigned

T&& - универсальная ссылка, когда она непосредственно выводимая. В случае struct T уже выведено и является непосредственно каким то конкретным типом. Поэтому уже не универсальная, а конкретная.

0

8 месяцев назад

Int Unsigned

Int Unsigned
T&& - универсальная ссылка, когда она непосредстве...

ПС. Когда видите конструкцию template<typename T> somewhat(T&&). Думайте об это НЕ "я декларирую T&&", Это некоторая "конструкция языка T&&", которая становится типом, которым ее инициализировали.

0

8 месяцев назад

Ofee Oficsu

Int Unsigned
ПС. Когда видите конструкцию template<typename T> ...

Это просто ссылка, которая сожмётся при выводе аргумента (в обоих случаях), никакой магической конструкции в обоих случаях нет, как и нет особых правил, отличающих их друг от друга

0

8 месяцев назад

Int Unsigned

Ofee Oficsu
Это просто ссылка, которая сожмётся при выводе арг...

Она сначала "конструкция", которая получает свой тип по правилу сжатия ссылок. Кстати прикольно раздумывать над auto&& x = -somewhat-

0

8 месяцев назад

Sergey Anisimov

Int Unsigned
Она сначала "конструкция", которая получает свой т...

С auto&& то же самое же.

0

8 месяцев назад