Цель разыменования указателя в качестве параметра в C

Question

Я недавно по этой строке кода:

CustomData_em_free_block(&em->vdata, &eve->data); 

И я подумал, не стоит:

a->b 

просто синтаксический сахар для:

(*a).b 

Имея это в виду, эта линия может быть переписано как:

CustomData_em_free_block(&(*em).vdata, &(*eve).data); 

Если это так, что точка перехода в

& (* а), в качестве параметра, и не только? Кажется, что указатель-эквивалент - (-a) передается внутри, есть ли для этого какая-либо логика?

Спасибо.

Answer 1

Это:

&(*em).vdata 

не то же самое, как это:

em.vdata 

Это то же самое, как это:

&((*em).vdata) 

Амперсанд принимает адрес vdata, который является членом структуры, на которую указывает em. Оператор . имеет более высокий приоритет, чем оператор &.

Answer 2

Вот что вам не хватает: &em->vdata - это то же самое, что и у &(em->vdata), а не (&em)->vdata. То есть, это адрес члена vdata, на который указывает em. Это должно быть ясно, если вы посмотрите на тип em - это указатель.

Да, вы всегда можете переписать a_ptr->member как (*a_ptr).member, но зачем беспокоиться? В этом суть синтаксического сахара.

Answer 3

«Если это так, то какова точка прохождения в & (* a), как параметр, а не только?»

Обычно нет. Но обратите внимание, что ваш пример кода не сравнивается с & (* a) и a. В вашем примере кода сравниваются & (* a) и b, где b смещается от a на любое расстояние от начала em до члена vdata em.