Разница между Авто и Пустотой?

Question

Я читаю C++ Primer Book (пятое издание), и у меня есть вопрос по книге, которую я читаю. Он говорит:

Тип void* представляет собой специальный тип указателя, который может содержать адрес любого объекта. Как и любой другой указатель, указатель void* имеет адрес, , но тип объекта по этому адресу неизвестен.

Хорошо, поэтому я это понимаю, но ... У меня много противоречий с утверждением. Во-первых, вы не можете использовать auto? Разве он не делает то же самое, что и void? Значение не

void *somePtr; 

и

auto *somePtr; 

то же самое?

Во-вторых, это говорит о том, что тип прикрепленного адреса неизвестен. Вы не можете использовать typeid, чтобы получить тип? Как это:

int a = 5; 
auto *somePtr = 5; 
std::cout << typeid(*somePtr).name() << std::endl; 

Answer 1

Вы пытались запустить свои примеры через компилятор?Как это происходит, ни

auto * p; // error 

ни

int a = 0; 
void * p = &a; 
std::cout << typeid(*p) << '\n'; // error 

будет компилировать в то время как

void * p; 

и

int a = 0; 
auto * p = &a; 
std::cout << typeid(*p) << '\n'; 

отлично.

Чтобы дать неформальную и легко запомнить аналогию void * и auto *, думать о void * p, как говорит компилятор

Не заботьтесь о том, что p указатель указывает, я разберусь сам (в время выполнения).

тогда auto * p = (expression) говорит компилятору

Пожалуйста Выяснить для меня (во время компиляции), что (указатель) типа (expression) оценивает в и сделать тип p быть соответствующим образом.

По сути, auto * редко бывает полезным. Вместо этого вы можете просто написать auto, и если инициализирующее выражение является типом указателя, то также будет выведено значение auto.

Answer 2

Чтобы ответить на ваш первый вопрос,

недействительными и автоматически не совпадают. When you declare a variable of auto, it means it takes the data types of the value assigned.

напр:

авто а = 5 // 'а' имеет целочисленный тип

автоматического а = 5,0 // 'а' имеет тип поплавка и т.д.,

Фактический разница может наблюдаться при разыменовании.

Вышеупомянутое утверждение «фактическая разница может наблюдаться при разыменовании» отвечает на ваш второй вопрос.

пустота * не может быть deferenced, в то время как автоматический * может быть deferenced

Answer 3

auto использует время компиляции type inference: переменная имеет определенный тип, который является его правильный тип, однако тип выводится из его значения. На протяжении всей жизни переменной auto, компилятор будет гарантировать, что он используется в соответствии с его фактическим выведенным типом

void* действительно может содержать адрес любого объекта, но в отличие от auto, вы должны явно конвертировать void* указатель на другой тип перед его использованием. В отличие от auto это преобразование является явным, и в отличие от auto компилятор не может предупредить о неправильном использовании.

Answer 4

В случае автоматической переменной в качестве переменной данных берется тип данных, от которого он получает оценку. Например Auto obj = class_obj. Здесь тип данных class_obj стал типом данных obj. Вам не нужно явно помнить и набирать текст. В случае void * вам нужно знать тип данных и явно вводить текст.

Answer 5

С точки зрения компилятора:

• В C++ 11 auto использует те же правила вывода, как template argument deduction. Он в основном сообщает компилятору: «Вывести тип из инициализатора».
• void * сообщает компилятору: «Вот указатель, указывающий на объект, тип которого не может быть известен во время компиляции».

Для auto фактического типа выводится во время компиляции, так что компилятор может предупреждать о возможных злоупотреблениях.

Для void * фактического типа выводится в коде программистом используя reinterpret_cast приведение к известному типу указателя, как правило, в момент выполнения этого сегмента кода.

---

С точки зрения программиста:

• Эй компилятор Я слишком ленив или слишком неуклюжи, чтобы написать этот тип. Я всего лишь auto и дам вам понять остальное. (И он выглядит меньше, чем тип, который я собирался написать.дляintисключения.)
• Эй компилятора, не смейте связывайтесь с моей void *. Я выясню тип во время выполнения сам (в коде ...), когда мне это нужно.
  • Полезно для полиморфизма времени выполнения, поскольку один и тот же указатель может использоваться для указания объектов разных типов по мере необходимости в контексте.
  • Также полезно, если вы кодируете базовый класс, и клиенту необходимо сохранить объект Определенный пользователем тип, определенный клиентом.

---

Так NOauto является НЕ эквивалентно void. void средства ничего. На самом деле вы даже не можете объявить переменную типа void. void * однако особый тип указатель это может пункт на все! И auto * является избыточным, просто используйте простой старый auto вместо этого.

В вашем примере,

int a = 5; 
auto *somePtr = 5; 
std::cout << typeid(*somePtr).name(); << std::endl; 

Вы назначен адрес 5 в somePtr, который является незаконным. Излишне заявлять, что *somePtr также является незаконным в этом контексте. Хотя auto, вероятно, выводится на номер int, который вы хотите распечатать.

Хорошо с современными методами C++ вы редко видите void * s и reinterpret_cast s или любые необработанные указатели, за исключением глубоко внутри любых внутренних реализаций библиотеки.