has_extraction_operator.hpp

Go to the documentation of this file.

 
 
#ifndef ECSTASY_SERIALIZATION_HAS_EXTRACTION_OPERATOR_HPP_
#define ECSTASY_SERIALIZATION_HAS_EXTRACTION_OPERATOR_HPP_
 
#include "ecstasy/serialization/ISerializer.hpp"
#include "is_serializer.hpp"
 
namespace ecstasy::serialization::concepts
{
    template <typename S, typename T>
    concept has_extraction_operator = requires(S &s, const T &t) {
        // Cannot use is_serializer here because it would create a circular dependency.
        requires std::derived_from<S, ISerializer>;
 
        // clang-format off
        { t >> s } -> std::same_as<S &>;
        // clang-format on
    };
 
    // clang-format off
    // clang-format on
    template <typename S, typename C>
    bool constexpr has_extraction_operator_v = has_extraction_operator<S, C>;
 
} // namespace ecstasy::serialization::concepts
 
#endif /* !ECSTASY_SERIALIZATION_HAS_EXTRACTION_OPERATOR_HPP_ */