Function write

src/common/perf_counters_key.cc:15–20

write a delimited string to the output

// write a delimited string to the output
auto write(std::string_view str, std::output_iterator<char> auto out)
{
  out = std::copy(str.begin(), str.end(), out);
  *(out++) = DELIMITER;
  return out;
}

// return the encoded size of a label
inline std::size_t label_size(const label_pair& l)