C でパーサー コンビネーターを実装することは、私も興味を持っているトピックであり、最近、C でパーサー コンビネーターを作成しました: https://github.com/petercommand/cparc
以下は、カンマ区切りの数値を数値のリストに解析しようとするコードのテスト ケースです。パーサーのリストを使用して (コード内で parser_chain を呼び出して「パーサーのリスト」からパーサーを生成します)、Haskell の「do 記法」を模倣しますが、それほどエレガントではありません。
parser_dp_return test_parser7_rest_dp(dynamic_parser_closure* ctx, input_t input) {
parser_dp_return dp_ret;
dp_ret.obj = ctx->objs[1]->obj;
dp_ret.status = PARSER_NORMAL;
dp_ret.i = input;
dp_ret.discard_obj_callback = NULL;
return dp_ret;
}
parser_dp_return test_parser7_full_dp(dynamic_parser_closure* ctx, input_t input) {
parser_dp_return dp_ret;
list* result = list_new();
list_push_back(result, ctx->objs[0]->obj);//num
if(ctx->objs[1] && ctx->objs[1]->obj) {
list_append(result, ctx->objs[1]->obj);
}
dp_ret.status = PARSER_NORMAL;
dp_ret.i = input;
dp_ret.discard_obj_callback = (void (*)(void *))&list_delete;
dp_ret.obj = result;
return dp_ret;
}
bool test_parser7() {//comma separated values
parser* number = num();
parser* comma = symbol(',');
parser* rest_parser = parser_chain_final(test_parser7_rest_dp);
list* parser_chain_list = list_new();
list_push_back(parser_chain_list, comma);//ctx 0
list_push_back(parser_chain_list, number);//ctx 1
list_push_back(parser_chain_list, rest_parser);
parser* rest = parser_chain(parser_chain_list);
list_delete(parser_chain_list);
parser* many_rest = many(rest);
list* parser_chain_full = list_new();
list_push_back(parser_chain_full, number);//ctx 0
list_push_back(parser_chain_full, many_rest);//ctx 1
parser* full_parser = parser_chain_final(test_parser7_full_dp);
list_push_back(parser_chain_full, full_parser);
parser* final = parser_chain(parser_chain_full);
const char* input = "1,20,300,4000,50000";
input_t i;
input_init(&i, input);
parser_dp_return dp_ret = parse(final, i);
parser_delete(number);
parser_delete(comma);
parser_delete(rest_parser);
parser_delete(rest);
parser_delete(many_rest);
parser_delete(full_parser);
parser_delete(final);
bool result = true;
test_true(&result, dp_ret.status == PARSER_NORMAL);
list* l = dp_ret.obj;
list_item* li = l->head;
test_true(&result, ptr_to_int(li->item) == 1);
li = li->next;
test_true(&result, ptr_to_int(li->item) == 20);
li = li->next;
test_true(&result, ptr_to_int(li->item) == 300);
li = li->next;
test_true(&result, ptr_to_int(li->item) == 4000);
li = li->next;
test_true(&result, ptr_to_int(li->item) == 50000);
return result;
}