kcenon::common::concepts::ReturnsResult Concept Reference

A callable type that returns a value convertible to the specified type. More...

#include <callable.h>

Concept definition

template<typename F, typename R, typename... Args>
concept kcenon::common::concepts::ReturnsResult =  Invocable<F, Args...> &&
    std::convertible_to<std::invoke_result_t<F, Args...>, R>

Detailed Description

A callable type that returns a value convertible to the specified type.

Example usage:

template<ReturnsResult<int> F>
int compute(F&& func) {
    return func();
}

Definition at line 96 of file callable.h.