C编程中的“void”是什么意思?在什么情况下使用?

C编程中的“void”是什么意思?在什么情况下使用?,第1张

void在C语言里是指不带返回值的意思。跟函数一起用。

1void的含义

void的字面意思是“无类型”,void 则为“无类型指针”,void 可以指向任何类型的数据。

这行语句编译时会出错,提示“illegal use of type 'void'”。不过,即使void a的编译不会出错,它也没有任何实际意义。

void真正发挥的作用在于:

(1) 对函数返回的限定;

(2) 对函数参数的限定。

如果指针p1和p2的类型相同,那么我们可以直接在p1和p2间互相赋值;如果p1和p2指向不同的数据类型,则必须使用强制类型

转换运算符把赋值运算符右边的指针类型转换为左边指针的类型。

例如:

float p1;

int p2;

p1 = p2;

其中p1 = p2语句会编译出错,提示“'=' : cannot convert from 'int ' to 'float '”,必须改为:

p1 = (float )p2;

而void 则不同,任何类型的指针都可以直接赋值给它,无需进行强制类型转换:

void p1;

int p2;

p1 = p2;

但这并不意味着,void 也可以无需强制类型转换地赋给其它类型的指针。因为“无类型”可以包容“有类型”,而“有类型”则不能包

容“无类型”。道理很简单,我们可以说“男人和女人都是人”,但不能说“人是男人”或者“人是女人”。下面的语句编译出错:

void p1;

int p2;

p2 = p1;

提示“'=' : cannot convert from 'void ' to 'int '”。

2void的使用

使用规则:

如果函数没有返回值,那么应声明为void类型

在C语言中,凡不加返回值类型限定的函数,就会被编译器作为返回整型值处理。但是许多程序员却误以为其为void类型。例如:

add ( int a, int b )

{

return a + b;

}

int main(int argc, char argv[])

{

printf ( "2 + 3 = %d", add ( 2, 3) );

}

程序运行的结果为输出:

2 + 3 = 5

这说明不加返回值说明的函数的确为int函数。

补充:void 中文翻译为"无类型"。常用在程序编写中对定义函数的参数类型、返回值、函数中指针类型进行声明。

void的字面意思是"无类型",void 则为"无类型指针",void 可以指向任何类型的数据。

在C语言中,凡不加返回值类型限定的函数,就会被编译器作为返回整型值处理。但是许多程序员却误以为其为void类型。

对指针的应用是C语言编程的精髓所在,而回调函数就是C语言里面对函数指针的高级应用。简而言之,回调函数是一个通过函数指针调用的函数。如果你把函数指针(函数的入口地址)传递给另一个函数,当这个函数指针被用来调用它所指向的函数时,我们就说这个函数是回调函数。

  为什么要使用回调函数呢?我们先看一个小例子:

  Node Search_List (Node node, const int value)

  {

  while (node != NULL)

  {

  if (node -> value == value)

  {

  break;

  }

  node = node -> next;

  }

  return node;

  }

  这个函数用于在一个单向链表中查找一个指定的值,返回保存这个值的节点。它的参数是指向这个链表第一个节点的指针以及要查找的值。这个函数看上去很简单,但是我们考虑一个问题:它只能适用于值为整数的链表,如果查找一个字符串链表,我们不得不再写一个函数,其实大部分代码和现在这个函数相同,只是第二个参数的类型和比较的方法不同。

  其实我们更希望令查找函数与类型无关,这样它就能用于查找存放任何类型值的链表了,因此必须改变比较的方式,而借助回调函数就可以达到这个目的。我们编写一个函数(回调函数),用于比较两个同类型的值,然后把一个指向这个函数的指针作为参数传递给查找函数,查找函数调用这个比较函数来执行比较,采用这个方法,任何类型的值得都可以进行比较。

  我们还必须给查找函数传递一个指向待比较的值的指针而不是值本身,也就是一个void 类型的形参,这个指针会传递给回调函数,进行最终的比较。这样的修改可以让我们传递指向任何类型的指针到查找函数,从而完成对任何类型的比较,这就是指针的好处,我们无法将字符串、数组或者结构体作为参数传递给函数,但是指向它们的指针却可以。

  现在,我们的查找函数就可以这样实现:

  NODE Search_List(NODE node, int (compare)(void const , void const ) , \

  void const desired_value);

  {

  while (node != NULL)

  {

  if (compare((node->value_address), desired_value) == 0)

  {

  break;

  }

  node = node->next;

  }

  return node;

  }

  可以看到,用户将一个函数指针传递给查找函数,后者将回调这个函数。

  注意这里我们的链表节点是这样定义的:

  typedef struct list

  {

  void value_address;

  struct list next;

  }NODE;

  这样定义可以让NODE 类型的指针指向存储任何类型数据的链表节点。而value_address就是指向具体数据的指针,我们把它定义为void ,表示一个指向未知类型的指针,这样链表就可以存储任何类型的数据了,而我们传递给查找函数Search_List的第一个参数就可以统一表示为:NODE ,否则,还是要分别写查找函数以适应存储不同数据类型的链表。

  现在,查找函数与类型无关,因为它不进行实际的比较,因此,我们必须编写针对不同类型的比较函数,这是很容易实现的,因为调用者知道链表中所包含的值的类型,如果创建几个分别包含不同类型值的链表,为每种类型编写一个比较函数就允许单个查找函数作用于所有类型的链表。

  下面是一个比较函数,用于在一个整型链表中查找:

  注意强制类型转换,比较函数的参数必须被声明为void 以匹配查找函数的原型,然后强制转换为(int )类型用于比较整型。

  int int_compare(void const a, void const b)

  {

  if ((int )a == (int )b)

  {

  return 0;

  }

  else

  {

  return -1;

  }

  }

  这个函数可以这样被使用:

  desired_node = Search_List(root, int_compare, &desired_int_value);

  如果你希望在一个字符串链表中进行查找,下面的代码就可以完成任务:

  desired_node = Search_List(root, strcmp, “abcdefg”);

  正好库函数strcmp所执行的比较和我们需要的一样,不过gcc会发出警告信息:因为strcmp的参数被声明为const char 而不是void const 。

  上面的例子展示了回调函数的基本原理和用法,回调函数的应用是非常广泛的。通常,当我们想通过一个统一接口实现不同内容的时候,用回调函数来实现就非常合适。任何时候,如果你所编写的函数必须能够在不同的时刻执行不同的类型的工作或者执行只能由函数调用者定义的工作,你都可以用回调函数来实现。许多窗口系统就是使用回调函数连接多个动作,如拖拽鼠标和点击按钮来指定调用用户程序中的某个特定函数。

