gistfile1.txt

static
void
serialize_impl(
    string& s,
    serializer& sr)
{
    // serialize to a small buffer
    // to avoid most reallocations
    char buf[16384];
    string_view sv;
    sv = sr.read(buf);
    if(sr.done())
    {
        s.append(sv);
        return;
    }
    s.reserve(sv.size() * 2);
    s.append(sv);
    do
    {
        sv = sr.read(
            s.data() + s.size(),
            s.capacity() - s.size());
        s.grow(sv.size());
    }
    while(! sr.done());
}