number_format() 是 PHP 中用于格式化数字的一个内置函数，它可以方便地添加千位分隔符（也称为千分位符）
这里有一个简单的示例：
<?php
$number = 123456789.1234;
$formatted_number = number_format($number);
echo $formatted_number; // 输出: 123,456,789
?>
在这个例子中，我们使用 number_format() 函数将 $number 变量中的数值格式化为包含千位分隔符的字符串。默认情况下，number_format() 会保留小数点后的两位数字。如果你想要控制小数点后的位数或者使用不同的千位分隔符，可以传递额外的参数。
以下是一个更复杂的示例，展示了如何使用 number_format() 的所有参数：
<?php
$number = 123456789.1234;
$decimals = 3; // 保留三位小数
$dec_point = '.'; // 使用 . 作为小数点
$thousands_sep = ','; // 使用 , 作为千位分隔符
$formatted_number = number_format($number, $decimals, $dec_point, $thousands_sep);
echo $formatted_number; // 输出: 123,456,789.123
?>
在这个例子中，我们指定了保留三位小数，并使用 . 作为小数点和 , 作为千位分隔符。这样，输出的结果就是 “123,456,789.123”。