1

Если в язык встроена функция 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);

Компилятор МОЖЕТ в теории узнать какой тип мне нужен, просто посмотрев на тип объекта, на который я ссылаюсь с помощью указателя. Если не прав - поправьте меня.

1

2 ответа 2

1

В С++ есть возможность рассмотреть объект с разной точки зрения. и компилятор должен знать вашу точку зрения для создания объектного файла. Например такой код:

 int a = 1<<10;
 void* p = &a;
 //  компилятор не знает  как что вы рассматриваете объект
 //поэтому разыменовывать void* нельзя
 //а вдруг вы хотите разместить символ 'a' в объект (а)
 new(p)char('a');
 //и иметь возможность  получать и часть объекта?    
 cout <<"Вывести символ\n " << *static_cast<char*>(p)
      << "\nВывести как число " << *static_cast<int*>(p);
2
  • А это не UB вообще?
    – bipll
    28 июн 2020 в 13:53
  • по какой причине? 28 июн 2020 в 14:08
1
int k = 111;
double l = 222.43;
void* p;

if (l < 100)
    p = &k;
else
    p = &l;

//cout << *p;  Как компилятор должен узнать тип?
1
  • тип p - void * 28 июн 2020 в 13:51

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.