5.17 / 3
যদি দ্বিতীয় এবং তৃতীয় অপারেন্ডের বিভিন্ন ধরণের থাকে এবং হয় (সম্ভবত সিভি-কোয়ালিটিড) শ্রেণীর ধরণ থাকে, তবে সেই অপারেন্ডগুলির প্রত্যেককে অপরের ধরণের রূপান্তর করার চেষ্টা করা হয়। টাইপ টি 1 এর অপারেন্ড এক্সপ্রেশন E1 অপারেন্ড এক্সপ্রেশন মেলে রূপান্তর করতে পারে কিনা তা নির্ধারণের প্রক্রিয়াটি টাইপ টি 2 এর E2 নিম্নরূপে সংজ্ঞায়িত হয়েছে:
- E2 যদি লভ্যালু হয়: E1 কে E2- র সাথে রূপান্তর করা যায় যদি E1 স্পষ্টভাবে "T2 এর রেফারেন্স" টাইপে রূপান্তর করা যায় (রূপান্তর 4), সীমাবদ্ধতার অধীনে যে রূপান্তরটিতে রেফারেন্সটি সরাসরি বাঁধতে হবে (8.5.3) ) থেকে E1।
- E2 যদি কোনও মূল্যায়ন হয়, বা যদি উপরের রূপান্তরটি করা যায় না:
- E1 এবং E2 এর বর্গের ধরণ থাকলে এবং অন্তর্নিহিত শ্রেণীর প্রকারগুলি একই বা একটি অন্যের বেস শ্রেণি: টি 2 এর শ্রেণি একই ধরণের, বা একটি বেস শ্রেণীর হলে E1 এর সাথে ম্যাচ রূপান্তর করা যেতে পারে , টি 1 এর শ্রেণি, এবং টি 2 এর সিভি-যোগ্যতা একই সিভি-যোগ্যতা, বা টি-এর সিভি-যোগ্যতার চেয়ে বৃহত্তর সিভি-যোগ্যতা। যদি রূপান্তরটি প্রয়োগ করা হয়, E1 টি টি 2 টাইপের মূল্যের সাথে পরিবর্তিত হয়েছে যা এখনও মূল উত্স শ্রেণীর অবজেক্ট (বা এর উপযুক্ত সাবোবজেক্ট) বোঝায়। [ দ্রষ্টব্য: অর্থাত, কোনও অনুলিপি তৈরি করা হয়নি। - শেষ নোট ] E1 থেকে টি 2 টাইপের অস্থায়ী অনুলিপি করে এবং সেই অস্থায়ী রূপান্তরিত অপারেন্ড হিসাবে ব্যবহার করে।
অন্যথায় (যেমন, যদি E1বা E2 এর একটি নন-ক্লাস টাইপ থাকে, বা তাদের উভয় শ্রেণীর ধরণের থাকে তবে অন্তর্নিহিত শ্রেণিগুলি হয় না হয় অন্যের একটির সাথে একটি বেস শ্রেণি থাকে): E1 E2 এর সাথে মেলে রূপান্তর করা যায় যদি E1 হতে পারে স্পষ্টভাবে এই ধরণের রূপটি রূপান্তরিত হয় যে E2 এর যদি E2 কে কোনও মূল্যকে রূপান্তরিত করা হয় (বা এটির ধরণটি যদি E2 একটি মূল্যকে হয়)।
এই প্রক্রিয়াটি ব্যবহার করে, এটি নির্ধারিত হয় যে দ্বিতীয় অপারেন্ডকে তৃতীয় অপারেন্ডের সাথে মেলে রূপান্তর করা যায় কিনা এবং তৃতীয় অপারেন্ডকে দ্বিতীয় অপারেন্ডের সাথে মেলে রূপান্তর করা যায় কিনা। যদি উভয়কে রূপান্তর করা যায়, বা একটি রূপান্তর করা যায় তবে রূপান্তরটি অস্পষ্ট হয় তবে প্রোগ্রামটি দুর্বল। যদি উভয়ই রূপান্তর করা যায় না, অপারেন্ডগুলি অপরিবর্তিত রেখে দেওয়া হবে এবং নীচে বর্ণিত হিসাবে আরও তদন্ত করা হবে। ঠিক যদি একটি রূপান্তর সম্ভব হয় তবে সেই রূপান্তরটি নির্বাচিত অপরেন্ডে প্রয়োগ করা হয় এবং রূপান্তরিত অপারেন্ডটি এই বিভাগের বাকী অংশের জন্য মূল অপারেন্ডের জায়গায় ব্যবহার করা হয়।
5.17 / 5
অন্যথায়, ফলাফল একটি মূল্য। যদি দ্বিতীয় এবং তৃতীয় অপারেন্ডগুলির মধ্যে একই ধরণের না থাকে এবং উভয়টি (সম্ভবত সিভি-কোয়ালিটিড) শ্রেণীর ধরণ থাকে তবে ওভারলোড রেজোলিউশনগুলি অপারেন্ডগুলিতে প্রয়োগ করার জন্য রূপান্তরগুলি নির্ধারণ করতে (যদি থাকে তবে) ব্যবহৃত হয় (13.3.1.2, 13.6) । যদি ওভারলোড রেজোলিউশন ব্যর্থ হয় তবে প্রোগ্রামটি দুর্গঠিত। অন্যথায়, এইভাবে নির্ধারিত রূপান্তরগুলি প্রয়োগ করা হয়, এবং রূপান্তরিত অপারেন্ডগুলি এই বিভাগের বাকী অংশের জন্য মূল অপারেশনগুলির জায়গায় ব্যবহৃত হয়।