(Игнорирование порядка байтов для аргументации - это всего лишь тестовый пример / подтверждение концепции - и я бы никогда не использовал strcpy в реальном коде!)
Рассмотрим следующий тривиальный код C:
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
/* variables of type message_t will be stored contiguously in memory */
typedef struct {
int message_id;
char message_text[80];
} message_t;
int main(int argc, char**argv) {
message_t* m = (message_t*)malloc(sizeof(message_t));
m->message_id = 1;
strcpy(m->message_text,"the rain in spain falls mainly on the plain");
/* write the memory to disk */
FILE* fp = fopen("data.dat", "wb");
fwrite((void*)m, sizeof(int) + strlen(m->message_text) + 1, 1, fp);
fclose(fp);
exit(EXIT_SUCCESS);
}
Файл, который он пишет, может быть легко прочитан обратно с диска:
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
typedef struct {
int message_id;
char message_text[80];
} message_t;
int main(int argc, char**argv) {
message_t* m = (message_t*)malloc(sizeof(message_t));
FILE* fp = fopen("data.dat", "rb");
fread((void*)m, sizeof(message_t), 1, fp);
fclose(fp);
/* block of memory has structure "overlaid" onto it */
printf("message_id=%d, message_text='%s'\n", m->message_id, m->message_text);
exit(EXIT_SUCCESS);
}
Например,
$ ./write
$ ./read
message_id=1, message_text='the rain in spain falls mainly on the plain'
Мой вопрос в OCaml, если всеУ меня есть:
type message_t = {message_id:int; message_text:string}
Как я могу получить эти данные?Marshal не может и не может input_binary_int.Я могу вызвать вспомогательные функции в C, такие как «что такое sizeof(int)», затем получить n байтов и вызвать функцию C, например, для «преобразования этих байтов в int», но в этом случае я не могу добавить какой-либо новый код C«Распаковка» должна выполняться в OCaml, исходя из того, что, как я знаю, «должно» быть.Это просто вопрос перебора строки в блоках sizeof s или поиска '\ 0', или есть хитрый способ?Спасибо!