ধারণাequality_comparable_with<T, U> ধরনের যে বস্তু ডিক্লেয়ার দেয়ার উদ্দেশ্যে করা হচ্ছে Tএবং Uএকে অপরের সমান তুলনা করা যেতে পারে, এবং যদি তারা, তারপর এই প্রত্যাশিত অর্থ আছে। সেটা ঠিক আছে.
তবে এই ধারণারও common_reference_t<T&, U&>অস্তিত্ব রয়েছে requires প্রাথমিক অনুপ্রেরণা common_referenceএবং এর পরিবেশনকারী কার্যকারিতা বলে মনে হয় প্রক্সি পুনরাবৃত্তিকে সক্ষম করা , এই জাতীয় পুনরাবৃত্তির মধ্যে referenceএবং তার মধ্যে সম্পর্কের প্রতিনিধিত্ব করার জায়গা থাকতে পারে value_type।
দারুণ, কিন্তু ... কি আছে যে পরীক্ষাটি করতে একটি Tএবং একটি Uএকে অপরের সাথে সমান তুলনা করা যেতে পারে? মানকটির প্রয়োজন কেন Tএবং Uকেবল তাদের সমান তুলনা করার অনুমতি দেওয়ার জন্য একটি সাধারণ রেফারেন্স সম্পর্ক রাখে?
এটি অডবোল পরিস্থিতি তৈরি করে যেখানে দুটি প্রকারের পক্ষে যুক্তিযুক্ত তুলনামূলক যুক্ত-যুক্ত সম্পর্কযুক্ত যুক্তিযুক্ত যুক্তিযুক্ত যুক্তিযুক্ত যুক্তিযুক্ত হওয়া খুব কঠিন very উদাহরণস্বরূপ, vector<int>এবং pmr::vector<int>যৌক্তিকভাবে তুলনীয় হওয়া উচিত। তবে এগুলি হতে পারে না কারণ অন্যথায় সম্পর্কযুক্ত দুটি প্রকারের মধ্যে কোনও যুক্তিসঙ্গত সাধারণ-উল্লেখ নেই।
assignable_fromপ্রয়োজন common_reference...