将参数传递给可变参数函数时，强制转换为 void* 有什么作用？

Question

还有另一个问题是这样讨论的：When printf is an address of a variable, why use void*?，但它只回答了为什么不应该将指针打印为整数。

另一个问题讨论了在将指针传递给可变参数函数时，您应该始终将指针转换为 void*：Argument conversion: (normal) pointer to void pointer, cast needed?。它说如果你不这样做，你就会调用未定义的行为，但它并没有超出这个范围。

确实：

      if (pIReport4 == NULL)
      {
          printf("It's NULL but when I print it, it becomes: %p\n", pIReport4);
          printf("It's NULL but when I print it and cast it into (void*), it becomes: %p\n", (void*)pIReport4);
          printf("And NULL is: %p\n", NULL);
      }

打印：

It's NULL but when I print it, it becomes: 0xc68fd0
It's NULL but when I print it and cast it into (void*), it becomes: (nil)
And NULL is: (nil)

pIReport4 是一个非空指针。

很明显，如果您不进行强制转换，它会将其他东西推入堆栈。它可能推动什么？为什么？

使传递非空指针未定义行为的基本原理是什么？这对我来说没有意义......

我一直认为指针转换只是提示编译器在读取或写入时如何解释指向的数据。但是当只传递指针值时，我希望它传递相同的字节序列，而不管类型如何。

Answer 1

正如第二个链接中的answer 解释的那样

对于printf，p 转换说明符需要void * 参数。如果参数的类型不同，函数调用会调用未定义的行为。因此，如果p 的参数是对象指针类型，则需要 (void *) 强制转换。

也就是说，由于您的代码 sn-p 调用未定义的行为，您可以获得任何预期或意外结果。您得到的结果也可能因编译器而异。在我的编译器 (GCC 4.8.1) 上，它给出了结果：

Answer 2

默认情况下，可变参数函数的所有参数都作为所传递变量的类型传递。

您没有提到pIReport4 是什么类型，但假设它是例如int，那么它将在堆栈上作为4 个字节传递。如果您碰巧在 64 位系统上，那么 sizeof(void *) 是 8 字节。因此printf 将从堆栈中读取 8 个字节，并且存在您未定义的行为。