指针算术等价

Question

我已经用 C 编写了这个函数。

这两个语句是等价的吗？

void dot_prod(float *A, int m, float *B, float *C) {
    int i, j, z, k;
    for (i = 0; i < m; i++) {
        for (j = 0; j < m; j++) {
            for (k = 0; k < m; k++) {
                C[i * m + k] += A[i * m + j] * B[m * j + k];
                //*(C + i * m + k) += *(A + i * m + j) * (*(B + m * j + k)); // is equivalent?
            }
        }
    }
}

是

C[i * m + k] += A[i * m + j] * B[m * j + k]

相当于

*(C + i * m + k) += *(A + i * m + j) * (*(B + m * j + k))?

Answer 1

差不多了。

C[i * m + k] += A[i * m + j] * B[m * j + k]

等价于

*(C + (i * m + k)) += *(A + (i * m + j)) * (*(B + (m * j + k)))

这与没有额外括号的情况不同，因为索引中的加法可能会溢出，在这种情况下，指针/整数加法不一定是关联的，具体取决于int 和指针的大小。