带'|'的递归或'||'运算符不返回错误的基本情况

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]);
    }

现在，它的工作方式是，如果Array中任意组合的整数将为我提供所寻找的最大值，或者最终返回false，它将最终为我提供true或false。我不明白的是，如果我System.out.println(Arrays.toString(arr)可以看到我的数组减小为0长度，并且如果我进行调试，它似乎可以到达if(arr.length == 0) return false;行。那么，为什么函数不在那里中断并返回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真的像三元吗？我不确定如何返回recurseFunct（n-1，m）| recurseFunct（n-1，m-n [0]）'在这种情况下正好起作用。似乎真的很方便，我想更好地理解它。

Answer 1

如果我调试，它似乎要碰到if（arr.length == 0）返回的行假;。那么，为什么函数不在那里中断并返回false。该递归函数基本上保持运行。

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

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

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

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

如果call（2）返回false，它将从堆栈中弹出call（2），然后返回到call（1），然后将call（3）推入堆栈。

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

如果call（3）返回false，它将从堆栈中弹出call（3），返回到call（1），call（1）将返回（call（2）|| call（3）），pop call（ 1）从堆栈中，返回到call（0）并推送call（4）。

所以即使任何函数调用返回false，也要执行其余的调用，所以

递归函数基本上保持运行状态