Question

我实现了一个队列，并希望有一个打印其元素的函数，而与类型无关。所以我做了一个函数printQueue，如下所示：

void printQueue(queue_t *queue, void (*f)(void *)) {
  node_t *node = (*queue).front;
  while(node != NULL) {
    (*f)(node->item);
    puts("");
    node = (*node).next;
  }
}

这个想法是它将接收队列，以及一个从队列中打印元素的功能（实现队列是为了能够容纳任何类型的元素）。因此，此函数将迭代队列并调用该函数以打印其每个元素。

然后，我制作了一个函数，以打印在其第一个元素中包含其自身大小的int数组，如下所示：

void printSpecialIntArray(int *array) {
  int i;
  for(i=0; i<array[0]; i++) {
    printf("%d ", array[i]);
  }
}

但是，如果我使用这种数组初始化队列Q并调用printQueue(Q, printSpecialIntArray)，它似乎可以正常工作，但是我得到警告：

warning: passing argument 2 of ‘printQueue’ from incompatible pointer type [-Wincompatible-pointer-types]
   printQueue(Q, printSpecialIntArray);
                   ^~~~~~~~~~~~
In file included from main.c:3:0:
queue.c:32:6: note: expected ‘void (*)(void *)’ but argument is of type ‘void (*)(int *)’
 void printQueue(queue_t *queue, void (*f)(void *)) {

为什么会发生此警告？如何解决？有没有更清洁的方法可以做到这一点？

另外，如果您想知道，我正在使用一个具有其自身大小的数组作为元素，因为我正在实现一个流程模拟器，而这些“特殊int数组”实际上应该表示一个流程。如果您知道更干净的方法，也欢迎在答复/评论中加入。

Answer 1

错误消息非常直接。函数void printQueue(queue_t *queue, void (*f)(void *))期望f是指向返回void并正好接受一个参数的函数的指针，其类型应为void*。函数printSpecialIntArray不能满足此要求，因为它的参数是int*。

一种解决方案是更改f，使其以int*作为参数而不是void*。另一个解决方案是重写printSpecialIntArray：

void printSpecialIntArray(void *a) {
  int *array = (int*) a;
  int i;
  for(i=0; i<array[0]; i++) {
    printf("%d ", array[i]);
  }
}

注意：

即使可以将void指针安全地提升为int指针，但函数f仍需要是一个以void指针作为参数的函数。问题不是参数，而是函数声明本身。

Answer 2

您的功能签名不匹配。您需要提供期望的签名并根据需要强制转换指针：

void printSpecialIntArray(void *arr) {
  int array = (int *)arr;
  int i;
  for(i=0; i<array[0]; i++) {
    printf("%d ", array[i]);
  }
}

以void指针作为参数传递函数会发出警告

2 个答案: