C语言指针类型和所指数据的类型要一致吗

网上很多答案是：”必须，不一致会出现语法错误“，但是 no try no know。

首先看下我的环境：

下面是代码：

#include 
 
int main ()
{
    
    double var_double = 10.0;
    double *p = &var_double;//double数据类型的指针
    int *y = &var_double;//int数据类型的指针
    printf("p指向var_double 变量的地址： %pn", p);
    printf("y指向var_double 变量的地址： %pn", y);
    
    int var_int = 10;
    p = &var_int;
    y = &var_int;
    printf("p指向var_int变量的地址： %pn", p);
    printf("y指向var_int变量的地址： %pn", y);
    
    p++;
    y++;
    printf("p++ 后的地址： %pn", p);
    printf("y++ 后的地址： %pn", y);
	return 0;
}

1.定义一个double类型的变量，然后分别将double类型的指针和int类型的指针指向这个变量；
2.定义一个int类型的变量，然后分别将double类型的指针和int类型的指针指向这个变量；

最终编译是否能通过呢

可以看到，可以编译通过并执行，只不过报了两个警告（有的小伙伴说的语法错误，可能跟环境有关，这个不是重点）。重点是 double类型和int类型所指向变量var_int的地址最初是一样的，但是执行了自加操作后地址就不一样了，差了四个字节，这是为什么呢？

指针有两个语义：一是内存的基地址，二是指向数据的类型，也就是指向单位的大小是多少（void*除外）。

我的系统是x86_64位的，所以double占8个字节，int占4个字节，所以double类型自加就是以8字节为单位相加，int是以4字节为单位相加。

总结
指针类型和所指数据的类型一般要一致的，除非不需要操作指针。

以上就是本文的所有内容了，由于本人是C语言小白，文中如有错误，还请大佬们纠正指出。