5.17 / 3
Якщо другий і третій операнди мають різні типи, або має або тип (можливо, cv-кваліфікований) клас класу, робиться спроба перетворення кожного з цих операндів у тип іншого. Процес визначення, чи може вираз операнда E1 типу T1 перетворити на вираз операнда E2 типу T2, визначається наступним чином:
- Якщо E2 є значенням: E1 можна перетворити на відповідність E2, якщо E1 можна неявно перетворити (п. 4) у тип "посилання на T2", за умови обмеження, що при перетворенні посилання має пов'язуватися безпосередньо (8.5.3 ) до Е1.
- Якщо E2 є рейтингом, або якщо перетворення, описане вище, неможливо:
- якщо E1 і E2 мають тип класу, а базові типи класів однакові або один є базовим класом іншого: E1 можна перетворити на відповідність E2, якщо клас T2 того ж типу, або базовий клас , клас T1 і cv-кваліфікація T2 є такою ж cv-кваліфікацією, що і, або більша cv-кваліфікація, ніж cv-кваліфікація T1. Якщо застосовується перетворення, E1 змінюється на ревальвінг типу T2, який все ще посилається на оригінальний об'єкт класу-джерела (або відповідний його суб'єкт). [ Примітка: тобто копія не робиться. - кінцева примітка ] шляхом ініціалізації копіювання тимчасового типу T2 від E1 та використання цього тимчасового в якості перетвореного операнда.
В іншому випадку (тобто, якщо E1або E2 має тип не класу, або якщо вони обидва мають типи класів, але базові класи не є однаковими, або один базовий клас іншого): E1 може бути перетворений у відповідність E2, якщо E1 може бути неявно перетворений у тип, який мав би вираз E2, якби E2 було перетворено в rvalue (або тип, який він має, якщо E2 є rvalue).
Використовуючи цей процес, визначається, чи може другий операнд бути перетворений для відповідності третьому операнду та чи може третій операнд бути перетворений для відповідності другому операнду. Якщо обидва можуть бути перетворені або одна може бути перетворена, але перетворення неоднозначне, програма неправильно формується. Якщо жодне з них не може бути перетворене, операнди залишаються незмінними і виконується подальша перевірка, як описано нижче. Якщо можливе саме одне перетворення, це перетворення застосовується до обраного операнда, а перетворений операнд використовується замість вихідного операнда на решту цього розділу.
5.17 / 5
В іншому випадку результат - ревальвація. Якщо другий та третій операнди не мають одного типу, або мають або тип класу (можливо, що відповідає кваліфікації cv), роздільна здатність перевантаження використовується для визначення перетворень (якщо такі є), що застосовуються до операндів (13.3.1.2, 13.6) . Якщо роздільна здатність перевантаження не вдається, програма неправильно сформована. В іншому випадку, визначені таким чином перетворення застосовуються, а перетворені операнди використовуються замість вихідних операндів на залишок цього розділу.