这样的代码合法吗？

Question

我一直在使用一个使用 GCC 4.4.1 (ISO C99) 编译的程序，今天注意到了这个怪癖。尽管它在目标上运行没有任何问题，但编译器也不会使用 -Wall 发出任何警告。

void mutex_init(mutex_t *mutex)
{
 if(unlikely(mutex->magic == MUTX_MAGIC_CHAR))
    return;

 mutex->owner = NULL;
 mutex->prior = NULL;
 mutex->magic = MUTX_MAGIC_CHAR;
 thread_queue_init(&mutex->queue);
}

不应该是这样的

*mutex->owner = NULL;

Answer 1

不，magic->owner 等同于 (*magic).owner。

-> 运算符用于处理指向结构的指针，而. 运算符直接处理结构。