Стенли Липпман - Язык программирования C++. Пятое издание

Явный оператор преобразования

Чтобы предотвратить подобные проблемы, новый стандарт вводит явный оператор преобразования (explicit conversion operator):

class SmallInt { public:

// компилятор не будет автоматически применять это преобразование

explicit operator int() const { return val; }

// другие члены как прежде

};

Подобно явным конструкторам (см. раздел 7.5.4), компилятор не будет (обычно) использовать явный оператор преобразования для неявных преобразований:

SmallInt si = 3; // ok: конструктор класса SmallInt не является явным

si + 3; // ошибка: нужно неявное преобразование, но оператор int

// является явным

static_cast(si) + 3; // ok: явный запрос преобразования

Если оператор преобразования является явным, такое преобразование вполне можно осуществить. Но за одним исключением такое приведение следует осуществить явно.

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

• условие оператора if, whileили do;

• выражение условия в заголовке оператора for;

• операнд логического оператора NOT ( !), OR ( ||) или AND ( &&);

• выражение условия в условном операторе ( ?:).

В прежних версиях библиотеки типы ввода-вывода определяли преобразование в тип void*. Это было сделано во избежание проблем, описанных выше. По новому стандарту библиотека ввода-вывода определяет вместо этого явное преобразование в тип bool.

Всякий раз, когда потоковый объект используется в условии, применяется оператор operator bool(), определенный для типов ввода-вывода. Например:

while (std::cin >> value)

Условие в операторе whileвыполняет оператор ввода, который читает в переменную valueи возвращает объект cin. Для обработки условия объект cinнеявно преобразуется функцией преобразования istream::operator bool(). Эта функция возвращает значение true, если флагом состояния потока cinявляется good(см. раздел 8.1.2), и falseв противном случае.

Преобразование в тип boolобычно используется в условиях. В результате оператор operator boolобычно должен определяться как явный.

Упражнение 14.45. Напишите операторы преобразования для преобразования объекта класса Sales_dataв значения типа stringи double. Какие значения, по-вашему, должны возвращать эти операторы?

Упражнение 14.46. Объясните, является ли определение этих операторов преобразования класса Sales_dataхорошей идеей и должны ли они быть явными.

Упражнение 14.47. Объясните различие между этими двумя операторами преобразования:

struct Integral {

operator const int();

operator int() const;

};

Упражнение 14.48. Должен ли класс из упражнения 7.40 раздела 7.5.1 использовать преобразование в тип bool. Если да, то объясните почему и укажите, должен ли оператор быть явным. В противном случае объясните, почему нет.

Упражнение 14.49. Независимо от того, хороша ли эта идея, определите преобразование в тип boolдля класса из предыдущего упражнения.

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

Есть два случая, когда возникает несколько путей осуществления преобразования. Первый — когда два класса обеспечивают взаимное преобразование. Например, взаимное преобразование осуществляется тогда, когда класс Аопределяет конструктор преобразования, получающий объект класса B, а класс в определяет оператор преобразования в тип А.

Второй случай возникновения нескольких путей преобразования — определение нескольких преобразований в и из типов, которые сами связаны преобразованиями. Самый очевидный пример — встроенные арифметические типы. Каждый класс обычно должен определять не больше одного преобразования в или из арифметического типа.