fk0, легенда (19.02.2019 13:16, просмотров: 101) ответил fk0 на Можно обобщить, возвращая ссылку я могу, верней компилятор, делать какие-то выводы из её типа: выбирать функцию для вызова (argument depentdent lookup), инстанцировать шаблон нужным типом (в момент компиляции, зная возвращаемое значение
Развивая мысль дальше, если кому-то нужно по значению возвращать, они могут возвращать не сам тип, a std::tuple<T>, std::optional<T> или даже может ввести специальный тип контейнера для хранения других типов, который выглядит как смарт-поинтер внутри не ссылка или указатель, а сам тип как есть. И тогда звёздочка будет работать всегда. Но мне кажется, я подвожу к нехорошей мысли, что вначале я сказал, что мол сырые указатели мол не очень нужны, а теперь получается и сами сырые типы тоже не очень нужны. Что-то в этом по-моему есть... Может быть понятие смарт-поинтера следовало бы встроить на уровень языка.
[ZX]