右辺値参照とテンプレート

Question

以下のような関数を作りました。

template<typename T, typename Y>  
void my_swap(T&& a, Y&& b){
    T tmp = a;
    a = b;
    b = tmp;
}

テンプレート + 右辺値参照　だとパラメータによって左辺値と右辺値になるかが変わると思います。
つまり、ハイブリッド？ユニヴァーサル？？参照とでも言うのですかね・・・
以下のように呼び出してみます。

    int a = 1;
    double b = 2;

    printf("%d, %lf\n\n", a, b);

    my_swap(std::move(a), std::move(b));
    printf("%d, %lf\n", a, b);

[結果]
1, 2.000000

2, 1.000000

まぁ・・・普通に動作するのですが・・・

次のように実行するとおかしくなります。

    int a = 1;
    double b = 2;

    printf("%d, %lf\n\n", a, b);
    my_swap(a, b);
    printf("%d, %lf\n", a, b);

[結果]
1, 2.000000

2, 2.000000

スワップできていません。うまくいっていません。
なぜでしょうか？？

試しに　int b = 2;　と変えてみても動作は変わりませんでした。

2回目の方では、ハイブリッドな参照に左辺値を代入しているので、左辺値参照になると思っていたのですが・・・
左辺値参照なので問題なく動作するはずです。
しかし、実際にはうまく動作していません。
なぜでしょうか？？
説明できる方いますか？？

g++ Linux 64bit
です。

Answer 1

こんにちは。

本の虫のこのページによると、T&&に左辺値を渡すと、Tは左辺値参照になるようです！！（ちょっとびっくり。参照にはならないと思ってました。）

つまり、a, bにそれぞれint型、double型の左辺値を渡した時は、下記のように実体化されます。

void my_swap(int& a, double& b){
    int& tmp = a;
    a = b;
    b = tmp;
}

つまり、tmpはaへの参照になります。orz
だから、aに2を代入するとtmpも2になるわけですね。

Comments

[strike1217]

tmpはaへの参照になるんですよね？

その場合、２回めのmy_swap(a, b);　この呼び出しはうまくスワップされるのではないでしょうか？
なぜ、bの方は2のままで変わっていないのでしょうか？？

[Chironian]

tmpはaへの参照ですから、aにb(2.0)を代入した時点でtmpも2になってます。
従って、b=tmp;した時tmpは2ですから、bも2になりますよ。

[strike1217]

あああ！！
そういうことですか！

a = b;　この時点で　tmp = b にもなってしまっている・・・ということですね！

[strike1217]

なるほど！
わかりました。

[strike1217]

tmp の部分をautoにすることで回避しました。
remove_reference でもできるかもしれません。