PHP 8.4.0 RC4 available for testing

Жонглирование типами

PHP не требует явного определения типа при объявлении переменной. Тип переменной определится значением, которое хранит переменная, если тип переменной не определили. То есть, если переменной $var присвоили строковое значение (string), тип переменной $var — строка (string). Тип переменной изменится на целое число (int), если позже переменной $var присвоят целочисленное значение (int).

В ряде контекстов PHP попытается автоматически преобразовать тип значения в другой. Переменные существуют в следующих контекстах:

  • Числовой
  • Строчный
  • Логический
  • Контекст целых чисел и строк
  • Сравнительный
  • Контекст функций

Замечание: Когда значение требуется интерпретировать как другой тип, само значение не изменяет типы.

Как заставить PHP оценивать переменную как конкретный тип, рассказывает раздел «Приведение типов». Описание функции settype() объясняет, как изменить тип переменной.

Числовой контекст

Числовой контекст возникает при работе с арифметическими операторами.

В этом контексте оба операнда интерпретируются как число с плавающей точкой (float) и результатом будет число с плавающей точкой (float), если один из операндов — число с плавающей точкой (float) (или не интерпретируется как целое число (int)). В противном случае операнды интерпретируются как целое число (int) и результатом также будет целое число (int). С PHP 8.0.0 выбрасывается исключение TypeError, если не получается интерпретировать хотя бы один операнд.

Строчный контекст

Строчный контекст возникает при работе с языковыми конструкциями echo, print, при интерполяции строк или строковом операторе конкатенации.

В этом контексте значение будет интерпретироваться как строка (string). Выбрасывается исключение TypeError, если значение не получается интерпретировать. До версии PHP 7.4.0 выдавалась ошибка уровня E_RECOVERABLE_ERROR.

Логический контекст

Логический контекст возникает при работе с условными операторами, тернарным оператором или логическими операторами.

В этом контексте значение интерпретируется как логическое значение (bool).

Контекст целых чисел и строк

Контекст целых чисел и строк возникает при работе с побитовыми операторами.

В этом контексте результатом будет строка (string), если тип всех операндов — строка (string). В противном случае операнды интерпретируются как целое число (int) и результатом также будет целое число (int). С PHP 8.0.0 выбрасывается исключение TypeError, если не получается интерпретировать хотя бы один операнд.

Сравнительный контекст

Сравнительный контекст возникает при работе с операторами сравнения.

Преобразования типов, которые происходят в этом контексте, объясняет таблица сравнения типов раздела «Операторы сравнения».

Контекст функций

Контекст функций возникает, когда значение передаётся типизированному параметру, свойству или возвращается из функции, которая объявляет тип возвращаемого значения.

В контексте функции на значение накладывается требование — соответствовать тому типу, который объявили. Исключение составляют два случая. Первый: целое число преобразовывается в число с плавающей точкой, если тип значения — целое число (int), а тип объявили как число с плавающей точкой (float). Второй: значение преобразовывается в принимаемое скалярное значение, если: а) тип объявили как скалярный, б) значение доступно для преобразования в скалярный тип и в) активен режим нестрогой типизации, в котором PHP работает по умолчанию. Описание такого поведения даёт следующий параграф.

Внимание

Встроенные функции автоматически приводят значение null к скалярным типам, это поведение УСТАРЕЛО с PHP 8.1.0.

Типизация при объявлении простых типов в режиме нестрогой типизации

  • Объявление типа bool: значение интерпретируется как логическое значение (bool).
  • Объявление типа int: значение интерпретируется как целое число (int), если интерпретатор точно определил характер преобразования. Например, когда строка — числовая строка.
  • Объявление типа float: значение интерпретируется как число с плавающей точкой (float), если интерпретатор точно определил характер преобразования. Например, когда строка — числовая строка.
  • Объявление типа string: значение интерпретируется как строка (string).

Типизация при объединении типов в режиме нестрогой типизации

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

  1. int
  2. float
  3. string
  4. bool
Интерпретатор выбирает тип, если тип присутствует в объединении типов и значение получается привести к типу в соответствии с действующей семантикой проверки типов PHP. В противном случае интерпретатор выбирает следующий по порядку тип.

Предостережение

В качестве исключения: если значение — строка, а объединение типов состоит из целого число (int) и числа с плавающей точкой (float), интерпретатор определит предпочтительный тип действующей семантикой числовой строки. Например, для значения «42» выберет целое число (int), а для значения «42.0» — число с плавающей точкой (float).

