সি ++ স্ট্যান্ডার্ড :: রেফ (টি) এবং টি ও এর মধ্যে পার্থক্য?

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রেফারেন্স ধরে রাখতে উপযুক্ত টাইপের একটি অবজেক্ট তৈরি করে r আপনি যখন আবেদন করেন যার অর্থ:

auto r = ref(x);

এটি (যেমন ) এর reference_wrapperসরাসরি উল্লেখ হিসাবে নয় এবং প্রদান করে returns এটি (অর্থাত্ ) পরিবর্তে ধরে রাখে ।xT&reference_wrapperrT&

একটি reference_wrapperখুবই দরকারী যখন আপনি একটি অনুকরণ করতে চান referenceএকটি বস্তু যা কপি করা যেতে পারে (এটি উভয় কপি-অঙ্কনযোগ্য এবং কপি-হস্তান্তরযোগ্য )।

সি ++ এ, আপনি একবার yকোনও বস্তুর (বলুন x) রেফারেন্স তৈরি করুন (বলুন ), 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
*/

এখানে দেখুন আমরা তিনটি জিনিস জানতে পারি:

কোনও reference_wrapperঅবজেক্ট (এখানে r) রেফারেন্সের অ্যারে তৈরি করতে ব্যবহার করা যেতে পারে যা দিয়ে সম্ভব ছিল না T&।
rআসলে একটি বাস্তব রেফারেন্সের মতো কাজ করে (দেখুন কীভাবে r.get()=70এর মান পরিবর্তন হয়েছিল y)।
rT&কিন্তু হিসাবে একই নয় 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&&) সি ++ ভাষার একটি বিশেষ উপাদান। এটি রেফারেন্সের মাধ্যমে কোনও বস্তু হেরফের করতে দেয় এবং ভাষায় বিশেষ ব্যবহারের ক্ষেত্রে রয়েছে। উদাহরণস্বরূপ, আপনি রেফারেন্সগুলি ধরে রাখতে কোনও আদর্শ ধারক তৈরি করতে পারবেন না: vector<T&>অসুস্থটি গঠিত এবং সংকলন ত্রুটি তৈরি করে।

একটি std::reference_wrapperঅন্যদিকে একটি সি ++ এর রেফারেন্স বহন করতে সক্ষম অবজেক্ট। যেমন, আপনি এটি স্ট্যান্ডার্ড পাত্রে ব্যবহার করতে পারেন।

std::refএটি একটি স্ট্যান্ডার্ড ফাংশন যা std::reference_wrapperতার তর্ককে ফিরিয়ে দেয় । একই ধারণাটিতে, কনস্টের রেফারেন্সে std::crefফিরে আসে std::reference_wrapper।

ক এর একটি আকর্ষণীয় সম্পত্তি std::reference_wrapperহ'ল এটির একটি রয়েছে operator T& () const noexcept;। এর অর্থ হ'ল এটি যদি সত্য বস্তু হয় তবে এটি যে রেফারেন্সটি ধারণ করে তা স্বয়ংক্রিয়ভাবে রূপান্তরিত হতে পারে। সুতরাং:

যেহেতু এটি অনুলিপিযোগ্য অনুলিপি বিষয়বস্তু, এটি পাত্রে বা অন্যান্য ক্ষেত্রেও উল্লেখ করা যেতে পারে যেখানে ব্যবহারের অনুমতি নেই
এর জন্য ধন্যবাদ operator T& () const noexcept;, এটি আপনি যে কোনও রেফারেন্স ব্যবহার করতে পারে এমন কোনও জায়গায় ব্যবহার করা যেতে পারে, কারণ এটি স্বয়ংক্রিয়ভাবে এতে রূপান্তরিত হবে।