В настоящее время я должен использовать такие вещи, как
ptime t = from_time_t(last_write_time(p));
std::string Created = boost::posix_time::to_iso_extended_string(t) ;
или
ptime t = from_time_t(last_write_time(p));
std::ostringstream formatter;
formatter.imbue(std::locale(std::cout.getloc(), new boost::posix_time::time_facet("%a, %d %b %Y %H:%M:%S GMT")));
formatter << t;
std::string Created = formatter.str();
первый - быстрый, но не совместимый с тем, что браузеры хотят использовать в качестве формата времени заголовка, второй - слишком медленный. Поэтому я задаюсь вопросом - как создать быстрый, но эффективный форматер ptime в строку, который бы преобразовал ptime в формат "%a, %d %b %Y %H:%M:%S GMT"
и не использовал бы ostringstream
и .str()
(потому что они слишком медленные для моей цели)?