構造体宣言

struct s { int n; double d[]; }; // s.d はフレキシブル配列メンバです。 
 
    struct s t1 = { 0 };         // OK、 t1.d は double[1] であるかのように振る舞います (ただし要素にアクセスすると未定義動作です)。
    struct s t2 = { 1, { 4.2 } }; // エラー、初期化はフレキシブル配列メンバを無視します。
 
    // sizeof (double) == 8 の場合
    struct s *s1 = malloc(sizeof (struct s) + 64); // s1->d は double[8] であるかのように振る舞います。
    struct s *s2 = malloc(sizeof (struct s) + 40); // s2->d は double[5] であるかのように振る舞います。
 
    s1 = malloc(sizeof (struct s) + 10); // 以降 s1->d は double[1] であるかのように振る舞います。 2バイト余っています。
    double *dp = &(s1->d[0]);    // OK。
    *dp = 42;                    // OK。
    s1->d[1]++;                  // 未定義動作。 余りの2バイトは
                                 // double としてアクセスできません。
 
    s2 = malloc(sizeof (struct s) + 6);  // 以降 s2->d は double[1] であるかのように振る舞いますが、
                                         // 2バイトは完全な double 1個には足りないため、アクセスは未定義動作です。
    dp = &(s2->d[0]);            // OK、アドレスを取ることは問題ありません。
    *dp = 42;                    // 未定義動作。
 
    *s1 = *s2; // s.n のみがコピーされます。 
               // sizeof (struct s) に含まれる分を除いて s.d の要素はコピーされません。

struct v {
   union { // 無名共用体
      struct { int i, j; }; // 無名構造体
      struct { long k, l; } w;
   };
   int m;
} v1;
 
v1.i = 2;   // 有効。
v1.k = 3;   // 無効。 内側の構造体が無名ではありません。
v1.w.k = 5; // 有効。