RM
Я прав?
Size: a a a
2020 April 18
AB
Мув делает T&&, а под T у тебя может быть и U&. Получишь U&&&=U&. Никаких rvalue из lvalue не получишь
Это форвард так делает
/¯
Я прав?
Да
TS
Мув делает T&&, а под T у тебя может быть и U&. Получишь U&&&=U&. Никаких rvalue из lvalue не получишь
Не получит, будет U&&
RM
Ну значит не зря просрал пол дня на чтение
O
Увы,
42 — prvalue, так что это не то, что я хочуAB
в случае с template не всегда && - это rvalue
Если он вида T&&, где T - параметр шаблона, или в
auto&& var = init();RM
Мув делает T&&, а под T у тебя может быть и U&. Получишь U&&&=U&. Никаких rvalue из lvalue не получишь
В каком то из стандартов это уже так не работает
RM
Там же remove_reference используется
RM
Так что будь там хоть 10 &&, он приводится к lvalue, а затем уже к &&
RM
Если конечно используется move
TS
Так что будь там хоть 10 &&, он приводится к lvalue, а затем уже к &&
Какой мы делаем вывод?
@urandon не знает плюсы?
@urandon не знает плюсы?
AB
Так, сейчас будет совершенно странный вопрос, точно не в прод
Есть способ вызвать разные перегрузки/специализации
int a = 42;
int& b = a;
foo(a);
foo(b);
Есть способ вызвать разные перегрузки/специализации
foo()?Нет
RM
Artöm Bakri Al-Sarmini
Если он вида T&&, где T - параметр шаблона, или в
auto&& var = init();auto&& разве не приводится к auto& или к auto&& в зависимости от того что возвращает init ?
AB
Оно работает так же, как и forwarding reference
RM
Еще я вычитал что const auto& test = 55; аналогичен
auto obj = 55;
const auto &test = obj
RM
То есть, под капотом такая реализация, хз правда это или нет
RM
из источников так говорится