返回意外值的指针/数组索引

Question

我正在 C++ 中实现卷积代码（我知道它已经存在，但我只是为了练习，因为我是初学者），虽然我可以获得正确的 output，但我正在尝试某些方法给出意外的 output 取决于我如何访问存储在数组中的卷积值，我不知道为什么。 有效的 function 代码，无论我是通过数组索引还是指针递增访问值，都是：

void conv(int M, int* h, int L, int* x, int* y) {
    int n, m = 0;
    for (n = 0; n < L + M - 1; n++) {
        for (m = std::max(0, n - L + 1); m <= std::min(n, M - 1); m++) {
            *(y+n) += *(h + m) * *(x + n - m);
        };
        std::cout << "using array index: " << std::endl;
        std::cout << "n = " << n << " " << "y = " << y[n] << " " << std::endl;
        std::cout << std::endl;
        std::cout << "using pointer: " << std::endl;
        std::cout << "n = " << n << " " << "y = " << *(y+n) << " " << std::endl;
        std::cout << std::endl;
        //y++;
    }
}

但是，如果我对此稍作更改（编号如下）：

void conv(int M, int* h, int L, int* x, int* y) {
    int n, m = 0;
    for (n = 0; n < L + M - 1; n++) {
        for (m = std::max(0, n - L + 1); m <= std::min(n, M - 1); m++) {
            *y += *(h + m) * *(x + n - m); //[1]
        };
        std::cout << "using array index: " << std::endl;
        std::cout << "n = " << n << " " << "y = " << y[n] << " " << std::endl;
        std::cout << std::endl;
        std::cout << "using pointer: " << std::endl;
        std::cout << "n = " << n << " " << "y = " << *y << " " << std::endl; //[2]
        std::cout << std::endl;
        y++; //[3]
    }
}

在这种情况下，仅通过指针访问值提供正确的 output，而通过数组索引访问它提供随机垃圾。

我的测试代码是：

int main()
{
    const int M = 5; const int L = 6;
    int y[M + L - 1] = {};
    int x[L] = { 1, -2, 5, 3, 8, -4 };
    int h[M] = { 1,2,3,4,5 };
    int* yPtr = y; int* hPtr = h; int* xPtr = x;
    conv(M, hPtr, L, xPtr, yPtr);
    std::cout << "value after leaving conv" << std::endl;
    for (int i = 0; i < M+L-1; i++) {
        std::cout << "i = " << i << " " << "y = " <<  y[i] << std::endl;
    }
}

即使在conv的 for 循环中访问数组元素时，它也始终提供正确的 output 提供了不正确的 output。

作为参考，正确的 output 是y = {1, 0, 4, 11, 26, 31, 53, 35, 24, -20} 。

在conv的第二个示例中我做错了什么，在使用数组索引时得到了错误的值？

Answer 1

在代码的第二个版本中，当 go 通过循环时，您正在递增y ，因此第二个版本中的y[n]相当于第一个版本中的y[2*n] 。 一旦n达到数组大小的一半， y[n]就超过了数组的末尾，因此是垃圾。 *y等价于y[0] 。

Answer 2

你的例子很奇怪，有点难以阅读，但从你的第二个版本来看，这很可疑：

    std::cout << "n = " << n << " " << "y = " << y[n] << " " << std::endl;

随着 go 增加y ，所以y[n]将快速到达 go 到奇怪的地方。

我将 Y 保存为int * yOrig = y; 然后使用它，我想我得到了你期望的 output，但我不确定。