Влиять на автоматическое вычитание типа

Question

Допустим, я пишу функцию, которая возвращает некоторый прокси-объект, скажем, для ленивой оценки или для какой-то другой цели.Если я напишу код, подобный

auto x = func();

, тогда x будет типом возвращаемого значения - , а не тип объекта, который я хотел проксировать.Можно ли изменить auto или decltype, чтобы при их использовании в этой ситуации возвращался фактический результат, который я хочу получить, а не тип самого прокси-объекта?

Answer 1

Случайные мысли:

Вы можете получить тип проксируемого объекта, используя decltype(*func()), или же получить доступ к прокси-объекту.Нет никаких модификаторов auto, кроме обычных const, & и т. Д.

Если это ленивая оценка, вам, вероятно, сейчас не нужен конечный тип объекта, не так ли??

Если у прокси есть оператор кенверсии конечного объекта, как auto узнает, что его следует использовать?Что если их больше одного?

Answer 2

Почему бы не набрать тип внутри func() на то, что вы хотите при возврате?