1

Есть класс с некоторым копируемым полем.

class Foo{
    Bar _bar;
    //...
};

До появления move семантики, я бы сказал что лучший способ инициализировать _bar это передать константую ссылку на него:

Foo::Foo(const Bar &bar) : 
    _bar(bar)
{}

Но, чтобы сделать нашу жизнь сложнее лучше, появилась move семантика. И у меня возник вопрос. А какой теперь лучший способ инициализировать поля класса? Грубо говоря все сводится к:

Foo::Foo(const Bar &bar) : 
    _bar(bar)
{}

vs.

Foo::Foo(Bar bar) : 
    _bar(std::move(bar))
{}

Очевидно что в некоторых ситуациях лучше один конструктор, а в некоторых другой. Может есть какое-нибудь "правило большого палца" или best practice на эту тему?

3 ответа 3

3

Все зависит от того, есть у Bar конструктор перемещения или нет.

Если его нет - то константная ссылка будет лучшим решением:

Foo::Foo(const Bar &bar) : _bar(bar) {}

Если он есть - то лучше использовать временный объект, лишние перемещения заинлайнятся на этапе оптимизации:

Foo::Foo(Bar bar) : _bar(std::move(bar)) {}

Если вы не знаете если он или его нет - можно попробовать вот такой вариант:

Foo::Foo(const Bar &bar) : _bar(bar) {}
Foo::Foo(Bar &&bar) : _bar(std::move(bar)) {}
4
  • А во втором случае не окажется копирование с перемешением, в то время как в первом это будет просто копирование (как сказано у @Harry)?
    – Mikhajlo
    1 окт 2018 в 13:51
  • @Mikhailo во втором случае будет выбран наилучший способ из доступных. Либо копирование с перемещением (которое один фиг оптимизируется), либо два перемещения (которые тоже оптимизируются). 1 окт 2018 в 13:55
  • Т.е. вы просто полагаетесь на оптимизацию?
    – Mikhajlo
    1 окт 2018 в 14:02
  • @Mikhailo в этом вся современная разработка на плюсах 1 окт 2018 в 14:03
2

Гм... мне кажется, что лучше Foo::Foo(const Bar &bar) и Foo::Foo(Bar&& bar).

Ваш вариант с Foo::Foo(Bar bar) окажется не лучшим, если Bar не умеет перемещаться - будут просто лишние копирования.

2
  • Для одного аргумента - да. Но в общем случае нужно писать 2^число_аргументов перегрузок. 1 окт 2018 в 14:58
  • @yrHeTaTeJlb Но нас-то и спрашивают об одном варианте :)
    – Harry
    1 окт 2018 в 15:01
1
  1. У вас есть "детальный" вариант реализации с двумя конструкторами

    Foo::Foo(const Bar &bar) : _bar(bar) {}
    Foo::Foo(Bar &&bar) : _bar(std::move(bar)) {}
    

    отдельно для копирования и отдельно для перемещения.

  2. "Ленивый" вариант реализации с одним конструктором

    Foo::Foo(Bar bar) : _bar(std::move(bar)) {}
    

    который покрывает функциональность первых двух с незначительной потерей эффективности.

  3. И forwarding вариант реализации с прямой конструкцией _bar на месте, без создания промежуточного Bar

    template<typename... Args>
    Foo::Foo(Args&&... args) : _bar(std::forward<Args>(args)...) {}
    

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.