带有 void 数组指针参数的函数如何知道数组元素的大小？

Question

K&R 的第 121 页列出了以下用于交换两个数组元素的函数：

void swap(void *v[], int i, int j)
{
    void *temp;

    temp = v[i];
    v[i] = v[j];
    v[j] = temp;
}

我不明白当数组没有类型时如何对数组进行索引。

据我所知，类型在运行时不存在，并且无法保证此函数会与使用它的代码一起编译。

当一个包含任意大小值的数组可以传递给它时，这个函数如何正确地执行数组索引呢？

换句话说，如果我将long 数组传递给这个函数，它怎么知道v[i] 将位于v + sizeof(long) * i，而它不知道数组的类型？

Answer 1

数组确实有一个类型。它是一个void * 的数组，而void * 是一个完全定义的类型，与void 不同。

所以这个函数正在做的是交换数组中的一对void *。

如果将v 定义为void * 而不是void *[]，那么您将遇到问题。