質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

90.38%

  • C++

    4653questions

    C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

値のコピー省略の保証について

解決済

回答 1

投稿 編集

  • 評価
  • クリップ 3
  • VIEW 409

alphya

score 88

C++17で追加された機能、値のコピー省略を保証について、規格のどこにこの記述があるのかわかる方がいましたら、ご教授お願いいたします。

コンパイラの実装状況などでは、この機能についての参照にp0135r1が挙げられています。

また、n4659 [class.copy.elision]も関係しそうだと思います。[class.copy.elision]/1.1 に、次の記述があります。

in a return statement in a function with a class return type, when the expression is the name of a non-volatile automatic object (other than a function parameter or a variable introduced by the exception-declaration of a handler (18.3)) with the same type (ignoring cv-qualification) as the function return type, the copy/move operation can be omitted by constructing the automatic object directly into the function call’s return object

(NRVOはどのように、保証されないのでしょうか)

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 1

checkベストアンサー

+1

C++17で追加された機能、値のコピー省略を保証について、規格のどこにこの記述があるのか

私の解釈では、この文が該当するというような直接定義は存在しないと思います。

採択された提案文書 P0135R1 Wording for guaranteed copy elision through simplified value categories のタイトルが示す通り、コピー省略保証は「値カテゴリ(value categories)関連の仕様変更」によって実現されます。

大雑把には「prvalue式単体では一時オブジェクトを生成せず」、新たに「一時オブジェクトを実体化(materialize)する条件」を定義することで、結果としてコピー省略保証が実現されます。提案文書 P0135R0 より引用:

We conclude that a prvalue expression of class or array type should not create a temporary object. Instead, the temporary object is created by the context where the expression appears, if it is necessary. The contexts that require a temporary object to be created ("materialized") are as follows:
[...]

外部QAサイトStackOverflowでの質問回答 How does guaranteed copy elision work? もあわせて参考にください。


(NRVOはどのように、保証されないのでしょうか)

従来通りです。C++17 [class.copy.elision]/Paragraph 1より引用(強調部は回答者による):

When certain criteria are met, an implementation is allowed to omit the copy/move construction of a class object, even if the constructor selected for the copy/move operation and/or the destructor for the object have side e ects. In such cases, the implementation treats the source and target of the omitted copy/move operation as simply two di erent ways of referring to the same object. If the first parameter of the selected constructor is an rvalue reference to the object’s type, the destruction of that object occurs when the target would have been destroyed; otherwise, the destruction occurs at the later of the times when the two objects would have been destroyed without the optimization. This elision of copy/move operations, called copy elisionis permitted in the following circumstances (which may be combined to eliminate multiple copies):

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/01/13 11:47

    yohhoy さん、いつもご回答ありがとうございます。

    なるほど、どこを探しても見つからなかったのですが、納得しました!!

    この度もありがとうございました!また、どうぞよろしくお願いいたします!!
    ☆(*>ω<*)ゞ

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 90.38%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

同じタグがついた質問を見る

  • C++

    4653questions

    C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。