Какая типизация переменных используется php
Какая типизация переменных используется php
PHP поддерживает восемь простых типов данных (переменных):
Существуют также несколько :
Рассмотрим кратко перечисленные типы данных PHP.
Тип Boolean (двоичные данные)
Чтобы определить булев тип, используйте ключевое слово TRUE или FALSE. Оба регистро-независимы.
Обычно вы используете некий оператор, который возвращает логическое выражение, а затем предает его управляющей конструкции.
Подробнее о булевых типах данных смотрите здесь.
Тип integer (целые числа)
Целые могут быть указаны в десятичной, шестнадцатеричной или восьмеричной системе счисления, по желанию с предшествующим знаком (- или +).
Подробнее о типах данных смотрите здесь.
Тип float (числа с плавающей точкой)
Числа с плавающей точкой (они же числа двойной точности или действительные числа) могут быть определены при помощи любого из следующих синтаксисов:
Подробнее о типах данных смотрите здесь.
Тип string (строки)
Строка легко может быть обработана при помощи стандартных функций, можно также непосредственно обратиться к любому ее символу.
Пример строковой переменной:
Подробнее о типах данных смотрите здесь.
Тип array (массивы)
Индекс (ключ) служит для однозначной идентификации элемента внутри массива. В одном массиве не может быть двух элементов с одинаковыми индексами.
PHP позволяет создавать массивы любой сложности. Рассмотрим некоторые примеры:
Простой массив (список)
Ассоциативные массивы
В PHP индексом массива может быть не только число, но и строка. Причем на строку не накладываются ограничения: она может содержать пробелы, специальные символы и быть любой длины.
Массивы, индексами которых являются строки, называются ассоциативными массивами. Индексы ассоциативных массивов называются ключами. Пример ассоциативного массива:
Многомерные массивы
Многомерные массивы похожи на записи в языке Pascal или структуры в языке C.
Подробно о массивах и операциях с массивами вы можете узнать здесь
Тип object (объекты)
Объект является одним из базовых понятий объектно-ориентированного программирования. Внутренняя структура объекта похожа на хэш, за исключением того, что для доступа к отдельным элементам и функциям используется оператор ->, а не квадратные скобки.
class foo
<
function do_foo ()
<
echo «Doing foo.» ;
>
>
Подробное рассмотрение объектов производится в разделе PHP и ООП
Тип resource (ресурсы)
Тип NULL («пустой» тип)
Переменная считается NULL если:
ей была присвоена константа NULL;
ей еще не было присвоено какое-либо значение;
она была удалена с помощью unset().
Псевдотип mixed (смешанный)
mixed говорит о том, что параметр может принимать множество (но не обязательно все) типов.
gettype(), например, принимает все типы PHP, тогда как str_replace() принимает строки и массивы.
Псевдотип number (числовой)
number говорит о том, что параметр может быть либо integer, либо float.
Псевдотип callback (обратного вызова)
Некоторые функции, такие как call_user_func() или usort() принимают в качестве параметра определенные пользователем callback-функции. Callback-функции могут быть не только простыми функциями, но также методами объектов, включая статические методы классов.
PHP-функция передается просто как строка ее имени. Вы можете передать любую встроенную или определенную пользователем функцию за исключением array(), echo(), empty(), eval(), exit(), isset(), list(), print() и unset().
Приведем примеры callback функций:
// простой пример callback
function my_callback_function () <
echo ‘hello world!’ ;
>
call_user_func ( ‘my_callback_function’ );
// примеры callback-метода
class MyClass <
function myCallbackMethod () <
echo ‘Hello World!’ ;
>
>
Мы рассмотрели достаточно поверхностно типы данных PHP. Для более подробного ознакомления с этим вопросом посетите подраздел «Типы данных PHP».
PHP — типы переменных
Дата публикации: 2017-10-23
От автора: основной способ хранения информации в программе PHP — это использование переменной. Ниже приводятся основные сведения о том, как работают в PHP переменные.
Все переменные в PHP обозначаются символом доллара ($) в начале имени переменной.
Значение переменной — это значение, присвоенное ей последним.
Значение переменным присваиваются с помощью оператора =, слева от оператора = указывается имя переменной, а справа присваиваемое значение.
Бесплатный курс по PHP программированию
Освойте курс и узнайте, как создать динамичный сайт на PHP и MySQL с полного нуля, используя модель MVC
В курсе 39 уроков | 15 часов видео | исходники для каждого урока
Переменные могут объявляться (но не обязательно) перед присвоением им значения.
Переменные в PHP не имеют встроенных типов — для переменных заранее не определяется, будет ли она использоваться для хранения числа или строки символов.
Для переменных, которые указываются до присвоения им значения, используется значение по умолчанию.
PHP эффективно преобразует типы из одного в другой, когда это необходимо.
Переменные PHP похожи на переменные Perl.
PHP поддерживает восемь типов данных, которые используются для переменных —
Целые числа — это целые числа без дробной части, например, 4195.
Дробные числа — это числа с плавающей запятой, такие как 3.14159 или 49.1.
Логические выражения — имеют только два возможных значения: true или false.
NULL — это особый тип, который имеет только одно значение — NULL.
Строки — это последовательности символов, например, «PHP поддерживает строковые операции».
Массивы — это именованные и проиндексированные наборы других значений.
Объекты — это экземпляры классов, определяемые программистом, которые могут содержать другие типы значений и функции, характерные для этого класса.
Ресурсы — это специальные переменные, которые содержат ссылки на внешние по отношению к PHP ресурсы (такие как соединения с базой данных).
Первые пять являются простыми типами, а следующие два (массивы и объекты) являются составными — составные типы могут содержать другие произвольные значения произвольного типа, тогда как простые типы — нет. Мы рассмотрим в этой статье только простые типы переменных. Массивы и объекты будут пояснены отдельно.
Целые числа
Они представляют собой целые числа без дробной части, например, 4195. Это простейший тип. Он соответствует простым целым числам, как положительным, так и отрицательным. Целые числа могут быть назначены переменным, а также их можно использовать в выражениях, например:
Достоинства и фатальные недостатки типизации в php
Язык php часто ругают, обычно необоснованно. Особенно удивляет, что javascript ругают меньше. Зачастую это делают люди, которые писали на нем 10+ лет назад, когда язык был действительно чертовски плох, да и разработчики в те времена не задумывались над качеством кода. Посмотрите хотя бы на код wordpress, который до сих пор вызывает шок.
Ругают необоснованно, но проблемы у языка, конечно же, есть, и они серьёзные. Разуметеся, если сравнить последние релизы php7 (с нормальным ООП и строгим тайпхинтингом) и php4, то разница будет колоссальная. Однако и в последних версиях языка не всё гладко, и до java/c# пока что очень далеко. Более того, берусь утверждать, что будущее php тоже довольно сомнительно (с точки зрения типов).
Другими словами, давайте рассмотрим предметно, что хорошо и что плохо в php с точки зрения типизации.
Тайп хинтинги
Для начала давайте разберемся, для чего вообще нужны тайпхинтинги в php, чтобы ни у кого не осталось вопросов а ля «зачем эта лишняя писанина».
Немного отвлечемся и посмотрим кусок кода на javascript:
Что мы можем сказать об этой функции? Она берет каких-то пользователей и фильтрует их по возрасту. Но этого мало, потому что сразу возникают вопросы:
Что такое users? Массив? Или какой-то хитрый объект-коллекция?
Возраст задан как целое число или может быть дробным?
Может ли возраст быть null?
Возвращает ли эта фунция значение или же меняет переданный массив users?
Чтобы всё это понять, надо прочесть код функции, а также вызовы этой функции. Ошибки будет отловить сложно, потому что язык не будет ругаться ни на какие аргументы, а будет пытаться их как-то привести к нужному типу.
Как известно, программист тратит больше времени на чтение и понимание кода, чем на написание нового, поэтому отстутствие подсказок в коде является затармаживающим фактором.
Для сравнения код на последних версиях php:
Вроде всё супер, но есть нюансы.
Нет дженериков
Нет уточнений для типа callable.
Вот пример функции:
Что за функция идет вторым аргументом? Что в ней должно быть?
Только в комментариях к коду мы можем понять, что там должно быть, к примеру, два аргумента. Кстати, есть четыре вида лжи: ложь, наглая ложь, статистика и комментарии к коду.
В некоторых языках, например в TypeScript, можно прописать прямо в объявлении функции:
Т.е. здесь в качестве аргумента action должна быть функция с двумя аргументами (строка и число), которая ничего не возрващает. Всё максимально явно, IDE и компилятор сразу скажут, если аргумент был какой-то не такой
Странности тайпхинтинга и типа возврата в связке с наследованием
Здесь получаем ошибку, что findById не совместим с findById из абстрактного класса.
Такой же пример в java нормально компилируется:
в TypeScript тоже можно:
На это дело время от времени появляются баг репорты, возможно будет исправлено когда-нибудь:
Фатальная проблема
Самая большая проблема в том, что php проверяет типы во время выполнения, а не во время компиляции. Потому что, не смотря на strict_types и type hintings, это ВНЕЗАПНО не строго типизированный язык
Отсюда следует два вывода:
1) Чем больше проверок в рантайме, тем больше тормозов. Поэтому слишком сложные проверки навряд ли вообще когда-нибудь появятся. Многослойные дженерики и callable с callable аргументами просто положат рантайм. Также будут тормозить рантайм введение типов для членов класса и в других местах.
2) Ошибки выявляются только во время запуска. Т.е. всегда будут ситуации, когда в какой-то хитрой ситуации пользователь сделает что-то не предусмотренное тестами, и всё повалится
Вместо выводов
Хотя (с точки зрения типов и ООП) на мой взгляд php на голову выше, чем javascript, и подходит для написания сложных программ, но при этом, конечно, не дотягивает до java/c#/typescript, и навряд ли когда-нибудь дотянется (см «Фатальная проблема»). Повторюсь, не дотянется именно с точки зрения системы типов, в остальных вещах возможны предпочтения в ту или иную сторону.
Поэтому в по-настоящему сложных приложениях надо обязательно всё обкладывать тестами. Также, возможно, что phpdoc добавит поддержку сложных callable с параметрами, и IDE научатся их понимать.
Как устроены переменные в PHP
Вроде простой вопрос, даже не понятно что на него ответить, правда?
Мы все знаем как создать переменную, как получить значение переменной, как взять ссылку на переменную в конце концов.
Но как они работают изнутри?
Что происходит в интерпретаторе, когда вы изменяете значение переменной? Или когда удаляете ее?
Как реализованы типы переменных?
В этой статье я постараюсь раскрыть именно эти темы.
Abstract
Переменные в PHP выражены в виде неких контейнеров, которые хранят в себе тип переменной, значение, кол-во ссылающихся переменных на этот контейнер, и флаг — является ли эта переменная ссылочной.
Отступление про структуры и указатели
Если вы никогда не писали на Си, то возможно не знаете про такие вещи, как структуры и указатели, которые очень широко тут используются и без которых пожалуй было бы очень сложно представить себе хоть сколько нибудь сложную программу на Си.
Структуры очень похожи на классы, только они не могут иметь методов, только данные, указатели на данные и указатели на функции. Объявляя структуру в Си, вы определяете тип данных, и теперь при определении переменной, вы можете написать имя этой структуры на месте типа той переменной, примерно так:
Указатели — это как переменные-ссылки, только их значение — это адрес в памяти. На самом деле, это ссылки как указатели, только они ведут себя как разыменованные указатели. Лучше показать на коде:
Контейнеры
Контейнером служит структура под названием zval, она выглядит так:
В итоге, когда вы будете создавать переменную этого типа, она займет в памяти ровно столько, сколько занимает самый тяжелый элемент юниона. 
Зачем столько лишнего?
Теперь разберем — зачем тут, например, какой-то refcount?
А очень просто: когда вы присваиваете переменной значение другой переменной, то они обе ссылаются на один zval, а refcount инкрементируется. 
(оригинал с собачкой тут)
Теперь, если вы захотите изменить значение одной из этих переменных, то PHP, увидя refcount больше 1, скопирует этот zval, сделает изменения там, и ваша переменная будет указывать уже на новый zval.
Если это немного формализовать, то это будет выглядеть примерно так:
| PHP | Под капотом |
|---|
Эта техника называется copy on write и она позволяет неплохо снизить потребление памяти.
Также, refcount нужен сборщику мусора, который удаляет из памяти все zval-ы, у которых refcount = 0.
А что делать с ссылками и зачем вообще этот is_ref?
А что происходит со ссылками? Все очень просто: если вы создаете ссылку от переменной, то флаг is_ref становится равным 1, и больше вышеописанная оптимизация для этого zval-а применяться не будет. Поясню кодом:
| PHP | Под капотом |
|---|
Конечно, если вы возьмете еще одну ссылку от foo, то refcount zval-а, на который ссылается foo, увеличится на один.
Пожалуй на этом (пока?) все, в следующей части поговорим о массивах.
PS не знаю кто как воспримет эти картинки, мне показалось это будет забавно 🙂 к сожалению сканера у меня нет
Переменные и типы данных в PHP
Объявление переменной
Типы данных
В отличии от большинства других языков программирования, язык РНР является слаботипизированным, что в свою очередь позволяет не требовать строгого задания типа при их объявлении. В ходе выполнения программы тип переменной может быть изменен неявным образом без специальных преобразований, что позволяет разработчику практически не задумываться о типах данных.
Опишем основные типы данных, которые поддерживаются РНР:
Boolean. Логический тип, способный принимать лишь два значения: True (истина) и False (ложь).
String. Строковый тип. Может хранить строку, максимальный размер которой составляет 2 Гбайт.
Array. Массив. Это объединение нескольких переменных под одним именем, обращаться к отдельным переменным которых можно при помощи индекса массива.
Object. Объект. Это конструкция, объединяющая несколько разнотипных переменных и методы их обработки.
Resource. Дескриптор, позволяющий оперировать тем или иным ресурсом, доступ к которому осуществляется при помощи библиотечных функций. Дескрипторы применяются при работе с файлами, базами данных, динамическими изображениями и т.д.
Null. Специальный тип, который сигнализирует о том, что переменная не была инициализирована.
Callable|Callback. Некоторые функции РНР могут принимать в качестве аргументов другие функции, которые называются функциями обратного вызова. Переменные данного типа содержат ссылки на такие функции.
Целые числа
Поскольку большинство прикладных задач носит исключительно арифметический характер, наиболее распространенными в программировании являются целые числа. Кроме того, данный тип данных наиболее быстродействующий.
Объявление целочисленных переменных может осуществляться несколькими способами:
Положительное целое число объявляется без указания перед ним знака плюс. Для объявления отрицательного числа необходимо перед ним указать символ минуса. По умолчанию числа задаются в десятичной системе счисления, однако в РНР можно объявлять переменные в восьмеричной и шестнадцатеричной системах счисления. Более подробно о целых числах и системах счисления можно узнать из статьи Целые числа (Integer)
Вещественные числа
Вещественные числа (Float или Double) имеют очень большой интервал, выйти за который практически нереально. Существуют две формы записи вещественного числа: стандартная и экспоненциальная.
При выводе под число с плавающей точкой отводится 12 символов, это значение может быть изменено при помощи директивы Precision в конфиrурационном файле php.ini.
Объявление вещественных чисел:
Более подробно о вещественных числах можно узнать из статьи Числа с плавающей точкой (Float)
Логический тип
Строки
Кавычки
Строки и строковые переменные создаются путем заключения той или иной фразы в кавычки. В РНР имеется возможность применять несколько типов кавычек, каждый вид которых имеет собственные особенности.
Двойные кавычки («. «) позволяют вместо переменных РНР подставлять их значения. Такая подстановка называется интерполяцией.
Одиночные кавычки (‘. ‘) не позволяют подставлять значение переменных.
Применение обратного слеша с рядом другими символами интерпретируется особым образом. Наиболее часто используются символы перевода строки (\n), возврат каретки (\r), символ табуляции (\t), обратный слеш (\\), двойная (\») и одинарная кавычка (\’). Размещение переменных и специальных символов (за исключением \’) в одиночных кавычках не приводит к их специальной интерпретации.
Хорошим тоном является указание границ переменной внутри строки обрамлением фигурными скобками (<. >):