Question

我需要一个用于char的php过滤器。无法在任何地方找到它。

我尝试过char，chars，chr等。

我知道如果我这样做，我可以只使用php过滤

$int = int $_GET['INT'];

如果输入为23＃@ $ 23fgd4则输出仅为23234

我似乎无法在这个或这里找到php.net上的任何文件。不，我不想要一个preg-match方法。

另外，是否建议使用这种方法？它救了吗？非常黑客？

除了preg之外的任何替代品，因为它往往需要更多的资源。

Answer 1

你想把什么类型转换成字符串？

$int = (string) $_GET['INT'];

但我想你只想在你的剧本中留下字符，那么它应该是

$int = preg_replace('/\W+/','',$_GET['INT']);

正则表达式不需要那么多时间。这是过去的神话。它比一些意大利面条的解决方案更快。