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

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

ただいまの
回答率

88.65%

右辺値参照とmove使用について

解決済

回答 2

投稿

  • 評価
  • クリップ 0
  • VIEW 701

__ook

score 49

以下のa, bが行っていることは同じと考えて問題ないでしょうか。
また、cの構文に問題はありますか。

#include <iostream>    
#include <fstream>
#include <string>
#include <vector>

using namespace std;

auto ret(int x)
{
    return x;
}

int main()
{
    int&& a = ret(100);
    int b = move(ret(100));
    int&& c = move(ret(100));

    cout << a << endl;
    cout << b << endl;
    cout << c << endl;
}
  • 気になる質問をクリップする

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

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

    クリップを取り消します

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

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

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

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

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

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

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

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

    質問の評価を下げる

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

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

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

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

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

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

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

    詳細な説明はこちら

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

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

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

回答 2

checkベストアンサー

+2

以下のa, bが行っていることは同じと考えて問題ないでしょうか。

いいえ。 違います。

int&& a = ret(100); は ret(100) によって作られる一時的なオブジェクトの参照を a として定義しています。 通常はそのような一時的なオブジェクトは完結式 (完全式とも言います) に解体されて無効になるのですが、参照で受けた場合に限って参照のスコープの終わりまで寿命が延長されるルールになっています。 この場合はどこかに 100 というオブジェクトがあって a という別名があるという状態です。

int b = move(ret(100)); は普通にコピーしているだけです。 std::move はその名称に反してムーブする機能を持っていません。 もしそのクラスがムーブコンストラクタを持っている場合にそれを起動するような文脈を作り出すのが std::move の役割です。 int はムーブしませんからこの場面での move は無意味です。 100 というオブジェクトが作り出されてそれを b にコピーした後に一時的なオブジェクトは解体されるという順序になります。

また、 int では効率的な問題にはなりませんが状況によっては move が無ければコンパイラがコピーを省略して直接構築する最適化をしても構わない文脈に適合する場合があります。 (C++17 以降では条件に合致すれば許容されるだけでなく必ずしなければならないように変更されました。) ムーブをした方が効率的とは限らないということには気を付けてください。

また、cの構文に問題はありますか。

文法規則上の問題はないはずですが move を書く意味はありません。

プログラムは機械が解釈するだけではなく人間も読み書きするものですから、書かれていることに意図 (プログラム的には機能していなくても) を読み取ろうとして混乱するということはあるかもしれません。 自分が書いたものでも後で読み返すとよくわからんというのもよくあることなので、理由なく冗長に書くのはお勧めできません。 (逆に言えば自分なりに特別な意図の表現として書くなら悪いわけではありませんが、イディオムとして確立しているものを除いてはコメントで書いておいた方が良いと思います。 時間を置くとびっくりするほど忘れます。)

投稿

  • 回答の評価を上げる

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

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

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

  • 回答の評価を下げる

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

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

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

  • 2019/12/16 16:18

    関数の戻り値のみ後者の書き方をすると恩恵が得られる、ということでしょうか。

    キャンセル

  • 2019/12/16 17:44

    値が欲しければ値として受け取るべきですし参照が欲しければ参照として受け取るというだけのことなので、状況を想定せずに値と参照を比較する意味はないです。

    キャンセル

  • 2019/12/17 10:04

    かなりわかりました…ありがとうございました。

    キャンセル

+1

こんにちは。

以下のa, bが行っていることは同じと考えて問題ないでしょうか。

見た目はほぼ同じですが、処理内容は全く異なります。
aはret()関数が返す一時オブジェクトを参照し、かつ、寿命を延ばします。
bはret()関数が返す一時オブジェクトをコピーすることで寿命を延ばします。
どちらも変数a, bにてret()の戻り値をアクセスできるという点で「見た目」は同じですが、bはコピー処理が入ります。

cの構文に問題はありますか。

単に冗長なだけで問題はないと思います。

投稿

  • 回答の評価を上げる

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

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

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

  • 回答の評価を下げる

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

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

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

  • 2019/12/16 13:24

    ああ、つまりbはただのコピーした変数ということですね…?
    アドレスを確かめたときに違いがあったのはそういうことですね…

    キャンセル

  • 2019/12/16 13:30

    その通りです。

    キャンセル

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

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

関連した質問

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