std :: make_pairをstd :: forwardで返す

Question

2つのデータ型を含むペアを返す関数を作成しようとしています。最初の型は常に同じですが、2つ目はテンプレート型です。それも可能ですか？ （std::forwardの使用についての私の理解が正しいかどうかも疑問です）。私の問題をよりよく実証するために、私の（動作していない）コードのサンプルを簡略化して表示します。

は、ここに私が試したものです：関数の内部

template <class X> 
std::pair<int, X> func(X&& second) 
{ 
    int first = 1; 
    return std::make_pair(std::move(first), std::forward<X>(second)); 
} 

は、私は変数firstを作成し、その後、私はペアを返すようにしたいです。ここではfirstをコピーするのを避けるために - そして、がl-valueだったかどうかに応じて、std::forwardを "条件付き移動"として説明したScott Meyersの講義に従います。secondをl-値として渡したい場合はstd::make_pairsecondのコピー、ペアを作成するとき）、またはr値だった場合は、「移動した」r値を渡したいと思います。

残念ながら私のコードは機能しません。私は何か誤解しているに違いないと思っていますが、何が分かりませんか、私に説明してください。

Answer 1

私はあなたがstd::decay_tまたはあなたの宣言でstd::remove_reference_tC++ 14-っぽいたい疑う：

template <class X> 
std::pair<int, std::decay_t<X>> func(X&& second) { 
    int first = 1; 
    return std::make_pair(std::move(first), std::forward<X>(second)); 
} 

またはC++ 11、より冗長な、同等のバージョン：

template <class X> 
std::pair<int, typename std::decay<X>::type> func(X&& second) { 
    int first = 1; 
    return std::make_pair(std::move(first), std::forward<X>(second)); 
} 

このようにして、左辺参照または右辺値参照Xをfuncの実際のパラメータとして使用している場合でも、std::pairはを使用しますタイプとして。

---

あなたがstd::pairの種類としてXへの参照を使用することはできません。
のは、次の例を考えてみましょう：

この場合

#include<utility> 

template <class X> 
std::pair<int, X> func(X&& second) { 
    int first = 1; 
    return std::make_pair(std::move(first), std::forward<X>(second)); 
} 

int main() { 
    int i = 42; 
    func(i); 
} 

、Xはint &と推定されます。したがって、返される型はstd::pair<int, int &>です。これは許可されず、コンパイルされません。

以下が代わりにコンパイルします：

template <class X> 
std::pair<int, std::remove_reference_t<X>> func(X&& second) { 
    int first = 1; 
    return std::make_pair(std::move(first), std::forward<X>(second)); 
} 

Xはまだint &と推測されますが、戻り値の型が今std::pair<int, int>に調整されているためです。