7

Вроде бы как в новых стандартах можно использовать ключевое слово explicit не только к конструкторам, чтобы предотвратить неявное приведение, но и к операторам. Можете объяснить, для чего это нужно и привести пример? Возможно, есть и другие применения?

1 ответ 1

6

explicit для операторов преобразования нужен по той же причине, что и для конструкторов. Требование от программиста явно указывать тип, чтобы избежать неожиданного поведения кода при неявном приведении типов.

Самый популярный пример это operator bool. До c++11 отсутствие возможности задавать explicit для оператора преобразования в тип требовало городить довольно неочевидные схемы для реализации идиомы Safe Bool. Т.е. использование объекта нашего типа в контексте, когда требуется приведение в булев тип, например внутри if или while. В частности можно обратить внимание на std::ios::operator bool. По ссылке как раз хорошо видно различие между c++98 и c++11.

То, что раньше нельзя было задавать "явность" для оператора преобразования по сути - досадная недоработка, т.к. оператор преобразования и конструктор с одним параметром (для которого как раз актуален explicit) по сути предназначены для одного и того же. Разница лишь в том с какой стороны смотреть. Если мы создаём класс N, то конструктор вида N(O o) будет осуществлять преобразование типа O в тип N. Для преобразование в обратную сторону нужен либо конструктор вида O(N n) (но это порой невозможно, т.к. тип O может быть закрыт или вовсе не быть классом), либо operator O(N n).

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.