std :: ref（T）とT＆のC ++の違い？

Question 1

このプログラムに関していくつか質問があります。

#include <iostream>
#include <type_traits>
#include <functional>
using namespace std;
template <typename T> void foo ( T x )
{
    auto r=ref(x);
    cout<<boolalpha;
    cout<<is_same<T&,decltype(r)>::value;
}
int main()
{
    int x=5;
    foo (x);
    return 0;
}

出力は次のとおりです。

false

std::refオブジェクトの参照が返されない場合、それは何をするのか知りたいのですが。基本的に、次の違いは何ですか。

T x;
auto r = ref(x);

そして

T x;
T &y = x;

また、なぜこの違いが存在するのか知りたいのですが？なぜ必要なのstd::refかstd::reference_wrapper、または参照がある場合（つまりT&）？

Question 2

まあref、適切なのオブジェクト作成reference_wrapperオブジェクトへの参照を保持するタイプ。つまり、申請するとき：

auto r = ref(x);

これはareference_wrapperを返し、x（ie T&）への直接参照ではありません。これreference_wrapper（つまりr）は代わりにを保持しますT&。

Areference_wrapperは、コピー可能なreferenceオブジェクトのをエミュレートする場合に非常に便利です（コピー構築可能とコピー割り当て可能の両方です）。

C ++では、yオブジェクト（say x）への参照（say ）を作成したら、同じベースアドレスyをx共有します。さらに、y他のオブジェクトを参照することはできません。また、参照の配列を作成することはできません。つまり、このようなコードはエラーをスローします。

#include <iostream>
using namespace std;

int main()
{
    int x=5, y=7, z=8;
    int& arr[] {x,y,z};    // error: declaration of 'arr' as array of references
    return 0;
}

ただし、これは合法です。

#include <iostream>
#include <functional>  // for reference_wrapper
using namespace std;

int main()
{
    int x=5, y=7, z=8;
    reference_wrapper<int> arr[] {x,y,z};
    for (auto a: arr)
        cout << a << " ";
    return 0;
}
/* OUTPUT:
5 7 8
*/

の問題について話すとcout << is_same<T&,decltype(r)>::value;、解決策は次のとおりです。

cout << is_same<T&,decltype(r.get())>::value;  // will yield true

プログラムをお見せしましょう：

#include <iostream>
#include <type_traits>
#include <functional>
using namespace std;

int main()
{
    cout << boolalpha;
    int x=5, y=7;
    reference_wrapper<int> r=x;   // or auto r = ref(x);
    cout << is_same<int&, decltype(r.get())>::value << "\n";
    cout << (&x==&r.get()) << "\n";
    r=y;
    cout << (&y==&r.get()) << "\n";
    r.get()=70;
    cout << y;
    return 0;
}
/* Ouput:
true
true
true
70
*/

ここを参照して、3つのことを知ることができます。

reference_wrapperオブジェクトは、（ここでr）を作成するために使用することができる参照の配列では不可能でしたT&。
r実際には実際の参照のように機能します（r.get()=70の値がどのように変更されたかを参照してくださいy）。
rと同じではありませんT&が、r.get()です。これは、つまり、その名前が示すように、参照のラッパーであることを意味しrます。T& T&

この答えがあなたの疑問を説明するのに十分すぎることを願っています。

Question 3

std::reference_wrapper 値渡しのコンテキストで参照によってオブジェクトを渡すことができるように、標準機能によって認識されます。

たとえば、何かをstd::bind取り込んでstd::ref()値で送信し、後で参照に解凍して戻すことができます。

void print(int i) {
    std::cout << i << '\n';
}

int main() {
    int i = 10;

    auto f1 = std::bind(print, i);
    auto f2 = std::bind(print, std::ref(i));

    i = 20;

    f1();
    f2();
}

このスニペットの出力：

10
20

の値は、初期化iさf1れた時点でに格納されています（値によって取得されています）が、値によってf2保持std::reference_wrapperされているため、を取得したように動作しint&ます。

Question 4

参照（T&またはT&&）は、C ++言語の特別な要素です。それはオブジェクトを操作することを可能にします参照によって、言語には特別なユースケースがあります。たとえば、参照を保持するための標準コンテナを作成することはできませんvector<T&>。形式が正しくなく、コンパイルエラーが発生します。

std::reference_wrapper一方、Aは、参照を保持できるC ++オブジェクトです。そのため、標準のコンテナで使用できます。

std::refは、std::reference_wrapper引数にaを返す標準関数です。同じ考え方で、std::crefリターンstd::reference_wrapper、const参照に。

の興味深い特性の1つはstd::reference_wrapper、があることoperator T& () const noexcept;です。つまり、それが真のオブジェクトであっても、それがであっても、それが保持している参照に自動的に変換できるということです。そう：

コピー割り当て可能なオブジェクトであるため、コンテナや参照が許可されていないその他の場合に使用できます。
そのおかげで、operator T& () const noexcept;自動的に変換されるため、参照を使用できる場所ならどこでも使用できます。