C语言中数据类型的本质
数据类型可以理解为固定内存大小的别名。比如int类型,就是表示占用4字节的内存。
1 数据类型的大小
用sizeof操作符获得数据类型的大小。
比如 int a[5]; sizeof(a)就可以得出int型数组a的大小是20字节, sizeof(*a)可以得出int型数组a的指针大小是4字节。
不同数据类型占据内存空间不一样,写代码测试:
int main() {
int a[10];
printf("a: %d, a+1: %d, &a: %d, &a+1:%d \n", a, a+1, &a, &a+1);
system("pause");
return 0;
}
运行结果如图:
可见,a用数组名代表数组首元素地址,a+1则代表数组第二个元素地址,大4个字节正好
但是, &a+1却比&a大了40个字节,都是指针加1为什么相差的内存地址差这么多?
因为a代表数组首元素地址, &a代表的是整个数组的地址。a是int指针,&a却是int数组a的指针,数据类型不一样,指针的步长也不一样
2 数据类型别名
可以用typedef给数据类型起别名,比如typedef int zhengshu; 然后就可以用zhengshu定义int型变量了。typedef还可以给数组、指针、结构体等类型定义别名,
①给数组定义别名
typedef int INT10[10]; 表示 INT10 是类型 int[10]的别名,是一个长度为10的数组类型。 INT10 a; 定义了长度为10的int型数组。
②给结构体定义别名
struct student
{
int age;
char sex;
};
定义结构体如上,使用时不能 student st; 直接使用结构体,会报错unknown type name 'student'。 必须 struct student st; 定义结构体变量。
PS: C语言是这么规定的,但是有的IDE(如Visio Studio)做了优化,可以直接用student定义结构体变量。虽然在这些IDE里可以,但是语法其实是错误的。
下面给该结构体定义别名:
typedef struct student
{
int age;
char sex;
}STUDENT;
然后,就可以用结构体的别名STUDENT去定义结构体变量。 如 STUDENT studenta; ...
3 数据类型的用处
①可以做数据类型的封装
比如声明个结构体类型Student
②可以用于函数返回值和函数参数
4 void类型
void 字面意思是“无类型”, void*可以指向任何类型数据
①void 用于函数返回值和函数参数, 表示无类型
②void* void* 指针可以强制转换成任意类型指针,也可以把任意类型指针转换成 void* 指针。
例如:
void* 指针可以强制转换成char型指针:
char *p2 = (char *)malloc(sizoeof(char)*20); //malloc函数返回void* 类型指针,这儿强制转换成char *指针
char型指针强制转换成void* 指针:
const char src[50] = "http://www.runoob.com";
char dest[50];
memcpy(dest, src, strlen(src)+1); //memcpy函数需要void *类型指针,dest, src都是char *类型指针,转换成void *类型指针。
PS: 例子中src和dest都是char型数组,为什么说是char *指针呢?c语言中数组做函数参数是就是自动当作指针处理。可以用sizeof操作符验证下。
写个测试函数:
#include <stdio.h>
void test(int array[])
{
printf("函数内array长度: %d \n", sizeof(array));
return;
}
int main()
{
int dest[50];
printf("函数外array长度: %d \n", sizeof(dest));
test(dest);
system("pause");
return 0;
}
运行结果如图:
看到函数内的array长度为4,的确是指针类型。
为什么这么设计呢?当调用子函数时,需要把实参压栈的,如果把整个数组压栈,当数组长度很长的时候显然很浪费内存,还是把指针入栈比较合适。