如何编写级联递归函数查找整数数组中的最大值？

问题说明 #

想要编写级联递归函数查找整数数组的最大值，当前的Pascal代码偏向线性递归，希望了解是否可以不使用全局辅助变量实现级联递归，并获取示例代码。

现有代码分析 #

你提供的Pascal代码属于线性递归（尾递归类型），因为每次递归调用只会触发一个子递归：比较左右边界元素后，只向左侧或右侧单方向递归，没有同时发起多个递归分支，不符合级联递归“一次调用触发多个递归子调用”的特征。

级联递归实现示例 #

级联递归的核心是分治思想：将数组拆分为多个子数组，分别递归求解子数组的最大值，再合并结果。这种实现不需要全局辅助变量，仅用局部变量暂存子递归结果即可。

Python 实现 #

def cascade_max(arr, l, r):
    # 递归终止条件：单个元素时直接返回该元素
    if l == r:
        return arr[l]
    # 处理非法索引
    if l < 0 or r < 0 or l > r:
        return -1  # 可根据需求调整非法值
    # 拆分数组为左右两部分
    mid = (l + r) // 2
    # 递归求解左右子数组的最大值（级联递归：一次调用触发两个子递归）
    left_max = cascade_max(arr, l, mid)
    right_max = cascade_max(arr, mid + 1, r)
    # 合并结果：返回较大值
    return left_max if left_max > right_max else right_max

Pascal 实现 #

function cascademax(v: vector; l, r: integer): integer;
var
    mid, left_max, right_max: integer;
begin
    if l = r then
        result := v[l]  // 单个元素直接返回
    else if (l < 0) or (r < 0) or (l > r) then
        result := -1  // 处理非法索引
    else
    begin
        mid := (l + r) div 2;
        // 级联递归调用：同时求解左右子数组最大值
        left_max := cascademax(v, l, mid);
        right_max := cascademax(v, mid + 1, r);
        // 合并结果
        if left_max >= right_max then
            result := left_max
        else
            result := right_max;
    end;
end;

结论 #

级联递归完全可以不用全局辅助变量实现。上述示例通过分治策略，将问题分解为多个子递归任务，再通过局部变量暂存子结果并合并，既符合级联递归的特征，也满足你“不使用全局最大值辅助变量”的需求。

内容的提问来源于stack exchange，提问作者burnn1k