Обоснование за макросом container_of в linux / list.h - PullRequest
Новая
       22

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

31 голосов
/ 21 мая 2011

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

34 голосов
/ 21 мая 2011

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

struct foo { int bar; };

....

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

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

warning: initialization from incompatible pointer type

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

...