C言語のフレキシブル配列メンバ（flexible array member）、通称struct hack

PHPの内部実装がC言語なのは周知の事実かと思いますが、最近仕事でPHP7の内部実装をみる機会がありました。
そこで学んだC言語のflexible array member、通称struct hackというテクニックがなかなか面白かったので、忘れないようメモです。

ちなみに、このサイトの説明がわかりやすいです。

structハック (struct hack) - Flexible array member - ぼく用あれこれまとめ - atwiki（アットウィキ）

struct hack#

struct hackはどんなテクニックかというと、こんな風に構造体の最後を要素数を定義しない配列にしてもコンパイル通りますよ！っていうテクニックです。

別に構造体の中なら最後じゃなくてもコンパイルは通ると思うんですが、たぶん最後以外はうまい使い方はないです。

1
struct Struct{
2
  char hoge;
3
  char fuga[];
4
};

ちなみに要素数を指定しない配列は構造体内でしか宣言できなくて、それ以外の場所で使おうとするとコンパイルエラーになります。

1
#include <iostream>
2

3
int main(){
4
  char piyo[];
5
  return 0;
6
}

1
% g++ structHack.cc
2
structHack.cc: In function ‘int main()’:
3
structHack.cc:10:13: error: storage size of ‘piyo’ isn’t known
4
   char piyo[];
5
             ^

ちなみにサイズは0バイト、つまり要素数0の配列と認識されるようです。

1
#include <iostream>
2

3
struct Struct{
4
  char hoge;
5
  char fuga[];
6
};
7

8
int main(){
9
  std::cout << sizeof(Struct) << std::endl; // 1と出力
10
  return 0;
11
}

struct hackの使いどころ#

で、コンパイル通るのわかったけど、こんなん何に使うのよ？っていう話なんですが、こんな感じで使います。

1
#include <iostream>
2
#include <stdlib.h>
3

4
struct Struct{
5
  char hoge;
6
  char fuga[];
7
};
8

9
int main(){
10
  Struct* piyo = (Struct*)malloc(sizeof(Struct) + sizeof(char)*10); // 無理やりメモリ領域を確保
11
  piyo->fuga[8] = 100; // 要素数を定義してないのに安全にアクセスできる！！
12

13
  free(piyo);
14
  return 0;
15
}

この時のメモリの領域はこんな感じに確保されるので、メモリを解放するまで安全にアクセスできます。しかも、malloc時にはじめてfugaの要素数を決められるので、構造体毎に異なる要素数を指定できます。

余談：PHP7でのstruct hackの使われ方#

PHP7ではstruct hackはこんな感じで使われています。
properties_table[]ではなくproperties_table[1]と書いてるのは、おそらくC99より前のバージョンのC言語ではサイズ0の配列の宣言ができなかったらしいので、その辺の名残りでしょう。

1
struct _zend_object {
2
  zend_refcounted_h gc;
3
  uint32_t          handle; // TODO: may be removed ???
4
  zend_class_entry *ce;
5
  const zend_object_handlers *handlers;
6
  HashTable        *properties;
7
  zval              properties_table[1];　// <- struct hack!!
8
};

さらに余談ですが、PHP5とPHP7ではこのzend_objectの構造が変わっているため、PHP7ではzend_objectを使って構造体を定義するときは、こんな風にzend_objectを最後に持ってくるようにする必要があります。

1
struct Struct2 {
2
   void  *hogehoge;
3
   zend_object std; // 絶対に最後じゃなきゃいけない。PHP5では最初に書くのが一般的だった(らしい)
4
};

参考