程序是如何得知每一個指針的類型信息的？

簡單例子如下：

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

指針中只保留了地址信息，那么到最后一行時，程序看到*p時，能夠得知“從這個地方取一個int”，則肯定有某個地方記錄了“p指向一個int”，那么是什么地方在進(jìn)行記錄呢？