list_entry en Linux

Question

user/include/linux/list.h 

esta declaración:

#define list_entry(ptr, type, member) \ 
((type *)((char *)(ptr) – (unsigned long)(&((type *)0)->member))) 

puede alguien explicar qué es esto y cómo funciona, gracias por adelantado

P. S. por favor, simplifique su respuesta lo más posible, conozco los hilos, los procesos en Linux, ahora estoy explorando posibilidades y estoy un poco atrapado con esta.

Answer 1

considerar dos estructuras de este tipo:

struct data { 
    int something; 
}; 

struct container { 
    int something_before; 
    struct data data_item; 
    int something_after; 
}; 

Suponga que tiene un puntero a un valor struct data:

struct data *data_ptr; 

La macro list_entry() le ayuda para convertir data_ptr en un puntero al valor struct container que contiene el struct data valor, a la que apunta ptr:

struct container *cont_ptr = list_entry(data_ptr, struct container, data_item); 

Los macro funciona mediante el cálculo de la compensación de data_item dentro del struct container, y restando esa cantidad de bytes desde el puntero data_ptr. Esto, cuando se envía a struct container *, da un puntero válido al struct container que contiene este particular struct data "dentro".

La macro también se puede simplificar un poco mediante el uso de la orden interna offsetof() macro:

#define list_entry(ptr, type, member) \ 
    ((type *)((char *)(ptr) – offsetof(type, member))) 

Answer 2

Una explicación de esto se encuentra here: Section How Does This Work?

Answer 3

Esta macro se utiliza para encontrar la dirección de una estructura dada uno de sus miembros.

Así, por ejemplo, suponga que tiene la estructura:

typedef struct 
{ 
    int i; 
    int j; 
} typestruct; 

Lo primero que debe saber es que la última parte de la macro:

&((typestruct *)0)->j 

se utiliza para dar el offset de un miembro. Por lo tanto, es el tamaño, en bytes, de zero memoria que se aplica al tipo, al miembro. En este caso, es el sizeof(int), porque j es justo debajo de int i; Asumamos que esta expresión vale 4 por simplicidad. Se puede obtener el mismo resultado con la macro

offsetof(typestruct, j); 

Ahora queremos calcular la dirección de temp, donde temp es typestruct temp. Para hacer eso, calculamos simplemente la dirección del puntero menos la posición del miembro.La dirección del puntero es:

(typestruct *)((char *) &temp.j) 

Por lo tanto, la resta es:

&temp == (typestruct *)((char *) &temp.j) - offsetof(typestruct, j) 

o, como en la macro dice:

&temp == (typestruct *)((char *) &temp.j) - &((typestruct *)0)->j 

Usted puede aprender mucho más here, y también en este question.

(paréntesis son necesarios, pero fue eliminada de aclaración)