C ++ 20 Добавленные концепции, и стандартная библиотека включает в себя немало из них. Одна концепция, в частности, привлекла мое внимание: std :: infocatable, которая подтверждает, что функтор может быть вызван набором аргументов. < /P>
- это просто синтаксический сахар для std :: is_invocable . Тем не менее, стандартная библиотека также определяет std :: is_invocable_r , которая проверяет, можно ли использовать функтор с помощью набора аргументов, но также и возвращает определенный тип, когда -то вызываемый. Существуют также версии обеих утилит. Тем не менее, нет эквивалентных концепций, определенных в стандарте. Возможно, есть ли некоторые мелочи, которые случайный читатель не убедил, что комитет решил не включать их?
Подробнее здесь:
https://stackoverflow.com/questions/771 ... -r-concept