В этом уроке мы подробнее разберем работу с типами данных. Мы узнаем, какие они бывают и чем отличаются. Также рассмотрим, что такое слабая типизация, и почему она может создавать проблемы. Еще мы научимся явно преобразовывать типы, чтобы избежать этих проблем.
Какие бывают типы данных
Существуют разные способы представлять данные в программах:
- Строки — наборы символов в кавычках, вроде
"Hello, World!"
- Целые числа — например,
7
,-198
,0
Это две разные категории информации — два разных типа данных.
Операция умножения имеет смысл для целых чисел, но не имеет смысла для строк. Умножать слово «мама» на слово «блокнот» — бессмыслица. Тип данных определяет, что можно делать с элементами конкретного множества элементов.
Язык программирования распознает типы. Поэтому PHP не позволит нам умножать текст на текст. Но позволит умножать целое число на другое целое число. Наличие типов и таких ограничений в языке защищает программы от случайных ошибок.
В отличие от строк, числа оборачивать в кавычки не нужно. Чтобы напечатать число 5, достаточно написать:
<?php
print_r(5);
Число 5
и строка '5'
— разные вещи, хотя вывод у print_r()
для этих данных идентичный.
Целые числа, например, 1
, 34
, -19
, и рациональные числа, например, 1.3
, 1.0
, -14.324
, — это два отдельных типа данных. Такое разделение связано с особенностями устройства компьютеров. Есть и другие типы, с ними мы познакомимся позже.
Пример с рациональным числом:
<?php
print_r(10.234);
Типы данных «строка», «целое число» и «рациональное число» — это примитивные типы. Они встроены в сам язык PHP.
В язык также встроены и некоторые составные типы данных, но пока мы будем работать только с примитивными. Программисты также могут создавать собственные типы данных.
По-английски строки в программировании называются strings, а строчки текстовых файлов — lines. Например, в коде выше есть три lines, и нет strings.
В русском языке может быть путаница, поэтому во всех уроках мы будем говорить «строка» для обозначения типа данных «строка», и «строчка» — для lines в файлах.
Что такое слабая типизация
Мы могли складывать числа, потому что операция сложения — это операция для типа «числа». А если применить эту операцию к числу и строке:
print_r(1 + '7'); // => 8
'7'
— это строка, а не число, при этом интерпретатор PHP выдал ответ 8
, как если бы мы складывали два числа. Когда PHP видит несоответствие типов, он сам пытается преобразовать информацию. В данном случае он преобразовал строку '7'
в число 7
, а потом сложил 1
и 7
.
Не все языки так делают. PHP — это язык со слабой типизацией. Он знает о существовании разных типов, но относится к их использованию не строго. Он пытается преобразовывать информацию, когда это кажется разумным.
В языках со строгой типизацией сложить число со строкой не получится.
PHP был создан для интернета, а в интернете вся информация — это строки. Даже когда мы вводим на сайте номер телефона или год рождения, на сервер эта информация поступает не как числа, а как строки. Поэтому авторы языка решили, что автоматически преобразовывать типы — правильно и удобно.
Такое автоматическое неявное преобразование типов с одной стороны и правда удобно. Но на практике это свойство языка создает множество ошибок и проблем, которые трудно найти. Код может иногда работать, а иногда не работать. Это зависит от того, «повезло» ли в конкретном случае с автоматическим преобразованием. Программист это заметит не сразу.
В дальнейших заданиях мы будем встречаться с таким поведением не раз. Часто будет возникать вопрос «почему мой код работает не так, как я ожидаю?».
Как явно преобразовать типы
Преобразование типов — частая операция в веб-разработке. Для ее выполнения можно полагаться на слабую типизацию. Но во многих ситуациях лучше делать преобразование явно с помощью специального синтаксиса. Такой код понятнее и предсказуемее.
Пример явного преобразования типов:
<?php
// Примеры немного искусственные
// В реальности этот механизм становится полезен при использовании переменных
print_r((string) 5);
print_r((int) '345');
// Преобразование типов можно использовать внутри составных выражений
print_r('Это ' . ((string) 5)); // => 'Это 5'
Явное преобразование типа работает так: перед значением в скобках указывается желаемый тип. В результате значение справа преобразуется в значение другого типа, указанного слева в скобках. На текущий момент мы знакомы только с двумя типами, но преобразование работает для любого типа.
В более сложных ситуациях — например, при использовании функций, которые будем проходить позже — встречаются множественные преобразования: (string) (5 + ((int) '4'))
. Порядок вычисления этого выражения следующий:
<?php
(int) '4'; // 4
5 + 4; // 9
(string) 9; // '9'
Выводы
В этом уроке мы разобрали работу с типами данных: со строками и целыми числами. Мы узнали, что PHP — это язык со слабой типизацией. Он знает о существовании разных типов, но относится к их использованию не строго. Он пытается преобразовывать информацию, когда это кажется разумным.
Например, мы можем указать '7'
как строку, а не число. В этом случае, если по мнению интерпретатора PHP происходит несоответствие типов, он сам пытается преобразовать информацию.
Еще мы узнали, что не всегда можно полагаться на слабую типизацию. Во многих ситуациях лучше делать преобразование явно с помощью специального синтаксиса. Такой код будет понятнее и предсказуемее.
Дополнительные материалы
Остались вопросы? Задайте их в разделе «Обсуждение»
Вам ответят команда поддержки Хекслета или другие студенты
- Статья «Как учиться и справляться с негативными мыслями»
- Статья «Ловушки обучения»
- Статья «Сложные простые задачи по программированию»
- Вебинар «Как самостоятельно учиться»