Чи розумне значення за промовчанням у програмі C ++ 11?

У традиційному C ++ передача за значенням функцій та методів для великих об'єктів повільна і, як правило, нахмурена. Натомість програмісти на C ++, як правило, передають посилання навколо, що швидше, але це вводить усілякі складні питання щодо власності та особливо щодо управління пам'яттю (у випадку, якщо об’єкт виділено купою)

Тепер, у C ++ 11, у нас є посилання Rvalue та конструктори переміщення, що означає, що можливо реалізувати великий об'єкт (на зразок an std::vector), який дешево передавати за значенням у функцію та виходити з неї.

Отже, чи означає це, що за замовчуванням має бути передане значення за екземплярами таких типів, як std::vectorі std::string? А як щодо користувацьких об’єктів? Яка нова найкраща практика?

Це розумний дефолт, якщо вам потрібно зробити копію всередині корпусу. Це те , що Дейв Абрамс виступає :

Керівництво: Не копіюйте аргументи функції. Натомість передайте їх за значенням і дозвольте компілятору зробити копіювання.

У коді це означає, що не робити цього:

void foo(T const& t)
{
    auto copy = t;
    // ...
}

але зробіть це:

void foo(T t)
{
    // ...
}

яка має ту перевагу, що абонент може використовувати fooтак:

T lval;
foo(lval); // copy from lvalue
foo(T {}); // (potential) move from prvalue
foo(std::move(lval)); // (potential) move from xvalue

і робиться лише мінімальна робота. Вам потрібно два перевантаження, щоб зробити те ж саме з посиланнями, void foo(T const&);і void foo(T&&);.

Маючи це на увазі, я зараз написав свої цінні конструктори як такі:

class T {
    U u;
    V v;
public:
    T(U u, V v)
        : u(std::move(u))
        , v(std::move(v))
    {}
};

В іншому випадку переходити за посиланням на constвсе-таки розумно.

Майже у всіх випадках ваша семантика повинна бути або:

bar(foo f); // want to obtain a copy of f
bar(const foo& f); // want to read f
bar(foo& f); // want to modify f

Усі інші підписи повинні використовуватися лише скупо та з хорошим обґрунтуванням. Зараз компілятор майже завжди опрацьовує це найефективнішим чином. Ви можете просто продовжити написання коду!

Передайте параметри за значенням, якщо всередині функції функції вам потрібна копія об'єкта або потрібно лише перемістити об’єкт. Проходьте повз, const&якщо вам потрібен лише немутуючий доступ до об'єкта.

Приклад копіювання об'єкта:

void copy_antipattern(T const& t) { // (Don't do this.)
    auto copy = t;
    t.some_mutating_function();
}

void copy_pattern(T t) { // (Do this instead.)
    t.some_mutating_function();
}

Приклад переміщення об'єкта:

std::vector<T> v; 

void move_antipattern(T const& t) {
    v.push_back(t); 
}

void move_pattern(T t) {
    v.push_back(std::move(t)); 
}

Приклад доступу, який не змінюється:

void read_pattern(T const& t) {
    t.some_const_function();
}

Для обґрунтування дивіться ці повідомлення в блозі Дейва Абрахамса та Сян Фана .

Підпис функції повинен відображати її призначення. Читання є важливим також для оптимізатора.

Це найкраща умова для оптимізатора створити найшвидший код - принаймні теоретично, а якщо не в реальності, то через кілька років реальності.

Міркування щодо ефективності дуже часто завищені в контексті передачі параметрів. Ідеальне переадресація - приклад. Такі функції, як emplace_backправило, дуже короткі та в будь-якому випадку.