Приведення типів
Мови програмування дозволяють «приводити» типи один до одного. Наприклад, инициализировав змінну типу integer, ми можемо надалі привести її до типу double, тобто дозволити компілятору перезаписати її і поводитися з нею надалі як з числом з плаваючою точкою.
Але не всі типи даних можливо так просто перетворювати. Наприклад, ми ніяк не наведемо string до integer, компілятор просто не зрозуміє наших дій. Також є окремі випадки компіляторів і мов програмування. Наприклад, у мові Pascal можна перетворити тип integer до integer real, тому що тільки тип real підтримує операцію ділення.
В сучасних мовах, таких як C#, немає таких проблем, найчастіше програміст може безболісно перетворити інтуїтивно схожі типи даних, такі як int. double, long int і так далі. Більш того, в динамічно типизируемых мовах навіть можлива ситуація, коли тип даних char приводиться до int!
Це можна тому, що компілятор, замість того, щоб працювати з символом, бере його порядковий номер з таблиці ASCII і вже його використовує для взаємодії з int. У мовах зі строгою типізацією, таких як C або C++#, це, звичайно ж, неможливо.
Це основні типи даних в інформатиці. У сучасних мовах програмування змінні часто являють собою вже не просто виділене місце в оперативній пам’яті, а цілі «об’єкти» або «класи», що значно розширює можливості операцій з ними.
Щоб зрозуміти, як зберігаються такі складні структури, необхідно заглибитися в таку невичерпну тему, як об’єктно-орієнтоване програмування, найбільш сучасний інструмент для створення потужних, розширюваних і підтримуваних роками програм.
