在正常情况,我们会通过,if,else进行判断一个接口的条件是否满足,不满足则输出错误,例如
在IM系统中,申请入群接口,需要以下判断:
$param = $this->request()->getRequestParam(); $groupModel = new UserGroupModel(); //获取群信息 $groupInfo = $groupModel->getOneByGroupHash($param\['groupHash'\]); if (empty($groupInfo)){ $this->writeJson(HttpStatus::CODE\_BAD\_REQUEST, \[\], '群组数据不存在'); return true; } //判断被封 if($groupInfo->state!=1){ $this->writeJson(HttpStatus::CODE\_BAD\_REQUEST, \[\], '群已经被封'); return true; } //判断是否为本群成员 $groupUserModel = new GroupUserModel(); $userInfo = $groupUserModel->getOneByGroupIdAndUserId($groupInfo->groupId, $this->who->userId); if ($userInfo){ $this->writeJson(HttpStatus::CODE\_BAD\_REQUEST, \[\], '你已经是本群成员'); return true; }
可以看出,这里面有着非常多的if else,return,writeJson等重复代码.那么,有没有一个办法,进行if,else等封装,直接一行代码实现 判断+输出错误呢?
assert断言
断言是编程术语，表示为一些布尔表达式，程序员相信在程序中的某个特定点该表达式值为真，可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言而在部署时禁用断言。
断言比较常见的场景在于unit单元测试,例如在easyswoole/redis组件中的tests 单元测试用例中:
在此示例中,可以看出,断言的作用在于确保程序的正常执行,如果出错则代表程序有问题,需要修bug
业务断言
我们可以通过断言(确保其条件正确,使得程序往下执行)的说法,在业务中封装:
function assert($condition,$msg){ //断言条件一定满足,不满足则抛出异常 if ($condition!==true){ throw new Exception($msg); } }
上面的代码优化:
$param = $this->request()->getRequestParam(); $groupModel = new UserGroupModel(); //获取群信息 $groupInfo = $groupModel->getOneByGroupHash($param\['groupHash'\]); //注意1:我们需要断言的是true,!!的作用是将正常数据转为bool类型 //断言一定存在groupInfo assert(!!$groupInfo,'群组数据不存在'); //断言state一定为1 assert($groupInfo->state==1,'群组数据不存在'); //判断是否为本群成员 $groupUserModel = new GroupUserModel(); $userInfo = $groupUserModel->getOneByGroupIdAndUserId($groupInfo->groupId, $this->who->userId); //断言一定不在群里 assert(!$userInfo,'你已经是本群成员');
在此时,我们已经将我们的判断代码,优化成了一行,在assert函数中,会将不符合预期的数据,通过异常抛出,我们需要通过拦截异常,来实现输出前端需要的数据格式:
try{ $param = $this->request()->getRequestParam(); $groupModel = new UserGroupModel(); //获取群信息 $groupInfo = $groupModel->getOneByGroupHash($param\['groupHash'\]); //注意1:我们需要断言的是true,!!的作用是将正常数据转为bool类型 //断言一定存在groupInfo assert(!!$groupInfo,'群组数据不存在'); //断言state一定为1 assert($groupInfo->state==1,'群组数据不存在'); //判断是否为本群成员 $groupUserModel = new GroupUserModel(); $userInfo = $groupUserModel->getOneByGroupIdAndUserId($groupInfo->groupId, $this->who->userId); //断言一定不在群里 assert(!$userInfo,'你已经是本群成员'); }catch (\\Throwable $throwable){ //拦截抛出的异常,然后直接输出json 错误消息 $this->writeJson(HttpStatus::CODE\_BAD\_REQUEST, \[\], $throwable->getMessage()); return true; }
注意:上面的代码为简单实现,如果需要在项目中使用,请实现自定义异常类,捕捉自定义的异常,相关较为完善的代码已开源:
https://github.com/tioncico/LogicAssert 仅供参考
其他
需要注意的是,断言的意思为: 断定条件为真,使代码继续往下执行,断言抛出异常为,条件错误才抛出.
如果觉得拗口,可以改为logicCheck,直接判断为真则抛出异常即可
