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

[Гость]

Я хочу написать концепцию класса, который имеет функцию-член, и эта функция-член принимает вызываемый объект в качестве аргумента:

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

#include 

struct Foo {
void process(std::invocable auto&& callback);
};

template
concept C = requires(T t) {
// ??
};
static_assert(C);

Я не могу написать require(T t, std::invocable f), поскольку компилятор не позволяет это сделать. Я не хочу использовать invocable в качестве аргумента шаблона, потому что я не смогу написать void foo(C auto&& c) без указания типа invocable.
На данный момент я придумал это решение, но оно дополнительно ограничивает тип возвращаемого значения:

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

template
concept C2 = requires(T t) {
t.process(std::declval());
};
static_assert(C2);

Are there any better solution?
Thanks for you help.


Источник: https://stackoverflow.com/questions/781 ... n-argument