Question

我正在尝试实现段树。通过以下方式：

#include<bits/stdc++.h>
using namespace std;
int size;
int construct(int *arr,int *s,int curr,int end,int ad)
{
    if(arr[curr]==arr[end])
    {
        s[ad]=arr[curr];
        return s[ad];   
    }
    int mid=(curr+end)/2;
    s[ad]=construct(arr,s,curr,mid,ad*2+1)+construct(arr,s,mid+1,end,ad*2+2);
    return s[ad];
}
int* cons(int *arr,int n)
{
    int height=ceil(log2(n));
    size=(int)(2*pow(2,height)-1);
    int s[(int)(2*pow(2,height)-1)]={0};
    construct(arr,s,0,n-1,0);
    //printf("\n In cons function \n\n");
    for (int i = 0; i <size; ++i)
    {
        printf("%d  %p\n",s[i], &s[i] );
    }
    int *po=s;
    printf("\n%p  %d\n",po,size );
    return po;
}
int main()
{
    int arr[6]={1,3,5,7,9,11};   
    int *b=cons(arr,6);
    printf("%p  %d\n\n",b,size );
    //printf("\n\n In main function \n\n");
    for (int i = 0; i <size; ++i)
    {
        printf("%d  %p\n",b[i],&b[i]);
    }
return 0;   
}

当我在cons函数中打印数组值时，它将显示期望值。然后，我返回存储在main函数中的数组起始地址。现在，当我在main函数中打印相同的值时，即使存储值的地址保持不变，某些值也有所不同。

以下是示例输出：

36  0x7ffce0eb6130
9  0x7ffce0eb6134
27  0x7ffce0eb6138
4  0x7ffce0eb613c
5  0x7ffce0eb6140
16  0x7ffce0eb6144
11  0x7ffce0eb6148
1  0x7ffce0eb614c
3  0x7ffce0eb6150
0  0x7ffce0eb6154
0  0x7ffce0eb6158
7  0x7ffce0eb615c
9  0x7ffce0eb6160
0  0x7ffce0eb6164
0  0x7ffce0eb6168

0x7ffce0eb6130  15
0x7ffce0eb6130  15

36  0x7ffce0eb6130
9  0x7ffce0eb6134
9  0x7ffce0eb6138
0  0x7ffce0eb613c
-521445060  0x7ffce0eb6140
32764  0x7ffce0eb6144
20  0x7ffce0eb6148
0  0x7ffce0eb614c
0  0x7ffce0eb6150
0  0x7ffce0eb6154
18  0x7ffce0eb6158
0  0x7ffce0eb615c
9  0x7ffce0eb6160
0  0x7ffce0eb6164
0  0x7ffce0eb6168

Answer 1

查看您的代码：

int* cons(int *arr,int n)
{
    ....
    int s[(int)(2*pow(2,height)-1)]={0};
    ...
    int *po=s;
    printf("\n%p  %d\n",po,size );
    return po;
}

哪个叫

int *b=cons(arr,6);

此处，po是指向s第一个元素的指针。指向局部变量的这个po然后返回给cons的调用者。最终b指向释放的堆栈空间。

以后有

printf("%d %p\n",b[i],&b[i]);

表示已释放的堆栈。这是未定义的行为。实际上，printf的实现会重用已释放的堆栈，覆盖b的部分（可能全部）。这就是为什么读取已释放的堆栈是未定义的行为。

有几种可能的解决方案。使用并返回std::vector，而不是指针。通常，这是首选解决方案。

在C语言中，您可以将指向输出数组的指针传递给cons。另外，在C语言中，您可以在malloc()内使用cons，并用它代替s中的cons数组。您将返回该指针，并且调用方将负责调用free()。但是，只有在您希望坚持使用C习惯用法而不是C ++时，所有这些内容才如此。

为什么存储在存储单元中的值会发生变化？

1 个答案: