(int)10000/1000 在 php 中有什么作用？

Question

我在 PHP 中寻找类似于 javascript 中的 setInterval 方法：

setInterval(function() {
  /* do something amazing every ten seconds */
}, 10000);

我在 SO 上看到了这个答案：，当我在玩弄这个功能时，我意识到我不知道这一行是做什么的：

$seconds=(int)$milliseconds/1000;

我想在我的网站上使用它之前完全了解它的作用，所以有人可以阐明该行的作用

 function setInterval($f, $milliseconds) {
   $seconds=(int)$milliseconds/1000;
   while(true) {
     $f();
     sleep($seconds);
   }
 }

编辑：在进一步调整功能后，我想出了这个：

function setInterval2($callBack, $seconds) {
  while(true) {
    $callBack();
    sleep($seconds/1000);
  }
}

这两个函数（php 版本的函数没有 javascript 的函数）做同样的事情并得到相同的结果吗？
两者有区别吗？
提前谢谢你。

Answer 1

这个：

(int)$milliseconds/1000;

基本相同：

floor($milliseconds/1000);

除法的结果是一个浮点值。 (int) 化为整数，去掉小数。

What does (int)10000/1000 do in php?