Question

我正在为 RSQ 实施细分树。我发现了一些没有意义的东西。这是原始代码的复制版本：

#include <iostream>
#include <vector>
using namespace std;

class ST {
    private:
    int siz, mid;
    void build(int n, int l, int r)
    {
        cout << n << " " << l << " " << r << endl;
        if(l == r){
            //some op
        } else {
            mid = (l+r)/2;
            build(2*n, l, mid);
            build(2*n+1, mid+1, r);
            //some op
        }
    }
    public:
    ST(vector<int> &x)
    {
        siz = x.size();
        build(1, 0, siz-1);
    }
};

int main()
{
    vector<int> p;
    int t, z;

    cin >> t;
    while(t--)
    {
        cin >> z;
        p.push_back(z);
    }
    ST c(p);

    return 0;
}

现在，如果向量p的大小为3，则第一次使用（1,0,2）调用的构建符合预期。但它应该以递归方式下降到build(2, 0, 1)和build(3, 2, 2)。第一个正常工作，第二个称为build(3, 1, 2)。似乎mid+1正在产生mid。我错过了什么？

g++ -v显示 gcc版本4.8.4（Ubuntu 4.8.4-2ubuntu1~14.04）

Answer 1

根据注释 - build连续两次调用，而第二次调用mid实例变量已被第一次调用覆盖。

我最初没有将这个作为答案发布，因为即使我在中间变量，我仍然无法获得预期的数字。但很高兴它有所帮助：）

为什么这个递归调用以这种方式工作？

1 个答案: