<?php
$values = [
'0',
'-0',
'1',
'-1',
'0.0',
'1.1',
'-1.1',
'0x111',
'0111',
'0b111',
'-0x111',
'-0111',
'-0b111',
'0.1e2',
'-0.1e2',
'0.1e-2',
'-0.1e-2',
];
printf(' string | float | int' . PHP_EOL);
foreach ($values as $value) {
$float = filter_var($value, FILTER_VALIDATE_FLOAT, FILTER_REQUIRE_SCALAR);
$int = filter_var($value, FILTER_VALIDATE_INT, FILTER_REQUIRE_SCALAR);
printf('%7s | %6s | %2s%s', $value, $float, $int, PHP_EOL);
}
- Output for 7.0.0 - 7.0.20, 7.1.0 - 7.1.7, 7.2.11 - 7.2.33, 7.3.16 - 7.3.33, 7.4.0 - 7.4.33, 8.0.0 - 8.0.30, 8.1.0 - 8.1.28, 8.2.0 - 8.2.18, 8.3.0 - 8.3.4, 8.3.6
- string | float | int
0 | 0 | 0
-0 | 0 | 0
1 | 1 | 1
-1 | -1 | -1
0.0 | 0 |
1.1 | 1.1 |
-1.1 | -1.1 |
0x111 | |
0111 | 111 |
0b111 | |
-0x111 | |
-0111 | -111 |
-0b111 | |
0.1e2 | 10 |
-0.1e2 | -10 |
0.1e-2 | 0.001 |
-0.1e-2 | -0.001 |
- Output for 8.3.5
- Warning: PHP Startup: Unable to load dynamic library 'sodium.so' (tried: /usr/lib/php/8.3.5/modules/sodium.so (libsodium.so.23: cannot open shared object file: No such file or directory), /usr/lib/php/8.3.5/modules/sodium.so.so (/usr/lib/php/8.3.5/modules/sodium.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
string | float | int
0 | 0 | 0
-0 | 0 | 0
1 | 1 | 1
-1 | -1 | -1
0.0 | 0 |
1.1 | 1.1 |
-1.1 | -1.1 |
0x111 | |
0111 | 111 |
0b111 | |
-0x111 | |
-0111 | -111 |
-0b111 | |
0.1e2 | 10 |
-0.1e2 | -10 |
0.1e-2 | 0.001 |
-0.1e-2 | -0.001 |
preferences:
145.74 ms | 402 KiB | 161 Q