附录A6.7:The(nonexistent) value of a void object may not be used in any way, and neither explicit nor implicit conversion to any non-void type may be applied. Because avoid expression denotes a nonexistent value, such an expression may be used only where the value is not required, for example as an expression statement or as the left operand of a comma operator.
An expression may be converted to type void by a cast. For example, a void cast documents the discarding of the value of a function call used as an expression statement.
This interpretation of void * pointers is new;previously, char * pointers played the role of generic pointer. The ANSI standard specifically blesses the meeting of void * pointers with object pointers in assignments and relationals, while requiring explicit casts for other pointer mixtures.
附录A6.7:一个void对象的(不存在的)值不可以以任何方式使用,也不能被显示或隐式地转换为一非空类型。因为一个空表达式表示一个不存在的值,这样的表达式只可使用在不需要值的地方。例如作为一个表达式语句或作为逗号运算符的左运算分量。
可以通过强制类型转换将表达式转换为void类型。例如,在表达式语句中一个空的强制类型转换将丢掉函数调用的任何值。
附录A6.8:指向任何对象的指针可以被转换为void *类型二不会丢失信息。如果将结果再转换为初始指针类型,那么初始指针被恢复。与一般需要显示的强制类型转换的指针到指针的转换不同,指针可以被赋值为void *类型指针,也可以赋值给void *类型指针,并和void *类型指针比较。
注释:对void *指针的解释是新增加的,以前char *指针扮演通用指针的角色。ANSI标准特别允许void *类型指针和其他对象指针在赋值和关系表达式中混用,而对其它的指针的混合使用则要求有显示的类型转换。
1.10.4:void不能代表一个真实的变量。因为定义变量时必须分配内存空间,定义void类型变量,编译器到底分配多大的内存呢。
1.10.3:按照ANSI标准,不能对void指针进行算法(如++, +=)操作。ANSI标准之所以这样认为,是因为它坚持:进行算法操作的指针必须是确定知道其指向数据类型大小的。也就是说必须知道内存目的地址的确切值。如果函数的参数可以是任意类型指针,那么应声明其参数为void *。如内存操作函数的原型,void *memcpy(void *dest, const void *src, size_tlen); void *memset(void *buffer, intc, size_t num )。
在编程时经常需要一种通用指针,可以转换为任意其它类型的指针,任意其它类型的指针也可以转换为通用指针。最初C没有void *通用指针类型,是把char*当通用指针,需要转换时就用转换运算符()。void *指针与其它类型的指针之间可以隐式转换,而不必用类型转换符。void*指针不能直接Dereference(访问),而必须转换成别的类型的指针才能做Dereference。而不能用void类型来定义变量(类型暂时不确定的变量),因为编译器不知道该分配几个字节给变量。
在Debian GNU/Linux Desktop下编程。
接和各经典著作中对两者的描述,在linux下编程实践。
void i; //error: variable or field ‘i’ declared void
char ch = 'a';
(void)0;
(void)ch;
int i = ((void)0, 2);
i = (2, (void)0); //error: void value not ignored as it ought to be
printf("%c\n", (void)ch); //error: invalid use of void expression
“(void)表达式”表示将“表达式”强制转换为void类型,整个表达式为void类型,不可以任何为值的方式被引用。
2~3. (void)0和(void)ch表示将0和ch转换为void类型得到一种void对象。
5~6. void对象不可以被引用,否则linux下会有报错。i = (int)( (void)0 ); // error: invalid use of void expression
int *pInt = NULL;
char *pChar = NULL;
float *pFloat = NULL;
struct _p_ch{
void *pVoid;
char ch;
}*p_ch;
p_ch = NULL;
p_ch->pVoid = NULL;
//void * can point any type of a pointer
p_ch->pVoid = pInt;
p_ch->pVoid = pChar;
p_ch->pVoid = pFloat;
p_ch->pVoid = p_ch;
//void * can be pointed by any type of a pointer
pInt = p_ch->pVoid;
pChar = p_ch->pVoid;
pFloat = p_ch->pVoid;
p_ch = p_ch->pVoid;
int i = 1;
int *pInt = NULL;
pInt = &i;
printf("%d\n", *( (int*)((void*)pInt) ) );
int i = 1;
int *pInt = NULL;
void *pVoid = NULL;
pInt = &i;
pVoid = pInt;
pVoid++;
pVoid--;
printf("%p, %p\n", pVoid, pInt );
add()
{
return 2.1f + 3.0f;
}
void add()
{
float f = 2.1f + 3.0f;
}
int main(void)
{
add(6);
Renturn 0;
}
void add(void)
{
float f = 2.1f + 3.0f;
}
int main(void)
{
add(6);
return 0;
}
#define assert_param(expr) ((expr) ? (void)0 : assert_failed((uint8_t *)__FILE__, __LINE__))
/* Exported functions ------------------------------------------------------- */
void assert_failed(uint8_t* file, uint32_t line);
NULL表示内存位置0,NULL指针并不指向任何对象。因此除非是用于赋值或比较运算,出于其他任何目的使用NULL指针都是非法的。
引用NULL内存内容依编译器的不同而不同。某些C语言实现堆内存位置0强加了硬件级的读保护,在其上工作的程序如果错误使用了NULL指针,将立即终止执行。其他一些C语言实现堆内存位置0只允许读,不允许写。在这种情况下,一个NULL指针似乎指向的是某个字符串,但其内容通常不过是一堆“垃圾信息”。还有些C语言实现对内存位置0既允许读也允许写。在这种实现上面工作的程序如果错误使用了一个NULL指针,则很可能覆盖了操作系统的部分内容,造成彻底的灾难!
5.1:语言定义中说明, 每一种指针类型都有一个特殊值——“空指针” —— 它与同类型的其它所有指针值都不相同, 它“与任何对象或函数的指针值都不相等”。也就是说, 取地址操作符& 永远也不能得到空指针, 同样对malloc() 的成功调用也不会返回空指针, 如果失败, malloc() 的确返回空指针, 这是空指针的典型用法:表示“未分配”或者“尚未指向任何地方”的指针。
空指针在概念上不同于未初始化的指针。空指针可以确保不指向任何对象或函数; 而未初始化指针则可能指向任何地方。
[NULL]
NULL在C标准的头文件stddef.h中定义:#define NULL ((void *))。就是把地址0转换成指针类型,称为空指针,它的特殊之处在于,操作系统不会把任何数据保存在地址0及其附近。也不会把地址0 ~ 0xffff的页面映射到物理内存,所以任何对地址0 的访问都会导致段错误。