Рассмотрим случай, когда объекты "целого" с включенной семантикой перемещения возвращаются из функций, например, с помощью std::basic_string<>
:
std::wstring build_report() const
{
std::wstring report;
...
return report;
}
Могу ли я тогда, как можно ожидать, сделать "лучший" выбор, использовать ли возвращенную строку с семантикой перемещения, как в
const std::wstring report(std::move(build_report()));
или если я полагаюсь на (N) RVO, чтобы иметь место с
const std::wstring report(build_report());
или даже привязать константную ссылку к временному с помощью
const std::wstring& report(build_report());
Какая схема состоит в том, чтобы сделать детерминированный выбор этих параметров, если они есть?
РЕДАКТИРОВАТЬ 1: Обратите внимание, что использование std::wstring
выше - это просто пример типа семантики с поддержкой перемещения. Он также будет заменен на ваш arbitrary_large_structure
.: -)
РЕДАКТИРОВАТЬ 2: Я проверил сгенерированную сборку при запуске версии с оптимизацией скорости в VS 2010 следующего вида:
std::wstring build_report(const std::wstring& title, const std::wstring& content)
{
std::wstring report;
report.append(title);
report.append(content);
return report;
}
const std::wstring title1(L"title1");
const std::wstring content1(L"content1");
const std::wstring title2(L"title2");
const std::wstring content2(L"content2");
const std::wstring title3(L"title3");
const std::wstring content3(L"content3");
int _tmain(int argc, _TCHAR* argv[])
{
const std::wstring report1(std::move(build_report(title1, content1)));
const std::wstring report2(build_report(title2, content2));
const std::wstring& report3(build_report(title3, content3));
...
return 0;
}
Два наиболее интересных результата:
- Явный вызов
std::move
дляreport1
для использования конструктора перемещения тройки счетчика команд. - Как отметил Джеймс Макнеллис в его ответе ниже,
report2
иreport3
действительно генерируют идентичную сборку с инструкциями в 3 раза меньше, чем явным вызовомstd::move
.