Замечание:

Типы, которые не входят в список предпочтений, не станут целями для неявного приведения. Говоря конкретнее, никакого неявного приведения к типам null, false и true не будет.

Пример #1 Пример приведения типов к типу из объединения типов

<?php

// int|string
42 --> 42 // Точный тип
"42" --> "42" // Точный тип
new ObjectWithToString --> "Результат работы метода __toString()"
// Объект несовместим с типом int, переход к типу string
42.0 --> 42 // Тип float совместим с типом int
42.1 --> 42 // Тип float совместим с типом int
1e100 --> "1.0E+100" // Тип float слишком велик для типа int, переход к типу string
INF --> "INF" // Тип float слишком велик для типа int, переход к типу string
true --> 1 // Тип bool совместим с типом int
[] --> TypeError // Массив несовместим с типами int или string

// int|float|bool
"45" --> 45 // Целочисленная числовая строка, int
"45.0" --> 45.0 // Строка с числом с плавающей точкой, float

"45X" --> true // Нечисловая строка, переход к типу bool
"" --> false // Нечисловая строка, переход к типу bool
"X" --> true // Нечисловая строка, переход к типу bool
[] --> TypeError // Массив несовместим с типами int, float или bool

?>

Приведение типов

Приведение типов преобразовывает значение в тип, который выбирает интерпретатор, путём записи типа в круглых скобках перед значением, которое преобразовывается.

<?php

$foo
= 10; // Переменная $foo — целое число
$bar = (bool) $foo; // Переменная $bar — логическое значение

?>

Разрешены следующие приведения типов:

  • (int) — приведение типа к целому числу (int)
  • (bool) — приведение типа к логическому значению (bool)
  • (float) — приведение типа к числу с плавающей точкой (float)
  • (string) — приведение типа к строке (string)
  • (array) — приведение типа к массиву (array)
  • (object) — приведение типа к объекту (object)
  • (unset) — приведение типа к NULL

Замечание:

(integer) — псевдоним приведения типа (int). (boolean) — псевдоним приведения типа (bool). (binary) — псевдоним приведения типа (string). (double) и (real) — псевдонимы приведения типа (float). Эти приведения не используют каноническое имя типа и не рекомендуются.

Внимание

Псевдоним приведения типа (real) устарел с PHP 8.0.0.

Внимание

Приведение типа (unset) устарело с версии PHP 7.2.0. Обратите внимание, что приведение (unset) равносильно присваиванию переменной или вызову значения NULL. Приведение (unset) удалили в PHP 8.0.0.

Предостережение

Приведение типа (binary) и префикс b существуют для прямой поддержки. Типы (binary) и (string) идентичны, однако, это может измениться, не нужно на это полагаться.

Замечание:

PHP игнорирует пробелы в круглых скобках при приведении типа. Поэтому следующие два приведения типов эквивалентны:

<?php

$foo
= (int) $bar;
$foo = ( int ) $bar;

?>

Приведение строк (string) и переменных к бинарным строкам (string):

<?php

$binary
= (binary) $string;
$binary = b"binary string";

?>

Замечание: Вместо приведения переменной к строке (string) переменную берут в двойные кавычки.

<?php

$foo
= 10; // Переменная $foo — целое число
$str = "$foo"; // Переменная $str — строка
$fst = (string) $foo; // Переменная $fst тоже строка

// Выводит: «они одинаковые»
if ($fst === $str) {
echo
"они одинаковые";
}

?>

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

Замечание: Поскольку PHP поддерживает индексацию в строках (string) через смещения, используя тот же синтаксис, что и индексация в массивах (array), следующий пример справедлив для всех версий PHP:

<?php

$a
= 'car'; // Переменная $a — строка
$a[0] = 'b'; // Переменная $a по-прежнему строка
echo $a; // Выводит: bar

?>
Дополнительную информацию даёт раздел « Доступ к символу в строке и его изменение ».

Добавить

Примечания пользователей 8 notes

up
71
Raja
19 years ago
Uneven division of an integer variable by another integer variable will result in a float by automatic conversion -- you do not have to cast the variables to floats in order to avoid integer truncation (as you would in C, for example):

