para - ¿Cuál es el propósito de una matriz de longitud cero en una estructura?

poligono en r

Question

Esta pregunta ya tiene una respuesta aquí:

• ¿Cuál es la necesidad de una matriz con cero elementos? 5 respuestas

Cuando estoy buscando el código del kernel de Linux, encontré el siguiente código:

   struct thread_info {
    struct task_struct  *task;
    struct exec_domain  *exec_domain;
    unsigned long       flags;
    __u32           status;
    __u32           cpu;
    int         preempt_count;
    mm_segment_t        addr_limit;
    struct restart_block    restart_block;
    void __user     *sysenter_return;
    unsigned long           previous_esp;
    __u8            supervisor_stack[0];
};

Tenga en cuenta que la última variable "supervisor_stack", es una matriz de longitud cero, ¿cuál es su uso? ¡Gracias por adelantado!

Answer 1

Es la versión anterior a C99 de un miembro de matriz flexible, ofrecido por GCC como una extensión.

La forma C99 es definir el miembro de la matriz flexible con corchetes vacíos,

__u8  supervisor_stack[];

Se utiliza para almacenar datos cuya cantidad no es constante contigua a la estructura. La memoria se asigna en el formulario.

struct foo *ptr = malloc(sizeof *ptr + whatever_is_needed);

En el párrafo 18 de 6.7.2.1, la norma (borrador N1570) los describe:

Como un caso especial, el último elemento de una estructura con más de un miembro nombrado puede tener un tipo de matriz incompleta; Esto se llama un miembro de matriz flexible. En la mayoría de las situaciones, el miembro de la matriz flexible se ignora. En particular, el tamaño de la estructura es como si se hubiera omitido el miembro de la matriz flexible, excepto que puede tener más relleno posterior del que implicaría la omisión. Sin embargo, cuando un . (o -> ) el operador tiene un operando izquierdo que es (un puntero a) una estructura con un miembro de matriz flexible y el operando derecho nombra a ese miembro, se comporta como si ese miembro hubiera sido reemplazado por la matriz más larga (con el mismo tipo de elemento ) que no haría la estructura más grande que el objeto al que se accede; el desplazamiento de la matriz seguirá siendo el del miembro de la matriz flexible, incluso si fuera diferente de la matriz de reemplazo. Si esta matriz no tuviera elementos, se comporta como si tuviera un elemento, pero el comportamiento no está definido si se intenta acceder a ese elemento o generar un puntero que lo supera.

Answer 2

Es un pirateo de C común para declarar lo que se puede llamar una matriz de longitud variable (donde se define el tamaño en el momento de la asignación

Ejemplo:

struct line {
   int length;
   char contents[0];
 };

 struct line *thisline = (struct line *)
   malloc (sizeof (struct line) + this_length);
 thisline->length = this_length;

De esta manera, tiene una definición de estructura de sus datos, que también almacena la longitud de la matriz por razones obvias de conveniencia, pero no está limitado por el tamaño fijo que generalmente se asocia con una estructura

Ejemplo tomado de gcc.gnu.org/onlinedocs/gcc/Zero-Length.html (también hay más información allí)