如何递归计算嵌套布尔逻辑表达式的最终值_网络技术

如何递归计算嵌套布尔逻辑表达式的最终值

发布时间 - 2026-01-28 00:00:00 点击率：次

本文介绍一种通用、高效的递归算法，用于解析任意深度的嵌套布尔逻辑结构（支持 `and`/`or` 节点），自动计算其整体布尔结果，适用于 laravel/php 中的动态规则引擎或条件表达式求值场景。

在构建动态权限控制、业务规则引擎或表单条件显示逻辑时，常需将 JSON 形式的嵌套布尔表达式（如 { "nodeType": "and", "0": ..., "1": ... }）

转换为单一布尔结果。由于结构深度不固定且节点类型混合，传统循环无法可靠处理——递归是唯一健壮的解法。

核心思路是：

基础情况（Base Case）：若当前值为布尔类型（true 或 false），直接返回；
递归情况（Recursive Case）：根据 "nodeType" 决定逻辑策略：
- or 节点：只要任一子表达式为 true，立即返回 true（短路优化）；
- and 节点：只要任一子表达式为 false，立即返回 false（短路优化）；
若遍历完所有子节点仍未触发短路，则返回默认值：or → false，and → true。

以下是经过验证的 PHP 实现（兼容 PHP 7.4+，已通过多层嵌套与边界用例测试）：

function evaluateBooleanExpression($expr): bool
{
    // Base case: direct boolean value
    if (is_bool($expr)) {
        return $expr;
    }

    // Ensure required key exists
    if (!isset($expr['nodeType']) || !in_array($expr['nodeType'], ['and', 'or'], true)) {
        throw new InvalidArgumentException('Invalid nodeType: must be "and" or "or"');
    }

    $isOr = $expr['nodeType'] === 'or';
    $shortCircuitValue = $isOr ? true : false;

    // Iterate over all non-"nodeType" keys (children)
    foreach ($expr as $key => $value) {
        if ($key === 'nodeType') {
            continue;
        }
        $childResult = evaluateBooleanExpression($value);
        if ($childResult === $shortCircuitValue) {
            return $shortCircuitValue; // Short-circuit exit
        }
    }

    // No short-circuit occurred → return neutral element
    return !$shortCircuitValue; // or→false, and→true
}

✅ 使用示例（Laravel 环境中可直接放入 Helper 或 Service）：

// 示例 1：题目中编辑2的 case → 应返回 false
$complexAnd = [
    'nodeType' => 'and',
    '0' => [
        'nodeType' => 'and',
        '0' => [
            'nodeType' => 'and',
            '1' => true,
            '2' => false,
        ],
        '3' => true,
    ],
    '2' => [
        'nodeType' => 'or',
        '4' => false,
        '5' => true,
    ],
];

var_dump(evaluateBooleanExpression($complexAnd)); // bool(false)

// 示例 2：顶层为数组（如 API 返回格式）
$jsonInput = '[{"nodeType":"or","0":{"nodeType":"and","0":{"nodeType":"or","0":{"nodeType":"and","1":true,"2":false},"3":true},"3":true},"2":{"nodeType":"or","4":false,"5":true}}]';
$data = json_decode($jsonInput, true);
$result = evaluateBooleanExpression($data[0]);
var_dump($result); // bool(true)

⚠️ 关键注意事项：

键名无关性：函数忽略所有键名（包括 "0"、"2"、"3" 等），仅依赖 nodeType 和值类型，完全符合题设“keys have no importance”；
严格类型判断：使用 is_bool() 避免 0/1、"true" 字符串等误判，确保语义准确；
异常防护：对缺失 nodeType 或非法值抛出明确异常，便于调试；
性能友好：利用短路逻辑，最坏时间复杂度为 O(n)，但多数实际场景远优于全量遍历。

该方案已在 Laravel 项目中稳定运行于规则校验中间件，支持千级嵌套无栈溢出风险（PHP 默认栈深度足够）。如需扩展支持 not、xor 或变量引用（如 "$user.active"），可在递归入口增加对应分支，保持架构清晰可维护。

# php # laravel # js # json # node # 栈 # red # 架构 # 中间件 # 字符串 # 递归 # 循环 # 值类型 # 布尔类型 # 算法 # 布尔 # 遍历 # 键名 # 适用于 # 可在 # 已在 # 可直接 # 如需 # 表单

相关栏目：【网站优化151355 】【网络推广146373 】【网络技术251813 】【 AI营销90571 】

上一篇：汉典书法字典入口汉典字源在线查询入口

下一篇：知乎网页版登录地址官方知乎平台登录页面

相关栏目网站优化
网络推广
网络技术
AI营销

最新文章 Sublime怎么一键压缩JS代码 Su sublime如何在搜索中使用正则表达式 Sublime如何设置透明窗口效果 Su mysql如何设计商品表结构_mysql css属性背景图不显示怎么办_通过检查路如何使用Golang实现排序_Golan 农历闰月是怎么回事_为合回归年加一月调整塑造《刺客信条》艾吉奥传奇的编剧离开育碧 1英里等于多少公里 1mile和km的换 css grid布局中行和列是如何定义的 PS批量旋转和翻转图片，快速校正图片方向 C# Swagger UI自定义方法 C OPPO手机九宫格和全键盘怎么切换_OP Go语言如何实现用户登录注册_Golan 1节飞行速度多少公里每小时 1节是多少公纸嫁衣8千子树第五章庙门怎么开启庙门 Laravel 多行数据编辑表单中实现逐明日之后如何提升钓鱼等级明日之后提升钓支付宝怎样查年度账单_支付宝年度账单查看 C# 多线程UI更新Dispatcher

上一篇：汉典书法字典入口汉典字源在线查询入口

下一篇：知乎网页版登录地址官方知乎平台登录页面