PHP eregi 到 preg_match 的转换答案

【问题标题】：PHP's eregi to preg_match conversion [duplicate]PHP eregi 到 preg_match 的转换
【发布时间】：2014-12-07 22:29:15
【问题描述】：

if ((eregi('opera mini', $_SERVER['HTTP_USER_AGENT'])) == 1)

如何转换？

if ((preg_match('opera mini', $_SERVER['HTTP_USER_AGENT'])) == 1)

上述方法不起作用。

【问题讨论】：

您不需要正则表达式，这对于查找第一次出现的字符串来说是昂贵的。 stristr 可以正常工作。而你shouldn't rely on $_SERVER['HTTP_USER_AGENT']

【解决方案1】：

您需要添加分隔符。我选择使用/，其他人选择~或#。

if ((preg_match('/opera mini/', $_SERVER['HTTP_USER_AGENT'])) == 1)

【讨论】：