(int)10000/1000在php中做什么?

Question

我正在寻找一个setInterval方法在PHP类似于一个在javascript:

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

，我在SO上看到了这个答案:https://stackoverflow.com/a/12783983，当我在玩这个函数时，我意识到我不知道这行是做什么的:

$seconds=(int)$milliseconds/1000;

所以我研究了http://php.net，但我能找到的最接近的是:http://php.net/manual/en/function.intval.php

在我的网站上使用它之前，我想完全了解这是做什么的，所以有人能告诉我这行是做什么的吗

 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

This:

(int)$milliseconds/1000;

与

基本相同

floor($milliseconds/1000);

除法的结果是浮点数。(int)将其转换为整数并截断小数