PHP: Слабая типизация

В модуле «Арифметика» мы затронули тему слабой типизации.

PHP — это язык со слабой типизацией. Он знает о существовании разных типов (числа, строки и др.), но относится к их использованию не очень строго, пытаясь преобразовывать информацию, когда это кажется разумным.

Особенно много автоматических преобразований происходит при работе с логическими операциями.

В PHP есть два простых правила, по которым происходят преобразования:

• 0, '' (пустая строка), null приводятся к false. Эти значения называют falsy.
• Всё остальное превращается в true.

Это работает и в другую сторону: true и false преобразовываются в другие типы данных, в зависимости от ситуации:

<?php

print_r(true);

1

<?php

print_r(false);

(на экран вывелась пустая строка)

Ещё один пример:

<?php

print_r(0 || 1);

1

Что тут произошло:

Оператор ИЛИ работает только с типом bool, но ему даны числа 1 и 0.

1. 0 преобразуется в false, а 1 преобразуется в true.
2. Результат false || true — это true.
3. Теперь print_r() получает true, но он работает только со строками (не с bool).
4. true преобразуется в 1.
5. И на экран выводится 1.

---

В одном из уроков мы рассмотрели операторы сравнения === и !== и упомянули, что в PHP также есть операторы == и !=, но их не стоит использовать. Отличия как раз заключаются в преобразовании типов:

<?php

var_dump('' === false); // => false
var_dump('' == false);  // => true

Пустая строка и false — это разные значения, поэтому оператор === говорит «ложь! они не равны!».

Но оператор == преобразует типы, и с его точки зрения пустая строка и false равны. Это преобразование неявное, поэтому по возможности избегайте операторов == и !=.

---

Вспомните операцию отрицания:

<?php

$answer = true;
var_dump(!$answer); // => false

При двойном отрицании !! итоговое значение равно начальному:

<?php

$answer = true;
var_dump(!!$answer); // => true

Но здесь дополнительно происходят преобразования типа. Поэтому результатом двойного отрицания всегда будет bool. Этим приемом пользуются, чтобы поменять тип данных.

---

В разных языках программирования разные правила преобразований. Некоторые языки вообще не преобразовывают типы сами. Многие особенности PHP откровенно не самые удачные, но это историческое наследие языка. Если бы его создавали сегодня с нуля, то многие правила и нюансы наверняка были бы совсем иными.

Задание

Напишите функцию isFalsy(), которая проверяет, трактуется ли переданное значение как ложное с точки зрения PHP. Для выполнения этой проверки вам понадобится сравнить false с переданным значением, используя ==.

<?php

isFalsy(false);  // true
isFalsy(0);      // true
isFalsy('help'); // false
isFalsy(10);     // false

---

Советы

• Booleans

---