$dividend = 2;
$divisor = 3;
$quotient = $dividend/$divisor;
print $quotient; // 0.66666666666667
up
14
Anonymous
3 years ago
Cast operators have a very high precedence, for example (int)$a/$b is evaluated as ((int)$a)/$b, not as (int)($a/$b) [which would be like intdiv($a,$b) if both $a and $b are integers].
The only exceptions (as of PHP 8.0) are the exponentiation operator ** [i.e. (int)$a**$b is evaluated as (int)($a**$b) rather than ((int)$a)**$b] and the special access/invocation operators ->, ::, [] and () [i.e. in each of (int)$a->$b, (int)$a::$b, (int)$a[$b] and (int)$a($b), the cast is performed last on the result of the variable expression].
up
27
fardelian
11 years ago
Casting objects to arrays is a pain. Example:

<?php

class MyClass {

private
$priv = 'priv_value';
protected
$prot = 'prot_value';
public
$pub = 'pub_value';
public
$MyClasspriv = 'second_pub_value';

}

$test = new MyClass();
echo
'<pre>';
print_r((array) $test);

/*
Array
(
[MyClasspriv] => priv_value
[*prot] => prot_value
[pub] => pub_value
[MyClasspriv] => second_pub_value
)
*/

?>

Yes, that looks like an array with two keys with the same name and it looks like the protected field was prepended with an asterisk. But that's not true:

<?php

foreach ((array) $test as $key => $value) {
$len = strlen($key);
echo
"{$key} ({$len}) => {$value}<br />";
for (
$i = 0; $i < $len; ++$i) {
echo
ord($key[$i]) . ' ';
}
echo
'<hr />';
}

/*
MyClasspriv (13) => priv_value
0 77 121 67 108 97 115 115 0 112 114 105 118
*prot (7) => prot_value
0 42 0 112 114 111 116
pub (3) => pub_value
112 117 98
MyClasspriv (11) => second_pub_value
77 121 67 108 97 115 115 112 114 105 118
*/

?>

The char codes show that the protected keys are prepended with '\0*\0' and private keys are prepended with '\0'.__CLASS__.'\0' so be careful when playing around with this.
up
16
miracle at 1oo-percent dot de
18 years ago
If you want to convert a string automatically to float or integer (e.g. "0.234" to float and "123" to int), simply add 0 to the string - PHP will do the rest.

e.g.

$val = 0 + "1.234";
(type of $val is float now)

$val = 0 + "123";
(type of $val is integer now)
up
13
rmirabelle
14 years ago
The object casting methods presented here do not take into account the class hierarchy of the class you're trying to cast your object into.

/**
* Convert an object to a specific class.
* @param object $object
* @param string $class_name The class to cast the object to
* @return object
*/
public static function cast($object, $class_name) {
if($object === false) return false;
if(class_exists($class_name)) {
$ser_object = serialize($object);
$obj_name_len = strlen(get_class($object));
$start = $obj_name_len + strlen($obj_name_len) + 6;
$new_object = 'O:' . strlen($class_name) . ':"' . $class_name . '":';
$new_object .= substr($ser_object, $start);
$new_object = unserialize($new_object);
/**
* The new object is of the correct type but
* is not fully initialized throughout its graph.
* To get the full object graph (including parent
* class data, we need to create a new instance of
* the specified class and then assign the new
* properties to it.
*/
$graph = new $class_name;
foreach($new_object as $prop => $val) {
$graph->$prop = $val;
}
return $graph;
} else {
throw new CoreException(false, "could not find class $class_name for casting in DB::cast");
return false;
}
}
up
18
ieee at REMOVE dot bk dot ru
12 years ago
There are some shorter and faster (at least on my machine) ways to perform a type cast.
<?php
$string
='12345.678';
$float=+$string;
$integer=0|$string;
$boolean=!!$string;
?>
up
18
Anonymous
22 years ago
Printing or echoing a FALSE boolean value or a NULL value results in an empty string:
(string)TRUE //returns "1"
(string)FALSE //returns ""
echo TRUE; //prints "1"
echo FALSE; //prints nothing!
up
1
Anonymous
10 days ago
Type casting in expressions is executed first.
The casting is assigned to the value, not to the expression result.
Examples:

<?php

$string
= "777";

var_dump( $string === 777 ); // FALSE
var_dump( (int) $string === 777 ); // TRUE
var_dump( ( (int) $string ) === 777 ); // TRUE
var_dump( (int) ( $string === 777 ) ); // 0
?>
To Top