как же компилятор знает тип указателя

Question

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

В приведенном выше коде, когда мы разыменования указателя p (соиЬ < < * р;), как же компилятор знает размер *p? Я имею в виду, если размер double равен 8, а адрес d начинается с 1000, как компилятор знает, что он должен принимать данные от 1000 до 1007, тогда как для *q это должно занять 4 байта?

Поскольку размеры p и q - все 4, я не знаю, как компилятор получает информацию о типе из указателя.

Answer 1

Чтобы уточнить пост Криса. Когда вы объявляете double *p, вы явно сообщаете компилятору, что «я объявляю указатель, указывающий на двойной». Во время компиляции компилятор тогда помнит, что в каждой части кода, которая ссылается на p (в соответствии с правилами области), p является указателем на double, а по расширению p является указателем на ячейку памяти, размер как двойной. Поэтому везде он видит p, компилятор знает: «p - это указатель на двойной размер double».