我们使用正则表达式，熟练掌握各种功能和结构只是手段，解决实际的问题才是真正的目的。要解决真正的问题，就必须有解决问题的思路，正则表达式的功能，说到底，可以归纳为三种逻辑，为了表述方便，我们分别称为与、或、非。
最近用CI在做个人工资管理系统的时候，需要验证用户是否登录和使用特定的功能，用到了正则表达式-非。需求如下：
路径/user, /user/login, /user/register不需要进行拦截，其实诸如/profile, /company, /work的路径都要拦截，然后检查session中是否存在user_id，没有的话就跳转到/user/login
初步观察:
只要对/user进行匹配就行了。初步代码如下：
立即学习“PHP免费学习笔记（深入）”；
01
02
class Acl {
03
04
private $CI;
05
06
public function __construct() {
07
$this->CI = &get_instance();
08
}
09
10
public function auth() {
11
if (!preg_match('/^user.*$/', uri_string())) {
12
$user_id = $this->CI->session->userdata('user_id');
13
if(empty($user_id)) {
14
redirect('/user');
15
return;
16
}
17
}
18
}
19
}
测试的时候才发现漏了检测user/change_password，这个功能是需要客户首先登录的，这里就要在user.*中排除user/change_password的，也就是前面说的要用到正则中的“非”。
“非”是正则表达式中最难处理的逻辑关系。因为没有直接对应的结构，“非”的处理比较吃力。
最简单的“非”，意思是此处不能出现某个字符，这一点通常很直观，似乎用排除型字符组[^…]就可以解决。比如双引号字符串的匹配，首尾两个双引号很容易匹配，其中的内容肯定不是双引号（暂时不考虑转义的情况），所以可以用[^"]表示即可，其长度不确定，所以用*来限定，所以整个表达式就是"[^"]*"，非常简单。
但是，事情果真都如此简单吗？我们举cat和cut的例子，如果希望匹配c开头，t结尾的单词，但不希望匹配cut，可以写成c[^u]t，是否就可以了？
sdxecShop是一款完全开源免费的网上独立建店系统，asp+access，程序经过专业团队开发升级发展了7年，功能和安全性已经达到非常成熟稳定，安装容易，一分钟就可以搭起专业的电子商务网站。 该免费版功能完整和正式版完全一样永久免费，只是正式版提供后续技术支持服务，主要特色功能中英繁版统一后台管理统一数据，淘宝数据表导入，实现网店和淘宝网店数据统一，拓展网店经营策略，提供5种在线支付接口等等
这个表达式的意思是：最开头的字母是c，之后是一个不为u的字符，之后是t。没错，它确实不会匹配cut，也可以匹配cat。但是，chart、conduct、court等等，它也没法匹配，因为[^u]的意思是：匹配一个不是u的字符。
那么，把[^u]改成[^u]+好了，这样应该就可以解决问题了。但是真的如此吗？[^u]+的意思是，一个或若干（最多到无穷）个字符，但每一个字符都不能是u。所以，尽管c[^u]+t能匹配cat和chart，却不能匹配conduct和court。
其实cut和我的路径匹配问题可以用顺序否定环视功能来解决。
(?!cut)就是用来进行这种判断的，它判断之后的字符串能不能由cut匹配，也不会移动“当前位置”。所以我们将它放在表达式的最开头，得到(?!cut)c[a-z]+t。这个表达式的逻辑是：只有在当前位置右侧字符串不能由cut匹配的情况下，才从这里开始，向右尝试用c[a-z]+t。
如果我们更进一步，需要排除掉cat和cut，可以把否定顺序环视改为(?!c[au]t)。这样就能保证，匹配到的肯定不是cat或者cut。www.2cto.com
回到最上面的问题。直接上代码吧，代码如下：
01
02
class Acl {
03
04
private $CI;
05
06
public function __construct() {
07
$this->CI = & get_instance();
08
}
09
10
public function auth() {
11
if (!preg_match('/^(?!user\/change_password)user.*$/', uri_string())) {
12
$user_id = $this->CI->session->userdata('user_id');
13
if(empty($user_id)) {
14
redirect('/user');
15
return;
16
}
17
}
18
}
19
}
作者：kxt
