用'|'递归或“||”运算符在基本情况下不返回 false

Question

所以我正在研究我用来解决代码挑战的递归方法。我相信这可能只是我的一个误会。这是递归函数。

    public static boolean canSum(int[] arr, int max)
    {
        System.out.println(Arrays.toString(arr));
        if(max == 0) return true;
        if(arr.length == 0) return false;
        else return canSum(Arrays.copyOfRange(arr, 1, arr.length), max) | canSum(Arrays.copyOfRange(arr, 1, arr.length), max-arr[0]);
    }

现在它的工作原理是，如果我的数组中的整数以任何组合给出我正在寻找的最大值，它最终会给我 true 或 false，否则它将 return false。我不明白的是，如果我 System.out.println(Arrays.toString(arr) 我可以看到我的数组长度减少到 0，如果我调试它似乎命中行 if(arr.length == 0) return false;。那么为什么函数不会在那里中断并且 return false。这个递归函数本质上一直在运行。这是我在这个用例中看到的控制台数组

System.out.println(canSum(new int[]{3,5,-1,8}, 12));

输出：

[-1, 3, 5, 8]
[3, 5, 8]
[5, 8]
[8]
[]
[]
[8]
[]
[]
[5, 8]
[8]
[]
[]
[8]
[]
[]
[3, 5, 8]
[5, 8]
[8]
[]
[]
[8]
[]
[]
[5, 8]
[8]
[]
[]
[8]
[]
[]
true

我了解 Arrays.copyOfRange 如何不断删除数组的索引，但我想我不了解运算符 | （我认为 || 也可以）以及为什么我需要 max=arr[0]。基于调试，当我的 arr.length = 0 时，它看起来像 canSum(Arrays.copyOfRange(arr, 1, arr.length), max-arr[0]) 运行。那么这里的 OR 真的像三元一样用于递归函数调用吗？我不确定 'return recurseFunct(n-1, m) | recurseFunct (n-1, m-n[0])' 在这种情况下是如何工作的。它看起来真的很方便，我想更好地理解它。

****** 添加此视频，因为它支持已接受的答案 *******

您可以在调试器的左侧直观地看到此递归中使用的堆栈。堆栈的大小会有所变化，直到它最终完全清空。一旦为空，我将在该点的递归函数中 return true 或 false。这对我来说是很好的学习经历。谢谢！

Answer 1

If I debug it appears to hit the line if(arr.length == 0) return false;. So why does the function not break there and return false. This recursive function keeps going essentially.

函数调用的顺序如下。（括号中的索引）。

                 call(0)
                /       \
        call(1)     ||     call(4)
        /     \             /    \
    call(2) || call(3)  call(5) || call(6)  
    /\          /\      /\          /\
   /  \        /  \    /  \        /  \

函数调用将存储在如下堆栈中

call(2)
call(1)
call(0)

如果 call(2) returns false，它将从堆栈中弹出 call(2) 并返回到 call(1) 并将 call(3) 压入堆栈。

call(3)
call(1)
call(0)

如果 call(3) return 为 false，它将从堆栈中弹出 call(3)，返回到 call(1)，call(1) 将 return (call(2 ) || call(3)),pop call(1) from stack, come back to call(0) and push call(4).

所以即使任何函数调用 return 为假，仍有一堆调用要执行，因此

recursive function keeps going essentially

用'|'递归或“||”运算符在基本情况下不返回 false

Recursion with '|' or '||' operator not returning false in base case

java

algorithm

recursion

bitwise-operators