Grows the buffer by n characters and returns a pointer to the newly allocated area.
| 1453 | // Grows the buffer by n characters and returns a pointer to the newly |
| 1454 | // allocated area. |
| 1455 | CharPtr grow_buffer(std::size_t n) { |
| 1456 | std::size_t size = buffer_.size(); |
| 1457 | buffer_.resize(size + n); |
| 1458 | return internal::make_ptr(&buffer_[size], n); |
| 1459 | } |
| 1460 | |
| 1461 | // Prepare a buffer for integer formatting. |
| 1462 | CharPtr prepare_int_buffer(unsigned num_digits, |
no test coverage detected