ধারণা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
...