Может быть, я неправильно понял вопрос, но я думаю, что OP говорит о rvalues-ссылке на типы функций (т.е. лямбда-выражения и т. Д.).
но я сосредоточился на концепциях glvalue, xvalues и prvalue, а также на ссылках rvalue. Тем не менее, есть одна вещь, которая все еще ускользает от меня:
Что такое"ссылка на тип функции"? Это буквально много раз упоминается в черновиках. Почему была введена такая концепция? Какая польза от этого?