値渡しはC ++ 11の妥当なデフォルトですか？

従来のC ++では、値による関数やメソッドへの受け渡しは、ラージオブジェクトの場合は遅く、一般に不満を抱きます。代わりに、C ++プログラマーは参照を渡す傾向がありますが、これは高速ですが、所有権、特にメモリ管理（オブジェクトがヒープに割り当てられている場合）に関するあらゆる種類の複雑な質問が生じます。

これで、C ++ 11には、Rvalue参照と移動コンストラクターがあります。つまりstd::vector、値を関数に渡したり、関数から渡したりするのが簡単な（のような）ラージオブジェクトを実装することができます。

では、これは、デフォルトでは、std::vectorやなどの型のインスタンスの値で渡す必要があることを意味しますstd::stringか？カスタムオブジェクトについてはどうですか？新しいベストプラクティスは何ですか？

本文内にコピーを作成する必要がある場合は、これが妥当なデフォルトです。これがDave Abrahamsの主張です。

ガイドライン：関数の引数をコピーしないでください。代わりに、それらを値で渡し、コンパイラーにコピーを行わせます。

コードでは、これを行わないことを意味します。

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

最小限の作業のみが行われます。あなたは参照して同じことを行うには2つのオーバーロードを必要とする、と思います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();
}

根拠については、Dave AbrahamsとXiang Fanによるこれらのブログ投稿を参照してください。

関数のシグネチャは、その使用目的を反映する必要があります。可読性は、オプティマイザにとっても重要です。

これは、オプティマイザが最速のコードを作成するための最良の前提条件です。理論的には、少なくとも実際にはそうでなくても、数年後には現実になります。

パフォーマンスの考慮事項は、多くの場合、パラメーターの受け渡しのコンテキストで過大評価されています。完全転送がその一例です。のような関数emplace_backは、ほとんどが非常に短く、とにかくインライン化されています。