这段c代码中main()中的 void count(void); 有什么作用？

#include
char get_choice(void);
char get_first(void);
int get_int(void);
void count(void);
int main(void)
{
int choice;
void count(void);

while ((choice = get_choice()) != 'q')
{
switch (choice)
{
case 'a':printf("低价买进，高价卖出.\n");
break;
case 'b':putchar('\a');
break;
case 'c':count();
break;
default:printf("程序错误!\n");
break;
}
}
printf("Bye.\n");

return 0;
}

void count(void)
{
int n, i;

printf("选择了C，该怎么做? 请输入一个整数:\n");
n = get_int();
for (i = 1; i <= n; i++)
printf("%d\n", i);
while (getchar() != '\n')
continue;
}

char get_choice(void)
{
int ch;

printf("请输入选项:\n");
printf("a.advice b.bell\n");
printf("c.count q.quit\n");
ch = get_first();
while ((ch < 'a' || ch > 'c') && ch != 'q')
{
printf("请输入 a,b,c, 或者 q 其中之一.\n");
ch = get_first();
}

return ch;
}

char get_first(void)
{
int ch;

ch = getchar();
while (getchar() != '\n')
continue;

return ch;
}

int get_int(void)
{
int input;
char ch;

while (scanf("%d", &input) != 1)
{
while ((ch = getchar()) != '\n')
putchar(ch);
printf(" 这不是一个整数\n请重新输入");
printf("整数值例如： 25, -178, or 3:");
}
return input;
}

返回值类型不同。 标准的C语言要求main函数的返回值为int， 该值是执行程序时，告知主调进程程序运行结果的一个渠道。 可以在命令行运行exe后，通过 echo $? 命令获取上一个可执行程序的运行结果。 不过由于大多数时候，程序的运行结果可以由其...

可以私聊我~