void *算术

Question

#include<stdio.h>
int main(int argc,char *argv[])
{
   int i=10;
   void *k;
   k=&i;

   k++;
   printf("%p\n%p\n",&i,k);
   return 0;
}

++是否是对void *的合法操作？有些书说它不是 但K＆amp; R没有说任何关于void *算术的内容（K＆amp; R 2 / e的第93,103,120,199页）

请澄清。

PS：GCC至少在k ++中没有抱怨。

Answer 1

这是GCC extension。

  

在GNU C中，指向void的指针和指向函数的指针都支持加法和减法操作。这是通过将void或函数的大小视为1来完成的。

如果添加-pedantic标志，则会产生警告：

  

warning: wrong type argument to increment

如果您想遵守标准，请将指针投射到char*：

k = 1 + (char*)k;

---

标准指定无法在k+1上执行添加（void*），因为：

1. 指针算法是通过将k视为指向void（C99§6.5.6/ 7）数组的第一个元素（＃0）的指针和{{}来完成的。 1}}将返回此“数组”中的元素＃1（§6.5.6/ 8）。

2. 为此，我们需要考虑一个k+1数组。 void的相关信息是（§6.2.5/ 19）

     

   void类型包含一组空值;这是一个不完整的类型，无法完成。

3. 但是，数组的定义要求元素类型不能不完整（§6.2.5/ 20，脚注36）

     

   由于对象类型不包含不完整类型，因此无法构建不完整类型的数组。

因此void不能是有效的表达式。

Answer 2

不，标准不涵盖void*上的算术。请使用char*。

Answer 3

您无法将指针增加到void。编译器不知道sizeof目标结构是什么。

Answer 4

该标准要求所有指针算术运算符都要求指针指向完整的对象类型。 void是一种不完整的类型。海湾合作委员会做错了。

Answer 5

void *上的算术是GCC扩展。当我使用clang -Wpointer-arith编译代码时，输​​出为：

test.c:9:4: warning: use of GNU void* extension [-Wpointer-arith]
k++;
~^

指针增量的通常行为是将指针类型的大小添加到指针值。例如 ：

int *p;
char *p2;
p++; /* adds sizeof(int) to p */
p2 += 2; /* adds 2 * sizeof(char) to p2 */

由于void没有大小，你不应该对void*指针执行指针算术，但GNU C允许它。