C++でpairの構築時に片方を右辺値参照にした時の動作

Question

C++17の質問です。
intとvectorを持つpairを構築したいのですが、
vectorは大きいことがあるのでムーブしたいです。

C++日本語リファレンスのpairのコンストラクタ
を見たところ、
引数が2つとも右辺値参照のものはあるのですが(上記サイトの(5))、
片方だけ右辺値参照のものはないようです。

そこで、以下のように両方右辺値参照にしないと
ムーブ構築が呼び出されないのではないかと考えました。

int x=1;
std::vector<int> y{10, 20, 30};
std::pair<int, std::vector<int>> p{move(x), move(y)}; //両方右辺値参照にする

しかし、以下のようにvectorのみを右辺値参照にしても、
ムーブ構築されました。動作はVisual Studio 2019で行いました。

int x=1;
std::vector<int> y{10, 20, 30};
std::pair<int, std::vector<int>> p{x, move(y)}; //vectorのみ右辺値参照にする

これはどのように解釈すればよいでしょうか。
また、このような目的の時の正しい書き方はどのようなものでしょうか。
よろしくお願いいたします。

Answer 1

テンプレート変数につく&&は右辺値参照ではなく、ユニバーサル参照と呼ばれるもので、実引数によって左辺値になったり右辺値になったりするものです。今回の場合も、左辺値で渡されたものは左辺値参照に、右辺値で渡されたものは右辺値参照になっています。

Comments

[hamamu]

なるほど、リンク先を読み、理解できました。
ということは、一方のみmoveを付けることは文法上正しいことであり、
moveを付けた方はムーブ構築、付けていない方はコピー構築される、ということですね。
ユニバーサル参照というキーワードを知りませんでした、とても勉強になりました。ありがとうございました。