Как проверить, что вызываемый объект имеет определенную подпись, включая параметры и возвращаемый тип? ⇐ C++

[Anonymous]

У меня есть два семейства функций, которые обновляют переменные двумя разными способами:

• Некоторые функции вызываются для внесения некоторых изменений, которые затем должен применить клиент. код (

  Код: Выделить всё

  calculate

  в коде ниже);
• Другие «напрямую» меняют значения через указатели (

  Код: Выделить всё

  update

  в коде ниже).

Я хочу унифицировать работу с этими семействами, когда дело доходит до вызова их для диапазонов (для простоты Я опустил здесь использование диапазонов и просто передал одно значение).
Все работало нормально до того момента, пока разработчик в клиентском коде по ошибке не «сохранил» параметр в лямбде, введя мой процесс в заблуждение функция.
См. код:

Код: Выделить всё

#include 
#include 

void process(float& value, auto fn) {
if constexpr (std::is_invocable_r_v) {
std::cout 

Подробнее здесь: [url]https://stackoverflow.com/questions/79310026/how-to-check-that-callable-has-a-specific-signature-including-params-and-returni[/url]