程序是如何得知每一个指针的类型信息的？

Question

简单例子如下：

int a = 1
int* p = &a
...
...
int c = *p

指针中只保留了地址信息，那么到最后一行时，程序看到*p时，能够得知“从这个地方取一个int”，则肯定有某个地方记录了“p指向一个int”，那么是什么地方在进行记录呢？

Answer 1

p指向int的信息是给编译器进行静态检查用的,在编译后的程序里是没有记录p指向的是一个int

如图所示，我上面两个函数，虽然指针类型不一样，但编译结果是一样的
https://godbolt.org/
你可以在这个网站里在线把C编译成汇编