10.3. Типы данных

Определения и обозначения

Тип данных — множество допустимых значений и операций, которые можно выполнять над ними. Например, числа можно складывать, а логические значения используют в проверках. Тип нужен, чтобы программа понимала, как представить значение в памяти и как его обрабатывать.

Целый тип предназначен для целых чисел без дробной части: −7, 0, 12. Для таких значений подходят сложение, вычитание, умножение и сравнение. Он нужен, например, для хранения количества учеников или числа попыток.

Вещественный тип используют для чисел, у которых может быть дробная часть: 2,5 или −0,75. С такими числами удобно записывать измерения и средние значения. Результат вычисления иногда бывает приближённым, потому что компьютер хранит число с ограниченной точностью.

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

Как это устроено

Переменной задают тип, потому что компьютер должен заранее понимать, какие значения в неё помещать и как их интерпретировать. Тип ограничивает допустимые значения: например, целочисленная переменная не предназначена для хранения дробной части. Он также задаёт подходящие операции, поэтому помогает обнаружить ошибку ещё при составлении программы. Если выбранный тип не соответствует данным, результат может оказаться неверным или операция будет запрещена.

Выбирать тип следует по назначению переменной и всем значениям, которые она может получить. Количество предметов обычно выражается целым числом, а температура или средний балл могут иметь дробную часть и требуют вещественного типа. Для одного знака выбирают символьный тип, для фамилии — строковый. Для ответа на проверку вроде «число положительное?» нужен логический тип, потому что возможны только два ответа: истина или ложь.

Целые и вещественные числа различаются не только наличием дробной части, но и способом представления и вычисления. Целое значение сохраняет точное число без десятичной части, а у вещественного формата точность ограничена. Поэтому некоторые дроби представляются компьютером лишь приближённо, и вычисление, например, может дать 0,3000000001 вместо ожидаемых 0,3. При проверках вещественных результатов это свойство нужно учитывать, а не всегда сравнивать числа на полное равенство.

Сравнение чисел создаёт логическое значение: выражение a > 10 истинно, если a больше десяти, и ложно в противном случае. Логические операции также объединяют или изменяют результаты проверок. Например, условие «возраст не меньше 16» можно проверить сравнением и затем использовать при выборе ветви алгоритма. Так логический тип связывает вычисления с командами, которые зависят от условия.

Операнды — значения, над которыми выполняется операция, — должны сочетаться по правилам языка программирования. Если складывают числа разных типов, язык может разрешить действие и преобразовать один операнд, но такое поведение следует проверить. Для несовместимых значений операция может быть недопустима: например, смысл сложения числа и фамилии не определён. Явное преобразование типа применяют, когда оно необходимо и не приводит к потере важной информации.

Основные типы данных и их применение

Сначала определите, какие значения могут появиться у переменной, а затем найдите в таблице подходящий тип. Пример помогает проверить выбор: значение 2,5 не подходит для целого типа, а фамилия состоит из последовательности знаков. Для конкретного языка программирования названия типов могут отличаться, но назначение типов остаётся похожим.

Разбор задач

Задача 1. Определить тип для количества учеников в классе, температуры воздуха и ответа на вопрос «число положительное?». Подбираем тип не по формулировке переменной, а по характеру возможных значений. Затем проверяем, может ли значение быть дробным или сводится к истине и лжи.

1. Количество учеников выражается целым числом: нельзя иметь 25,5 ученика. Поэтому выбираем целый тип.
2. Температура может быть, например, 18,5 градуса. Для хранения такого значения подходит вещественный тип.
3. Ответ на вопрос о положительности числа — «да» или «нет». Это истина либо ложь, значит, нужен логический тип.

Ответ: количество учеников — целый тип, температура — вещественный, результат проверки — логический.

Задача 2. Для переменных a = 12, b = 2,5 и c = 'A' указать типы и определить тип выражений a + 3, b * 2 и a > 10. Здесь важно не только назвать типы переменных, но и проследить, какие операнды участвуют в каждом действии. Символ c в выражениях не используется, поэтому он не меняет типы их результатов.

1. a хранит целое число 12, значит, его тип целый; b хранит дробное число 2,5, значит, его тип вещественный; c хранит один знак A, значит, его тип символьный.
2. В a + 3 оба операнда целые числа. Их сумма также имеет целый тип.
3. В b * 2 участвуют вещественное и целое значения. При допустимом числовом умножении результат будет вещественным.
4. a > 10 — сравнение двух чисел. Оно даёт истину или ложь, поэтому результат имеет логический тип.

Ответ: a — целый, b — вещественный, c — символьный; a + 3 — целое выражение, b * 2 — вещественное, a > 10 — логическое.

Задача 3. Составить объявление переменных для фамилии, числа попыток и среднего результата, а затем проверить подходящие операции. Сначала определяем, какие значения должны храниться: последовательность знаков, счётчик и результат, который может быть дробным. После этого соотносим назначение каждой переменной с типом.

1. Для фамилии выбираем строковый тип, например фамилия: строка. Подходящие действия — сохранить, вывести или сравнить текст по правилам языка.
2. Для числа попыток выбираем целый тип, например попытки: целое. Можно увеличивать счётчик на единицу и сравнивать его с ограничением.
3. Для среднего результата выбираем вещественный тип, например среднее: вещественное. Его можно вычислять и сравнивать с порогом, учитывая возможную погрешность.

Ответ: фамилия — строковый тип, число попыток — целый, средний результат — вещественный. Выбор согласован с возможными значениями и операциями над ними.

Типичные ошибки

Считать целый и вещественный типы взаимозаменяемыми — ошибка: целое значение не хранит дробную часть, а вещественное при вычислении может быть приближённым. Так думают, потому что оба типа представляют числа, но их свойства различаются. Проверьте себя: может ли появиться дробная часть и нужна ли точность без округления?

Выбирать целый тип для величины, которая иногда бывает дробной, нельзя, даже если сейчас значение оказалось целым. Например, сегодняшняя температура 18 градусов не гарантирует, что завтра она не будет 18,5. Причина ошибки — выбор по текущему примеру вместо возможных значений. Проверка проста: перечислите, какие значения может получить переменная в программе.

Символ и строка — не одно и то же: символ хранит один знак, строка может содержать целое слово или предложение. Путаница возникает из-за того, что строка тоже состоит из символов. Чтобы проверить тип, спросите себя, может ли значение включать несколько знаков; для фамилии нужна строка, для одной буквы — символ.

Смешивать значения разных типов без проверки совместимости рискованно: операция может быть недопустимой или потребовать преобразования. Ошибку допускают, полагая, что любая запись, похожая на число или текст, автоматически подходит для арифметики. Перед вычислением проверьте тип каждого операнда и правила операции в языке программирования. Если нужно преобразование, убедитесь, что оно не отбросит дробную часть и не исказит значение.

Связь с другими темами

Чтобы понимать типы данных, нужно знать, что такое переменная, её значение и выражение: переменная хранит значение, а выражение выполняет над значениями действия. Типы применяются при записи алгоритмов и программ — при объявлении переменных, вводе и выводе данных, вычислениях. Например, выбранный тип определяет, можно ли сохранить введённую дробь без потери нужной части.

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

Что запомнить

• Тип данных задаёт допустимые значения и операции.
• Тип переменной выбирают по тому, какие данные она должна хранить.
• Целый тип предназначен для чисел без дробной части.
• Вещественный тип используют для чисел с дробной частью.
• Логическое значение выражает истину или ложь.
• Символьный тип хранит один знак, строковый — последовательность знаков.
• При выполнении операции нужно учитывать типы её операндов.