Если в язык встроена функция typeid
, почему компилятор сам не может привести указатель из типа void к нужному типу при разыменовании средствами вызова вышеуказанного оператора?
Примеры:
int k = 111;
void* p = &k;
//Выведет ошибку, тк "не знает" какой тип у указателя
cout << *p;
Почему компилятор не может сделать что-то вроде этого:
int k = 111;
void* p = &k;
// "typeid(k)" вместо этого должен стоять какой-то "определитель" типов
cout << *static_cast<(typeid(k))*>(p);
Эквивалентно этому коду:
int k = 111;
void* p = &k;
cout << *static_cast<int*>(p);
Компилятор МОЖЕТ в теории узнать какой тип мне нужен, просто посмотрев на тип объекта, на который я ссылаюсь с помощью указателя. Если не прав - поправьте меня.