Concept definition

template<typename Callback, typename ReturnType, typename... Args>
concept original::CallbackOf =  requires(Callback callback, Args&&... args) {
        { callback(std::forward<Args>(args)...) } -> std::convertible_to<ReturnType>;
    }

Detailed Description

Validates callback signature compatibility.

Template Parameters

Callback	Callable type to check
ReturnType	Expected return type
Args	Expected argument types

Ensures the callback can be invoked with specified arguments and returns the specified type. Supports perfect forwarding of arguments.

auto lambda = [](int x) { return x * 2; };
static_assert(CallbackOf<decltype(lambda), int, int>);    // Succeeds
static_assert(CallbackOf<decltype(lambda), double, int>); // Fails (return type mismatch)