scl::feature::concepts::compatible_with Concept Reference

Satisfied when Type is compatible with Expected. More...

#include <wrapper.h>

Concept definition

    template<typename Expected, typename Type>
    concept compatible_with = ::scl::feature::is_compatible_with_v<Expected, Type>

Detailed Description

Satisfied when Type is compatible with Expected.

Two wrappers are compatible when their value and executor types match, meaning one can be constructed directly from the other's executor.

Template Parameters

Expected	The target wrapper type.
Type	The source type to check.

using W = wrapper<int, plain>;
static_assert( compatible_with<W, W>);
static_assert(!compatible_with<W, wrapper<int, uninitialized>>);