c - 为什么我可以将两个指针相减并将结果用作大小？

Question

在此代码段中，strncpy 的 n 值是两个 char 指针的差值。两个字符串指针如何​​相减？这里n的值是多少？

程序确实编译成功，但大小不是必须是 int 值吗？

void replace(char *s1) { 
    char r[4][5] = { "get", "tell", "your", "house" };
    char rep[4][10] = { "see", "us", "tall", "kite" };
    char buff[500];
    int i;
    char *ch;

    for (i < 0; i < 4; i++) { 
        if ((ch = strstr(s1, r[i]))) {
            strncpy(buff, s1, ch - s1);
            buff[ch-s1] = 0; 
            sprintf(buff + (ch - s1), "%s%s", rep[i], ch + strlen(r[i])); 
            s1[0] = 0; 
            strcpy(s1, buff);

            return replace(s1);
        }
    }
}

Answer 1

如果有两个指针 p 和 q 指向同一个数组，则 p - q 的计算结果为数组中 p 和 q 之间的(有符号)元素数。例如，考虑以下代码:

int array[137];
int* p = &arr[10];
int* q = &arr[5];

ptrdiff_t diff = p - q;

这里，p 指向数组的第十个元素，q 指向数组的第五个元素，因此 p - q 将为 5。 (特殊类型 ptrdiff_t 是一个整数类型，它足够大以保存任何两个指针的差异。)

解释这种差异的另一种方法是问“如果我们想象数组从 q 指向的位置开始，指针 p 指向什么索引？”在这种情况下，答案是 5，因为如果我们将 q 视为数组的基数，那么 p 将位于索引 5 处。在您的情况下，您的指针 ch 设置为等于 strstr 的返回值，因此它指向 s1 中间的某个位置。表达式 ch - s1 的意思是“字符串中 ch 指向的位置。”

类比空间中的点:如果有两个点 p 和 q，您可以将 p - q 视为表示从 q 到 p 所需的方向的 vector 。但是，您无法将点 p 和 q 相加来得到 p + q，就像您无法在 C 中将两个指针相加一样。