Перегрузка оператора == и шаблоны
Почему присутствие структуры Hard Logic приводит к ошибке компиляции, а структуры SoftLogic — нет?
class Noncomparable{};
struct HardLogic {
Noncomparable nc1, nc2;
void compare() {
nc1 == nc2; //Ошибка компилятора: бинарный "==": не найден оператор, принимающий левый операнд типа "Noncomparable" (или приемлемое преобразование отсутствует)
}
};
template<class T>
struct SoftLogic {
Noncomparable nc1,nc2;
void compare() {
nc1 == nc2; //Нет ошибки
}
};В данном случае невозможность создать для шаблона SoftLogic::compare валидную специализацию делает все программу невалидной, причем диагностика в этом случае не требуется:
17.7 Name resolution [temp.res]
8 The program is ill-formed, no diagnostic required, if:
(8.1) — no valid specialization can be generated for a template or a substatement of a constexpr if statement (9.4.1) within a template and the template is not instantiated, or
потому что SoftLogic - это не структура, а шаблон структуры. Ошибка будет только если к коде появится инстанцирование функции SoftLogic::compare, т.е. появится потребность в конкретной реализации, как в случае с HardLogic::compare.
-
22:17
-
22:13
Частный дом престарелых в Киеве: комфорт, забота и профессиональный уход
-
20:12
-
20:06
-
19:59
-
19:51
-
19:43
-
18:31
-
18:25
- Почему SERVER_ADDR имеет не тот IP 48043 visits
- Как заменить $_SERVER[REMOTE_ADDR] на IP клиента в PHP за двумя Nginx? 30577 visits
- Хочу вывести несколько строк из массива в один div, выводит только много undefined; подскажите, что делать? 24002 visits
- Как через css изменить цвет png изображения? 10423 visits
- Blob video url download 10015 visits
- Php curl запрос через прокси с авторизацией 9291 visits
- Работа с captcha vk api 8156 visits
© "hostciti.net" 16.4.2025 | 11:33