Как применить концепцию к конечному возвращаемому типу ⇐ C++

[Anonymous]

Вот базовый пример:

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

template 
constexpr auto foo(T arg, Callable&& make)
-> decltype(make(std::declval())) {
return make(arg);
}

Можно ли применить ограничение к конечному возвращаемому типу и как?
Теперь я делаю следующее:

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

template 
constexpr auto bar(T arg, Callable&& make){
return make(arg);
}

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

bar

можно вызвать только с помощью callable, возвращающего целочисленное значение, что мне кажется немного запутанным и трудным для чтения (хотя, возможно, дело вкуса).
Это полный пример:

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

#include 
#include 
#include 

template 
constexpr auto foo(T arg, Callable&& make)
-> decltype(make(std::declval())) {
return make(arg);
}

template 
constexpr auto bar(T arg, Callable&& make) {
return make(arg);
}

double make_double(int i) { return 3.14 * i; }
int make_int(int i) { return i; }

int main() {
std::cout 

Подробнее здесь: [url]https://stackoverflow.com/questions/79815483/how-to-apply-a-concept-to-a-trailing-return-type[/url]