Binäre Serialisierung von Daten mit variabler Länge und Nulllängen-Arrays, ist es sicher?

Question

Ich habe einige Nachforschungen angestellt, kann aber keine endgültige Zustimmung oder Ablehnung finden.

Was ich will, ist eine feste Größe Struktur + variabler Länge Teil, so dass die Serialisierung in einfacher und weniger fehleranfälliger Weise ausgedrückt werden kann.

struct serialized_data 
{ 
    int len; 
    int type; 
    char variable_length_text[0]; 
}; 

Und dann:

serialize_data buff = (serialize_data*)malloc(sizeof(serialize_data)+5); 
buff->len=5; 
buff->type=1; 
memcpy(buff->variable_length_text, "abcd", 5); 

Leider kann ich nicht finden, wenn MSVC, GCC, Klappern usw., mit ihm in Ordnung sind.

Vielleicht gibt es einen besseren Weg, um das gleiche zu erreichen?

Ich will nicht wirklich diese hässlichen Abgüsse rundum:

memcpy((char*)(((char*)buffer)+sizeof(serialize_data)), "abcd", 5); 

Answer 1

Dieses Programm wird ein Null-Länge-Array verwendet wird. Dies ist nicht C, sondern eine GNU-Erweiterung.

http://gcc.gnu.org/onlinedocs/gcc/Zero-Length.html

Ein gemeinsames Idiom in C89, die so genannte struct hacken, verwenden sollte:

struct serialized_data 
{ 
    int len; 
    int type; 
    char variable_length_text[1]; 
}; 

seine gemeinsame Verwendung als flexible Array leider nicht streng Conforming ist.

C99 kommt mit etwas ähnlich, um die gleiche Aufgabe zu erfüllen: eine Funktion namens flexible Array-Mitglied. Hier ist ein Beispiel direkt aus dem Standard (C99, 6.7.2.1p17)

struct s { int n; double d[]; }; 
int m = 12; // some value 
struct s *p = malloc(sizeof (struct s) + sizeof (double [m]));