Var meal:Food = new Apple( );

Boolean(meal): // На этапе выполнения будет возвращено значение true

Избавление от нежелательных ошибок несоответствия типов

Как уже известно, операции приведения типов могут быть использованы для выявления нежелательных ошибок обращения на этапе компиляции. Подобным образом операции приведения типов могут применяться для избавления от нежелательных ошибок несоответствия типов.

В качестве примера представьте программу, которая преобразует температуру, заданную по шкале Фаренгейта, в температуру по шкале Цельсия. Значение температуры по шкале Фаренгейта вводится в текстовое поле, представленное экземпляром внутреннего класса TextField. Для получения введенного значения мы обращаемся к переменной text экземпляра класса TextField, как показано в следующем коде:

var fahrenheit:Number = inputField. text;

В данных условиях такой код вызовет ошибку несоответствия типов, поскольку типом данных переменной text является String. Чтобы избавиться от этой ошибки, мы используем операцию приведения типов, как показано в следующем коде:

var fahrenheit:Number = NumberCinputField. text):

На этапе выполнения программы этот код преобразует строковое значение, хранящееся в переменной inputField. text, в тип Number и присвоит преобразованное значение переменной fahrenheit.

Восходящее и нисходящее приведения типов

Приведение типа объекта к одному из его супертипов (суперклассу или суперинтерфейсу) называется восходящим приведением типов. Например, следующая операция осуществляет восходящее приведение типов, поскольку тип данных Food является супертипом типа Apple:

Food(new Apple( ))

И наоборот, приведение типа объекта к одному из его подтипов (подклассу или подинтерфейсу) называется нисходящим приведением, поскольку эта операция выполняет приведение типа объекта к типу, который находится ниже текущего в иерархии. Следующая операция осуществляет нисходящее приведение типов, поскольку тип данных Apple является подтипом типа Food:

Apple(new Food( ))

Говорят, что восходящее приведение типов «расширяет» тип объекта, поскольку супертип является более обобщенным по сравнению с его подтипом. В то же время нисходящее приведение типов «сужает» тип объекта, поскольку подтип является более специализированным, чем его супертип.

Кроме того, восходящее приведение типов считается безопасным, поскольку оно никогда не вызывает ошибку на этапе выполнения. Как было сказано ранее, экземпляр подтипа можно всегда рассматривать как экземпляр любого из его супертипов, потому что он гарантированно (через наследование) обладает всеми методами и переменными экземпляра своих супертипов в том случае, если эти методы и переменные объявлены с использованием любых модификаторов управления доступом, кроме private.