看不懂主要是这个参数吧:(int()(void,void))(numericnumcmp:strcmp)

你这样看:(int()(void,void)) funf; 上一句到这一句能看懂吧。

再这样看 (int ) funf;  这一句是把funf函数转化为无参数,返回为int类型的函数指针。

再这样看 (int ())(char ) funf;   这一句是把funf函数转化为有一个char 参数,返回为int类型的函数指针,(int ())(char ) 这些都是类型定义,并不是在调用funf这个函数,只是在调用这个指针,它需要的参数要在调用的地方去传入。这个懂了,那么问题也就懂了。

另外: int func 与 (int )func 是不同的,前者是一个返回为int型指针的函数,后者是一个指向返回为int类型函数的指针,这里都没有参数。(int()(void,void))(numericnumcmp:strcmp)这个定义,就是把参数也加上了,注意这里只是指针类型说明,并不是调用。

int p表示这是一个二维指针:指向指针的指针。这样理解:int a; <-- int p1; <-- int p;

malloc是c语言中用来在堆空间手动申请空间的函数。

参数为要申请的空间大小。返回类型为void万能指针。

此处申请空间大小为:m个sizeof(int) 的大小。int表示指向int 类型的指针,大小取决于具体机器和编译器。32/64位机一般为32/64位,但不绝对。

最后(int) 表示强制类型转换,将 void 转换为 int 类型,一般强制转换可能会有潜在的精度损失等,但是此处因为都是指针,所以不用担心。

综上所述,这句话实现了这样的功能:申请m个能够能够存放 int 类型的空间,并将首地址返回给一个二维指针p;

内存可能的分布情况:

int a <-- int ; <-- int p;

int b <-- int ;

int c <-- int ;

int d <-- int ;

(int)&p = (int)Function;这个语句上,下面进行解剖(有点)

(int)Function 将void类型的函数转换为整数(函数地址)

&p是函数指针的p的地址(二级指针q)

(int)&P是将这个二级指针q转换为int型指针,即q指向的p是int型空间,存储int型的地址 (在指针看来,所有的数据对于它来说,都是地址)

(int )&p = (int)Function; 是将二级指针q转回到一级的函数指针p并存储Function的地址(int型)

其实这个语句直接写成 p = Function就行,为了演示函数指针的强制转换才这么写的。

欢迎分享,转载请注明来源:内存溢出

原文地址:https://54852.com/langs/12159198.html

(0)
打赏 微信扫一扫微信扫一扫 支付宝扫一扫支付宝扫一扫
上一篇 2023-05-21
下一篇2023-05-21

发表评论

登录后才能评论

评论列表(0条)

    保存