名前空間
変種
操作

copy elision

提供: cppreference.com
< cpp‎ | language

 
 
C++言語
一般的なトピック
フロー制御
条件付き実行文
繰り返し文 (ループ)
ジャンプ文
関数
関数宣言
ラムダ関数宣言
inline 指定子
例外指定 (非推奨)
noexcept 指定子 (C++11)
例外
名前空間
指定子
decltype (C++11)
auto (C++11)
alignas (C++11)
記憶域期間指定子
初期化
代替表現
リテラル
ブーリアン - 整数 - 浮動小数点
文字 - 文字列 - nullptr (C++11)
ユーザ定義 (C++11)
ユーティリティ
属性 (C++11)
typedef 宣言
型エイリアス宣言 (C++11)
キャスト
暗黙の変換 - 明示的な変換
static_cast - dynamic_cast
const_cast - reinterpret_cast
メモリ確保
クラス
クラス固有の関数特性
特別なメンバ関数
テンプレート
その他
 
ゼロコピーpass-by-valueセマンティックで、その結果、コピーとムーブコンストラクタを最適化.
Original:
Optimizes out copy- and move-constructors, resulting in zero-copy pass-by-value semantics.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

目次

[編集] 説明

次の状況では、コンパイラは、コピー、コピー/ムーブコンストラクタとデストラクタが副作用を観察している場合でも、クラスオブジェクトの移動 - コンストラクタを省略することが許可されています.
Original:
Under the following circumstances, the compilers are permitted to omit the copy- and move-constructors of class objects even if copy/move constructor and the destructor have observable side-effects.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
  • 関数は値によってクラス型を返し、return文の表現ではなく、関数のパラメータ、またはcatch節のパラメータ、および同一のアドレスを持つCV-ISへ自動記憶域期間を持つ不揮発性のオブジェクトの名前である場合関数の戻り値の型として修飾されていないタイプは、コピー/移動を省略しております。そのローカル変数が作成されるとき、それは関数の戻り値は、他の方法で移動またはコピーされるストレージに直接構築されます。コピーの省略のこの亜種は、 "戻り値の最適化という" NRVOとして知られています.
    Original:
    If a function returns a class type by value, and the return statement's expression is the name of a non-volatile object with automatic storage duration, which isn't the function parameter, or a catch clause parameter, and which has the same cv-unqualified type as the return type of the function, then copy/move is omitted. When that local variable is constructed, it is constructed directly in the storage where the function's return value would otherwise be moved or copied to. This variant of copy elision is known as NRVO, "named return value optimization".
    The text has been machine-translated via Google Translate.
    You can help to correct and verify the translation. Click here for instructions.
  • 無名一時は、すべての参照にバインドされていないときは、同じのcv-修飾されていない型のオブジェクトに移動またはコピーされるでしょう、コピー/移動を省略しております。その一時が構築されるとき、それはそれがそうでなければ移動またはコピーされるストレージに直接構築されます。名無しの一時はreturn文の引数である場合は、コピー省略のこのバリアントはRVO、 "戻り値の最適化"として知られてい.
    Original:
    When a nameless temporary, not bound to any references, would be moved or copied into an object of the same cv-unqualified type, the copy/move is omitted. When that temporary is constructed, it is constructed directly in the storage where it would otherwise be moved or copied to. When the nameless temporary is the argument of a return statement, this variant of copy elision is known as RVO, "return value optimization".
    The text has been machine-translated via Google Translate.
    You can help to correct and verify the translation. Click here for instructions.
  • 投げ込み式では、オペランドはしない関数パラメータ、catch節のパラメータ、およびスコープ最も内側のtryブロックを越えて拡張しないで自動記憶域期間を持つ非volatileオブジェクトの名前である場合( tryブロック)がある場合は、コピー/移動を省略しております。そのローカル変数が作成されるとき、それは例外オブジェクトが別の方法で移動またはコピーされるストレージに直接構築されます。 (C++11およびそれ以降)
    Original:
    In a throw-expression, if the operand is the name of a non-volatile object with automatic storage duration, which isn't the function parameter, or a catch clause parameter, and whose scope does not extend past the innermost try-block (if there is a try-block), then copy/move is omitted. When that local variable is constructed, it is constructed directly in the storage where the exception object would otherwise be moved or copied to. (C++11およびそれ以降)
    The text has been machine-translated via Google Translate.
    You can help to correct and verify the translation. Click here for instructions.
  • 例外を処理するときに、例外オブジェクトがスローされたとしてキャッチ句の引数が同じ型(CV-資格を除く)である場合、コピー/移動が省略され、catch節の本体は次のように、直接、例外オブジェクトにアクセスするそれは、参照によって渡された場合。 (C++11およびそれ以降)
    Original:
    When handling an exception, if the argument of the catch clause is of the same type (except for cv-qualification) as the exception object thrown, the copy/move is omitted and the body of the catch clause accesses the exception object directly, as if it was passed by reference. (C++11およびそれ以降)
    The text has been machine-translated via Google Translate.
    You can help to correct and verify the translation. Click here for instructions.
複数のコピーelisions複数のコピーを排除するチェーン接続することもでき.
Original:
Multiple copy elisions may be chained to eliminate multiple copies.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

[編集] ノート

コピー省略は、観察可能な副作用を変更することができ、最適化の唯一の許可された形式です。いくつかのコンパイラはそれが許可されているすべての状況で、コピー省略を実行しないため、コピー/ムーブコンストラクタとデストラクタの副作用に依存するプログラムは移植性がありません.
Original:
Copy elision is the only allowed form of optimization that can change the observable side-effects. Because some compilers do not perform copy elision in every situation where it is allowed, programs that rely on the side-effects of copy/move constructors and destructors are not portable.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
コピーの省略が行われるとcopy-/move-constructorが呼び出されていない場合でも、それが存在し、アクセス可能である必要があり、そうでなければプログラムは不適格.
Original:
Even when copy elision takes place and the copy-/move-constructor is not called, it must be present and accessible, otherwise the program is ill-formed.
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

[編集]

#include <vector>
#include <iostream>
 
struct Noisy {
    Noisy() {std::cout << "constructed\n"; }
    Noisy(const Noisy&) { std::cout << "copied\n"; }
    Noisy(Noisy&&) { std::cout << "moved\n"; }
    ~Noisy() {std::cout << "destructed\n"; }
};
 
std::vector<Noisy> f()
{
    std::vector<Noisy> v = std::vector<Noisy>(3); // copy elision from temporary to v
    return v; // NRVO from v to the nameless temporary that is returned
}
 
void fn_by_val(std::vector<Noisy> arg)
{
    std::cout << "arg.size() = " << arg.size() << '\n';
}
 
int main()
{
    std::vector<Noisy> v = f(); // copy elision from returned temporary to v
    fn_by_val(f());             // and from temporary to the argument of fn_by_val()
}

出力例:

constructed
constructed
constructed
constructed
constructed
constructed
arg.size() = 3
destructed
destructed
destructed
destructed
destructed
destructed

[編集] 参照