PHP 中 OR 运算符逻辑误用的典型陷阱与正确写法

本文详解 php 中 ||(or)运算符在权限校验等场景中因逻辑表达式设计不当导致条件始终成立或失效的问题,重点剖析德·摩根定律的应用与布尔逻辑重构方法。 本文详解 php 中 ||(or)运算符在权限校验等场景中因逻辑表达式设计不当导致条件始终成立或失效的问题,重点剖析德·摩根定律的应用与布尔逻辑重构方法。在 PHP 开发中,使用逻辑运算符进行访问控制(如管理员权限校验)是常见需求,但一个看似简单的 ||(OR)误用,往往引发严重的逻辑漏洞。例如以下代码:if (_SESSION\['user_id'\] != 4 \|\| _SESSION['rol'] != 1) { exit('Access denied');} else { // 允许执行敏感操作}这段代码本意是:仅当用户 ID 为 4 且角色为 1 时才放行,但实际效果却完全相反------它几乎总为 true,导致绝大多数请求被错误拦截。? 问题根源:布尔逻辑理解偏差|| 是"或"运算符,只要任一操作数为 true,整个表达式即为 true。我们来逐情况分析原条件 _SESSION\['user_id'\] != 4 \|\| _SESSION['rol'] != 1:user_idroluser_id ≠ 4rol ≠ 1整体结果(OR)实际含义41falsefalsefalse? 放行(符合预期)42falsetruetrue? 拒绝(但用户 ID 正确,仅角色不符)51truefalsetrue? 拒绝(但角色正确,仅 ID 不符)52truetruetrue? 拒绝可见:只有当两个条件同时不满足(即 user_id == 4 AND rol == 1)时,原表达式才为 false;其余所有组合均触发 exit。这违背了"ID 为 4 或角色为 1 即可通行"的业务意图(或更常见的是"必须同时满足"),属于典型的逻辑否定范围过宽。立即学习"PHP免费学习笔记(深入)"; 文心快码 文心快码(Comate)是百度推出的一款AI辅助编程工具

相关推荐
步辞7 小时前
如何用 style.setProperty 修改带有优先级的 CSS 变量属性
jvm·数据库·python
AC赳赳老秦7 小时前
团队知识库搭建:用 OpenClaw 自动整理会议纪要、技术方案、故障复盘,同步到 Confluence / 语雀
开发语言·前端·python·github·visual studio·deepseek·openclaw
xxjj998a7 小时前
Laravel7.x核心特性全解析
数据库·mysql·adb
让我上个超影吧7 小时前
【MYSQL】索引下推
java·数据库·mysql
m0_631529827 小时前
CSS如何利用Less快速生成颜色渐变背景_使用混合函数生成多样渐变
jvm·数据库·python
重生之我是Java开发战士7 小时前
【MySQL】 索引的底层原理与使用:B+树、数据页与 InnoDB
数据库·b树·mysql
m0_624578597 小时前
Laravel Blade 中高效筛选并限制关联分类数据的实践方案
jvm·数据库·python
byzh_rc7 小时前
[AI工具从入门到入土] 命令行
网络·人工智能·python·深度学习·matplotlib
m0_591364737 小时前
golang如何实现coredump分析_golang coredump分析实现策略
jvm·数据库·python