В реализации списков ядра linux в /include/linux/list.h
, каково обоснование первой строки (вставляемой ниже) макроса container_of
?
const typeof( ((type *)0)->member ) *__mptr = (ptr);
В моем примере кода я удалил эту строку и изменил определение на
#define container_of(ptr, type, member) ({ \
(type *)( (char *)ptr - offsetof(type,member) );})
и мой код по-прежнему показал ожидаемые результаты. Является ли первая строка избыточной? Или у него есть скрытая ловушка, о которой я не знаю?
Код, который я нашел в Faq/LinkedLists
/**
* container_of - cast a member of a structure out to the containing structure
* @ptr: the pointer to the member.
* @type: the type of the container struct this is embedded in.
* @member: the name of the member within the struct.
*
*/
#define container_of(ptr, type, member) ({ \
const typeof( ((type *)0)->member ) *__mptr = (ptr); \
(type *)( (char *)__mptr - offsetof(type,member) );})
#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *)0)->MEMBER)