Народ, у меня есть идея пропозала новой фичи к С++26

стандарту - новая конструкция auto-вывода типа ссылок для локальных переменных - "auto&&&" (синтаксис не важен). Эта конструкция будет работать почти также как и "auto&&"
auto&& val1 = 123; //T&&
int& val2 = val1;
auto&& val3 = val2; //T&
auto&& val4 = static_cast<int&&>(val2); //T&&
за одним исключением - если справа будет T&& то в результате будет выведен тип T
auto&&& val1 = 123; //T&&
int& val2 = val1;
auto&&& val3 = val2; //T&
auto&&& val4 = static_cast<int&&>(val2); //T
Зачем это нужно - такая конструкция поможет избежать очень неприятных случаев UB связанных с протухшими временными значениями которые исчерпали количество продлений своей жизни до конца скоупа (которое в С++ равно 1)
Что такое количество продлений жизни? Покажу на примерах. Здесь временное значение продлевает свое время жизни 0 раз
{
...
someFunc(SomeStrunc{});
//вызывается деструктор у временного значения SomeStruct{}
...
}
А здесь временное значение продлевается время своей жизни один раз
{
...
auto&& val = SomeStrunc{}; //продлевается время жизни
someFunc(val);
...
//вызывается деструктор у временного значения SomeStruct{}
}
А вот здесь временное значение пытается продлить время своей жизни два раза но так нельзя (максимум 1 раз) и поэтому здесь будет UB
auto&& id(auto&& arg){ //продлевается время жизни один раз
return arg;
}

auto someFunc(){
...
auto&& val = /* попытка продлить второй раз */ id(SomeStruct{});
//вызывается деструктор у временного значения SomeStruct{}
someFunc(val); //UB при попытке прочитать значение
...
}
И вот эта новая фича конструкции вывода ссылок позволит избежать этого UB
auto&& id(auto&& arg){
return arg;
}

auto someFunc(){
...
auto&&& val = /*создается дешевая копия с вызовом мув-конструктора*/ id(SomeStruct{});
//вызывается деструктор у временного значения
someFunc(val); //нет UB при попытке прочитать значение
...
//вызывается деструктор у копии
}
Кто-нибудь знает может уже есть такой пропозал к С++26?

decltype(auto) не?

Ты шо! Это же столько буков! Сложна буковы писать!

ну он так-то уже существует

Я знаю. Это был запрещенный правилами оффтоп.

не надо так!

Почему только для T&&? Такие же проблемы и с возвратом const T&. И да, это жесть, которая лишь усложнит работу auto и ссылок

"const T&" нужен было до С++11 потому что это был единственный способ связать ссылку как с переменной так и с временным значением. А с появлением rvalue-ссылок у нас теперь отпадает необходимость использовать "const T&" и с помощью конструкции "универсальных" ссылок auto&& мы можем объявить ссылку и связать ее как с переменной так и с временным значением. А если смысл в использовании "const T&" был в том чтобы запретить себе менять значение то пожалуй тогда есть смысл создать еще один пропозал который позволит объявлять константные "универсальные" ссылки

А без изменений в языке разве такое йе сделать? Ну тип шаблоном вывести.