Function get_string

Tools/parse.h:58–65

}

inline void get_string(string& res, istream& s)
{
  unsigned size = get_int(s);
  char* buf = new char[size];
  s.read(buf, size);
  res.assign(buf, size);
  delete[] buf;
}

#endif /* TOOLS_PARSE_H_ */