LibXR::Print::CompiledFormat Concept Reference

Writer 可执行的编译后格式对象。 More...

#include <print_contract.hpp>

Concept definition

template<typename Format>
concept LibXR::Print::CompiledFormat =  requires
{
  typename std::remove_cvref_t<decltype(Format::Codes())>::value_type;
  typename std::remove_cvref_t<decltype(Format::ArgumentList())>::value_type;
  { Format::Codes().data() } -> std::convertible_to<const uint8_t*>;
  { Format::Codes().size() } -> std::convertible_to<size_t>;
  { Format::ArgumentList().size() } -> std::convertible_to<size_t>;
  { Format::ArgumentOrder().size() } -> std::convertible_to<size_t>;
  { Format::Profile() } -> std::convertible_to<FormatProfile>;
} && std::same_as<typename std::remove_cvref_t<decltype(Format::Codes())>::value_type,
                  uint8_t> &&
    std::same_as<
        typename std::remove_cvref_t<decltype(Format::ArgumentList())>::value_type,
        FormatArgumentInfo>

Detailed Description

Writer 可执行的编译后格式对象。

Compiled format object executable by Writer.

Definition at line 53 of file print_contract.hpp.