编译器如何知道指针的类型

Question

double d = 1.1;
double *p = &d;
cout << *p;
int i = 1;
int * q = &i;
cout << *q;

在上面的代码中，当我们取消引用指针p（cout＆lt;＆lt; * p;）时，编译器如何知道*p的大小？我的意思是，如果double的大小是8并且d的地址从1000开始，那么编译器如何知道它应该从1000到1007的数据，而对于*q，它应该如何需要4个字节？

由于p和q的大小都是4，我不知道编译器如何从指针获取有关类型的信息。

Answer 1

澄清克里斯帖。 当你声明double *p时，你明确告诉编译器“我正在声明一个指向double的指针”。在编译期间，编译器然后记住，在引用p的代码的每个部分中（遵循范围规则），p是指向double的指针，并且通过扩展，{{1是指向与double相同大小的内存位置的指针。所以在它看到p的任何地方，编译器都知道“p是一个指向double的两倍大小的指针”。