echo()接受数字吗？

Question

我对编程比较陌生,在阅读语言文档时我仍然不确定自己.来自php.net的PHP回声的描述是:

void echo ( string $arg1 [, string $... ] )

因此在我看来,输入参数必须是字符串类型.但是,echo与数字一起使用.例如,代码......

<p><?php echo 3; ?></p>

...成功将3打印到页面.那么$ arg1和$ ...的参数类型不应该是伪类型mixed(而不仅仅是字符串)来表明echo会接受字符串或数字吗？否则,我怎样才能从文档中推断数字参数是否可以接受？

Answer 1

echo将其参数转换为字符串.