PHP——数字字符串值的 int 类型转换，给出 0

Question

好的，我正在另一台服务器上查询一个页面，该页面返回两个值的逗号分隔列表。它返回的结果是：

850,640

我有一些 PHP 代码调用该页面上的 file_get_contents ，并且需要根据这两个值进行一些数字计算。

无论我尝试什么，我似乎都无法从中获得 int 值。

$res = trim(file_get_contents('http://thatURL/'));
echo "X" . $res . "X<br/>";
list($x,$y) = array_map(create_function('$a', 'return (int)$a;'), explode(',', $res));

echo "X:$x";

输出结果：

X 850,640 X
X:0

注意逗号分隔值之前和之后的空格（到底是怎么回事？我 trim'd 它们！）并且 $x 被分配了值 <代码>0。

我在这里做错了什么？

Answer 1

我在这里做错了什么？

据我所知，没有什么表明 $res 的内容与您所期望的不完全一样。您能否将第一个 echo 更改为：

echo htmlentities($res);

我的猜测是 $res 包含一些未打印的字符，例如，它实际上是：

<span> </span>850,640<span> </span>

或

 850,640 

Answer 2

尝试以下操作。 array_map 和 llamda 函数对于您的使用来说可能有点过分了。

$res = " 850,640 ";
echo "X" . $res . "X<br/>";
list($x,$y) = explode(',', trim($res));

echo "X:" . (int)$x;
echo "Y:" . (int)$y;

为我工作，但我没有使用 file_get_contents()。如果这不起作用，则页面正在输出其他内容。

Answer 3

PHP 不是一种类型语言。使用 intval 将字符串转换为整数。

更正：它是一种松散类型的语言！我就是这个意思！

Answer 4

由于我在 URL 上使用了 file_get_contents()，因此还放入了一些 HTML，但我在 echo 中没有注意到，因为它被解析了...只是空的 body 和 html 标签。哎呀！