递归变量 function 不会自行更新 C++

Question

我正在尝试解决一个名为 Partition Equal Subset Sum 的 leetcode 问题所以基本上我们得到了一些整数的数组，我们需要找出是否可以基于数组创建相等和的子集，例如 [1, 5, 11 , 5] 可以与 [1,5,5] 和 [11] 等分，因为两者的和相等。

我尝试使用递归来解决这个问题，但问题是 boolean 变量hasil在给定新值时不会自行更新。 它只返回我在声明中给它的值，例如，如果我声明hasil = true ，那么返回值将始终为 true。

#include <bits/stdc++.h>
#define ll long long
#define pb push_back
using namespace std;
bool solve(vector<int>& nums, int sum1, int sum2, int index){
    bool hasil = false;
    if(index != nums.size() ){
        solve(nums,sum1+nums[index],sum2,index + 1);
        solve(nums,sum1,sum2+nums[index],index + 1);
    }

    if(sum1 == sum2 && index == nums.size() ){
        //cout << sum1 << " " << sum2 << endl;
        hasil = true;
        //return hasil;
    } else if(sum1 != sum2 && index == nums.size() ){
        //cout << sum1 << " " << sum2 << endl;
        hasil = false;
        //return hasil;
    }

    return hasil;
    //hasil will always return as in declaration, in this case it's false
}

int main()
{
    vector<int> nums{ 1,5,11,5 };
    int sum1 = 0;
    int sum2 = 0;
    int index = 0;
    return solve(nums,sum1,sum2,index);
}

Answer 1

初学者似乎对递归函数的返回值感到很困惑。 但是从递归函数返回值的规则与非递归函数的规则完全相同。

我认为您要编写的代码是这样的

bool solve(vector<int>& nums, int sum1, int sum2, int index) {
    if (index < nums.size()) {
        return solve(nums,sum1+nums[index],sum2,index + 1) ||
           solve(nums,sum1,sum2+nums[index],index + 1);
    }
    else {
        return sum1 == sum2;
    }
}

请注意，与您的版本不同，我不会忽略递归调用solve的返回值。 我没有期望发生某种神奇的更新，而是捕获返回值并使用它来计算新的返回值，即solve(...) || solve(...) solve(...) || solve(...) ，换句话说，如果任一递归调用返回 true，则此调用也将返回 true。

请注意（希望如此）正确的版本要简单得多，甚至不需要您尝试更新的变量（感谢@user20716902）。