Обоснование макроса container_of в linux/list.h

В реализации списков ядра 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)

Ответы

Ответ 1

Он добавляет некоторую проверку типов. С вашей версией это компилируется отлично (без предупреждения):

struct foo { int bar; };

....

float a;
struct foo *var = container_of(&a, foo, bar);

С версией ядра компилятор сообщает:

warning: initialization from incompatible pointer type

Хорошее объяснение того, как работает макрос: container_of Грега Кроа-Хартмана.