Получить указатель на структуру по указателю на ее член [дубликат]

Макрос записывается так, как он выполняет проверку типа на ptr. Можно использовать составной литерал вместо выражения оператора и вернуться к простой проверке указателей вместо использования __typeof__, если компилятор не совместим с gcc:

#ifdef __GNUC__
#define member_type(type, member) __typeof__ (((type *)0)->member)
#else
#define member_type(type, member) const void
#endif

#define container_of(ptr, type, member) ((type *)( \
    (char *)(member_type(type, member) *){ ptr } - offsetof(type, member)))

Совместимость с ISO C90 с проверкой типа. (Однако предостережение: две оценки ptr!) [/ ​​G0]

#define container_of(ptr, type, member) \
   ((type *) ((char *) (ptr) - offsetof(type, member) + \
              (&((type *) 0)->member == (ptr)) * 0))

struct container {
  int dummy;
  int memb;
};


#include <stddef.h>
#include <stdio.h>

int main()
{
  struct container c;
  int *p = &c.memb;
  double *q = (double *) p;
  struct container *pc = container_of(p, struct container, memb);
  struct container *qc = container_of(q, struct container, memb);
  return 0;
}

Тест:

$ gcc -Wall containerof.c
containerof.c: In function ‘main’:
containerof.c:20:26: warning: comparison of distinct pointer types lacks a cast
containerof.c:20:21: warning: unused variable ‘qc’
containerof.c:19:21: warning: unused variable ‘pc’

Мы получаем предупреждение distinct pointer types для 26, но не 25. Это наша диагностика о неправильном использовании указателей.

Сначала я попытался поставить проверку типа в левую сторону оператора запятой, gcc жалуется на то, что это не имеет никакого эффекта, что является неприятностью. Но, сделав его операндом, мы гарантируем, что он используется.

Трюк &((type *) 0)->member не совсем определен ISO C, но он широко используется для определения offsetof. Если ваш компилятор использует этот трюк с нулевым указателем для offsetof, он почти наверняка будет себя вести в вашем собственном макросе.