mysql::strconv::Is_string_producer Concept Reference

True for invocables that can be used with out_str_write, i.e., which accept either a String_writer & or a String_counter & argument, and the return type is either void or Return_status. More...

#include <out_str_write.h>

Concept definition

template<class Test>
concept mysql::strconv::Is_string_producer =  Is_string_producer_pair<Test, Test>

Detailed Description

True for invocables that can be used with out_str_write, i.e., which accept either a String_writer & or a String_counter & argument, and the return type is either void or Return_status.

Moreover, semantic requirements related to determinism apply. For an object obj of type Test, say that obj(...) succeeds if either the return type is void, or the call returns Return_status::ok. Let sc be a String_counter object and sw a String_writer object.

• If obj(sc) succeeds, and sw.remaining_size() < sc.size(), then obj(sw) must succeed.
• obj(sc) must not have side effects. (If it modifies the state of other objects, it must restore those side effects.)