语法子集及解析思路:
数组的格式:
其中%x5B是左中括号,ws是空字符,value是json值,%x2C是逗号,%x5D是右中括号。
解析思路
先解析左中括号,跳过空格,看下一个解析符号是否为右中括号,是的话就解析完成,设置lept_value。不是的话就进入循环解析整个数组:调用lept_parse_value()解析值,不成功就退出循环,释放之前解析开辟的内存,成功了就把临时lept_value压入栈,解析下一个字符是逗号就跳过空格,开始下一次循环,是右中括号就说明解析结束,将栈中元素弹出存入数组,设置lept_value,其他情况就终止循环, 最后无论是解析完成还是解析错误,都要把已经开辟的内存释放掉。
实现细节及遇到的问题;
- 对数组元素的循环解析
for (;;)
{
lept_value e;
lept_init(&e);
if ((ret = lept_parse_value(c, &e)) != LEPT_PARSE_OK) //解析错误
break;
//将解析结果存入临时lept_value,压入栈。
//void* temp = lept_context_push(c, sizeof(lept_value));
//memcpy(temp, &e, sizeof(lept_value));
memcpy(lept_context_push(c, sizeof(lept_value)), &e, sizeof(lept_value));
size++; //压入栈中lept_value个数
lept_parse_whitespace(c);
if (*c->json == ',')
{
c->json++;
lept_parse_whitespace(c);
}
else if (*c->json == ']') //解析结束
{
c->json++;
v->type = LEPT_ARRAY;
v->size = size;
size *= sizeof(lept_value);
//将栈中lept_value都弹出来存入数组中
//v->e = (lept_value*)malloc(size); //开辟空间
//void* temp = lept_context_pop(c, size); //弹出元素
//memcpy(v->e, temp, size); //弹出的元素存入lept_value成员中
memcpy(v->e = (lept_value*)malloc(size), lept_context_pop(c, size), size);
return LEPT_PARSE_OK;
}
else
{
ret = LEPT_PARSE_MISS_COMMA_OR_SQUARE_BRACKET;
break;
}
}
- 成功设置lept_value,失败释放内存
for (i = 0; i < size; i++)
{
lept_free((lept_value*)lept_context_pop(c, sizeof(lept_value)));
}
void lept_free(lept_value* v)
{
size_t i;
assert(v != NULL);
switch (v->type) {
case LEPT_STRING:
free(v->s);
break;
case LEPT_ARRAY:
for (i = 0; i < v->size; i++)
lept_free(&v->e[i]);
free(v->e);
break;
case LEPT_OBJECT:
for (i = 0; i < v->osize; i ++)
{
free(v->m[i].k);
lept_free(&v->m[i].v);
}
free(v->m);
break;
default: break;
}
v->type = LEPT_NULL;
}
释放内存:
lept_parse_array() 中使用到malloc() 分配内存,所以在值释放的时候(值不用了或者解析错误)就要把占用的内存释放:
对于数组内的元素,通过递归调用 lept_free() 释放,然后用free()释放数组。
在这犯了个错,把数组内的元素用free()释放
for (i = 0; i < v->size; i++)
free(&v->e[i]);
如果数组里的元素是null,true这种不需要释放的也free(),就会直接报错,正确的方式:
for (i = 0; i < v->size; i++)
lept_free(&v->e[i]);
要理解是释放元素!至于这个元素是要释放的类型还是不要释放的类型交给 lept_free()判断
遇到的问题
memcpy(lept_context_push(c, sizeof(lept_value)), &e, sizeof(lept_value));
这个函数是用来把解析得到的临时*lept_value压入栈,但是不理解怎么做到的。后面查看之前的函数发现是以下几个函数没弄懂:
lept_context_push()该函数只是设置栈容量,返回数据的起始地址,memcpy()和PUTC(c, ch)宏才是真正往栈中压入元素。
所以上面函数就是先用lept_context_push()得到数据要存放地址开头A处,再用memcpy()将e的内容复制到A- 为什么解析结束了还要对json++呢?
因为是嵌套的啊。。。后面可能还要进行解析,当然要指向下一个解析位置。
总结
- 学习了各种数据结构的优缺点(各操作的复杂度,具体的实现细节),在项目中如何选择合适的数据结构。