семантика значений против выходных параметров с большими структурами данных

Проблема с выходными параметрами, как описано в связанном вопросе, состоит в том, что они обычно составляют общий случай вызова (т. Е. У вас нет vector хранилище использовать уже) гораздо более многословно, чем обычно. Например, если вы использовали return by value:

auto a = split(s, r);

если вы использовали выходные параметры:

std::vector<std::string> a;
split(s,r,a);

Второй выглядит много менее красивым для моих глаз. Кроме того, как упоминал Чендлер, оптимизатор может сделать гораздо больше с первым, чем со вторым, в зависимости от остальной части вашего кода.

Есть ли способ, которым мы можем получить лучшее из обоих миров? многозначительно да, используя семантику перемещения:

std::vector<std::string> split(const std::string &s, const std::regex &r, std::vector<std::string> v = {})
{
auto rit = std::sregex_token_iterator(s.begin(), s.end(), r, -1);
auto rend = std::sregex_token_iterator();
v.clear();
while(rit != rend)
{
v.push_back(*rit);
++rit;
}

return v;
}

Теперь, в общем случае, мы можем позвонить split как обычно (то есть, первый пример), и он выделит новый vector хранение для нас. В важном, но редком случае, когда нам приходится многократно разделять и мы хотим повторно использовать одно и то же хранилище, мы можем просто переехать в хранилище, которое сохраняется между вызовами:

int main()
{
const std::regex r(" +");
std::vector<std::string> a;
for(auto i=0; i < 1000000; ++i)
a = split("a b c", r, std::move(a));
return 0;
}

Это работает так же быстро, как метод выходного аргумента, и то, что происходит, совершенно ясно. Вам не нужно постоянно усложнять использование вашей функции, просто чтобы иногда добиться хорошей производительности.

Я собирался реализовать решение с помощью string_view а также диапазоны а потом нашел это:

• std :: split (): алгоритм разделения строк

Это одобряет семантика значения вывод по возврату и я принимаю это как красивее, чем текущий выбор в указанном SO ответе. Этот дизайн также будет принимать характер источник вне функции, хотя это возвращается. Простая иллюстрация: можно получить внешнюю зарезервированный вектор существо повторно заполнено возвращенным диапазоном.

В любом случае, я не уверен, есть ли такая версия split может помочь оптимизатору в любом смысле (я говорю в контексте разговора Чендлера здесь).

уведомление

Версия выходного параметра обеспечивает существование именованной переменной на сайте вызовов, что может показаться уродливым, но всегда может облегчить отладку сайта вызовов.

Пример решения

В то время как std::split не прибыл, я осуществил семантика значения вывод по возврату версия таким образом:

#include <string>
#include <string_view>
#include <boost/regex.hpp>
#include <boost/range/iterator_range.hpp>
#include <boost/iterator/transform_iterator.hpp>

using namespace std;
using namespace std::experimental;
using namespace boost;

string_view stringfier(const cregex_token_iterator::value_type &match) {
return {match.first, static_cast<size_t>(match.length())};
}

using string_view_iterator =
transform_iterator<decltype(&stringfier), cregex_token_iterator>;

iterator_range<string_view_iterator> split(string_view s, const regex &r) {
return {
string_view_iterator(
cregex_token_iterator(s.begin(), s.end(), r, -1),
stringfier
),
string_view_iterator()
};
}

int main() {
const regex r(" +");
for (size_t i = 0; i < 1000000; ++i) {
split("a b c", r);
}
}

Я использовал Маршалла Клоу string_view Реализация libc ++ найдена в https://github.com/mclow/string_view.

Я разместил время в нижней части рекомендованный ответ.