Перетворення типів

Перетворення типів в С ++ досить давня, або точніше класична операція. Якщо коротко і по-російськи: перетворення типу – це вказівка ​​комп'ютера вважати якийсь набір байтів цілим або речовим. Або покажчиком на певний клас.

взагалі, щоб зрозуміти перетворення типів потрібно враховувати механізм і структуру змінних. К примеру, переменних цілого типу кілька: короткий INT, int,  довго INT, беручи до уваги беззнакові. І комп'ютер розміщує для них різну кількість елементів пам'яті (байт): 1, 2 і 4 соответственно. Перетворення в рамках таких типів одного класу називається стандартним перетворенням.  в:

зробить наступне: візьме два молодших байти з змінною «А», і просто пересадить їх в два байта змінної «b». Оскільки значення в а (одиниця) цілком собі поміщається в ці два байта, програма дасть правильний результат, а С ++ не буде проти такого перетворення.

Чому потрібно враховувати розмір змінної при перетворенні?

Що буде якщо помістити в змінну «А» число 123456789? Воно прекрасно вміститься в 4 байта типу int, але в 2 байта типу короткий INT воно вже не потрапляє. занадто велика. С , як і годиться, просто відріже це довге число, взявши з нього тільки хвіст, і помістить в змінну «b». Отримаємо природно дурницю. Причому з мінусом, якщо вивести її на екран. Перетворення з змінної, яка займає більшу кількість байт в пам'яті не буде правильним. Якщо перетворювати навпаки з short в long наприклад таких проблем не буде, оскільки байтів в змінної-одержувачі більше, і місця для даних які зберігаєshort цілком вистачає.

Це потрібно знати. Викладачі часто ловлять студентів на такому фокусі, спеціально даючи в методичке подібний підводний камінь зі змінними погано сумісними один з одним за розміром.

Що стосується перетворення типів речового, цим займається математичний співпроцесор. Тут уже не просто байти перегоняются з осередків у клітинку, а виконуються спеціальні команди, які конвертують ціле в тип речового з мантиси і експонентою, як годиться, і повертають значення. Це не можна назвати перетворенням, це саме конвертація.В будь-якому випадку, цим буде займатися сам процесор.

В даному прикладі математичний співпроцесор перетворює речовий в ціле, і зажене в змінну, а потім зробить зворотну операцію: зажене ціле в свій спеціальний регістр (називається ST), і вже після з нього вистачить речовий з цілою частиною, рівною тій, що в змінній “а”.

Якщо ж потрібно перетворити з речового double (8 байт) в float (4 байта), то тут таких проблем, як з цілими, не буде. Математичний співпроцесор просто округлити речовий до значення, вміщається в 4 байта, що не приведе до неправильного значенням:

Результатом все одно буде число 1.234568e + 18, що означає 1.2-з хвостиком в 18-й ступеня. Інша справа, що в “a” вже буде округлене число до 6-го знака після коми, а не 1.234567891234566e + 18. В цілому для неточних обчислень це не заважає, але рекомендується в програмі використовувати речові одного типу, щоб не відбувалося такого ось округлення.

Крім перетворення типу є таке поняття як приведення типу.

Наочність приведення типу можна показати таким прикладом:

якщо перетворення – це рішення С ++ (а точніше компілятора), в який тип приводити, то приведення використовує тип, жорстко вказаний програмістом. В даному прикладі програміст каже компілятору, що потрібно перетворювати саме в int, а не в короткий INT. адже 25 поміщається і в int і в short, що вибере компілятор програміст може і не знати.

У побуті такі перетворення типів взагалі-то рідкісні. Та й не потрібні. Ідеологія програмування в побутових умовах натякає уникати таких викрутасів, оскільки вони можуть виявитися граблями (як в прикладі вище при перетворенні цілих), тому приведення типів в С ++ не варто використовувати повсюдно.

:) Дякую за цю статтю її автору Stilet – супер модератору форуму програмістів ProgrammersForum.