Язык программирования Си для персонального компьютера | страница 89



; если полученное значение слишком велико для типа long, то результат преобразования не определен. Правила преобразования плавающих типов приведены в таблице 4.4.

Таблица 4.4.

От типаК типуМетод
floatcharпреобразование к long; преобразование long к char
floatshortпреобразование к long; преобразование long к short
floatlongусечение дробной части; результат не определен, если он слишком велик для представления типом long
floatunsigned shortпреобразование к long; преобразование long к unsigned short
floatunsigned longпреобразование к long; преобразование long к unsigned long
floatdoubleдополнение мантиссы нулевыми битами справа
doublecharпреобразование к float; преобразование float к char
doubleshortпреобразование к float; преобразование float к short
doublelongусечение дробной части; результат не определен, если он слишком велик для представления типом long
doubleunsigned shortпреобразование к long; преобразование long к unsigned short
doubleunsigned longпреобразование к long; преобразование long к unsigned long
doublefloatусечение младших битов мантиссы; возможна потеря точности; если значение слишком велико для представления типом float, то результат преобразования не определен

Преобразование указателей

Указатель на значение одного типа может быть преобразован к указателю на значение другого типа. Результат может, однако, оказаться неопределенным из-за отличий в требованиях к выравниванию объектов разных типов и в размере памяти, занимаемом различными типами.

Указатель при объявлении всегда ассоциируется с некоторым типом. В частности, это может быть тип void. Указатель на void можно преобразовывать к указателю на любой тип, и обратно. Указателям на некоторый тип можно присваивать адреса объектов другого типа, однако компилятор выдаст предупреждающее сообщение, если только это не указатель на тип void.

Указатели на любые типы данных могут быть преобразованы к указателям на функции, и обратно. Однако в СП MSC для того, чтобы присвоить указатель на данные указателю на функцию (или наоборот), необходимо выполнить явное приведение его типа.

Специальные ключевые слова near, far, huge позволяют модифицировать формат и размер указателей в программе. Компилятор учитывает принятый в выбранной модели памяти размер указателей и может в некоторых случаях неявно производить соответствующие преобразования адресных значений. Так, передача указателя в качестве аргумента функции может вызвать неявное преобразование его размера к большему из следующих двух значений: