浅谈void指针的类型转换问题

指针是一个特殊的变量，它里面存储的数值被解释成为内存里的一个地址。 （说白了就是地址，32位机子中任何一个指针的长度都是4个字节，因为逻辑地址就占用4字节）

以下结果是基于VC++和VS2010的

1.C中对指针类型的转换要求很低。但是这将留下一个很大的漏洞

int*  a=Null;	
void* b=Null;
char* c=Null;
c=a;	//warning C4133: “=”: 从“int *”到“char *”的类型不兼容,但是编译能通过
b=a;	//将void*和其他类型的指针相互赋值不会出现警告，这在C语言中是允许的
c=b;

2.C++中对类型要求很高，不允许不同类型指针之间的相互赋值，void指针例外（任何类型指针都可以赋值给void指针，但反之则不行）

int*  a=Null;	
void* b=Null;
char* c=Null;
c=a;//出错
b=a;//通过
c=b;//出错

如果要赋值必须 显示转换

int*  a=Null;
void* b=Null;
char* c=Null;
c=(char*)a;//通过	
b=a;	   //通过
c=(char*)b;//通过

3.那么C/C++中void指针的这一特性有什么用呢？请看如下源代码

void * __cdecl _memcpy_(void * dst, const void * src, size_t count)//当参数可以是任意类型指针的时候，就使用void*
{
	void * ret = dst;

	while (count--)
	{
		*(char *)dst = *(char *)src;	//使用void*指针之前要进行强制转换
		dst = (char *)dst + 1;
		src = (char *)src + 1;
	}

	return(ret);
}

4.小心使用void指针

按照ANSI(American National Standards Institute)标准，不能对void指针进行算法操作，即下列操作都是不合法的：

void * pvoid; 

pvoid++; //ANSI：错误 

pvoid += 1; //ANSI：错误 

//ANSI标准之所以这样认定，是因为它坚持：进行算法操作的指针必须是确定知道其指向数据类型大小的。 (  对于自增自减，我们得根据数据类型大小增减地址大小，以指向下（上）一个元素  )

//例如： 

int *pint; 

pint++; //ANSI：正确（pint其实是加了4）

但是大名鼎鼎的GNU(GNU's Not Unix的缩写)则不这么认定，它指定void *的算法操作与char *一致。

因此下列语句在GNU编译器中皆正确：

pvoid++; //GNU：正确 

pvoid += 1; //GNU：正确 

5.小结每天进步一点点！（下面的乱码一直弄不掉，求指教。。。）