运行 ❯
获取
自己的 PHP
服务器
×
更改方向
更改主题，亮色/暗色
转到 Spaces
<!DOCTYPE html> <html> <body> <?php // Cast float to int $x = 23465.768; $int_cast = (int)$x; echo $int_cast; echo "<br>"; // Cast string to int $x = "23465.768"; $int_cast = (int)$x; echo $int_cast; ?> </body> </html>
23465
23465
