Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Unsized array declaration in a struct

Why does C permit this:

typedef struct s
{
  int arr[];
} s;

where the array arr has no size specified?

like image 712
sashang Avatar asked Nov 26 '13 15:11

sashang


People also ask

How do you create a dynamic array in a struct?

Solution 1. struct dyn_array { int size; int data[]; }; struct dyn_array* my_array = malloc(sizeof(struct dyn_array) + 100 * sizeof(int));

Can an array be declared as a structure member?

An array within a structure is a member of the structure and can be accessed just as we access other elements of the structure.

What is an unsized array?

Answer: If unsized arrays are declared, the C compiler automatically creates an array big enough to hold all the initializers. This is called an unsized array.

What is flexible array in C?

A flexible array member is a C99 feature and can be used to access a variable-length object. It is declared with an empty index, as follows: array_identifier[ ]; For example, b is a flexible array member of Foo . struct Foo { int a; int b[]; };


2 Answers

This is C99 feature called flexible arrays, the main feature is to allow the use variable length array like features inside a struct and R.. in this answer to another question on flexible array members provides a list of benefits to using flexible arrays over pointers. The draft C99 standard in section 6.7.2.1 Structure and union specifiers paragraph 16 says:

As a special case, the last element of a structure with more than one named member may have an incomplete array type; this is called a flexible array member. In most situations, the flexible array member is ignored. In particular, the size of the structure is as if the flexible array member were omitted except that it may have more trailing padding than the omission would imply. [...]

So if you had a s* you would allocate space for the array in addition to space required for the struct, usually you would have other members in the structure:

s *s1 = malloc( sizeof(struct s) + n*sizeof(int) ) ;

the draft standard actually has a instructive example in paragraph 17:

EXAMPLE After the declaration:

  struct s { int n; double d[]; };

the structure struct s has a flexible array member d. A typical way to use this is:

   int m = /* some value */;
   struct s *p = malloc(sizeof (struct s) + sizeof (double [m]));

and assuming that the call to malloc succeeds, the object pointed to by p behaves, for most purposes, as if p had been declared as:

    struct { int n; double d[m]; } *p;

(there are circumstances in which this equivalence is broken; in particular, the offsets of member d might not be the same).

like image 179
Shafik Yaghmour Avatar answered Sep 28 '22 08:09

Shafik Yaghmour


You are probably looking for flexible arrays in C99. Flexible array members are members of unknown size at the end of a struct/union.

As a special case, the last element of a structure with more than one named member may have an incomplete array type; this is called a flexible array member. In most situations, the flexible array member is ignored. In particular, the size of the structure is as if the flexible array member were omitted except that it may have more trailing padding than the omission would imply.

You may also look at the reason for the struct hack in the first place.

It's not clear if it's legal or portable, but it is rather popular. An implementation of the technique might look something like this:

    #include <stdlib.h>
    #include <string.h>

    struct name *makename(char *newname)
    {
        struct name *ret =
            malloc(sizeof(struct name)-1 + strlen(newname)+1);
                    /* -1 for initial [1]; +1 for \0 */
        if(ret != NULL) {
            ret->namelen = strlen(newname);
            strcpy(ret->namestr, newname);
        }

        return ret;
    }

This function allocates an instance of the name structure with the size adjusted so that the namestr field can hold the requested name (not just one character, as the structure declaration would suggest).

Despite its popularity, the technique is also somewhat notorious - Dennis Ritchie has called it "unwarranted chumminess with the C implementation." An official interpretation has deemed that it is NOT strictly conforming with the C Standard, although it does seem to work under all known implementations. Compilers that check array bounds carefully might issue warnings.

like image 22
Rahul Tripathi Avatar answered Sep 28 '22 07:09

Rahul Tripathi