json库 数组类型解析

语法子集及解析思路：

数组的格式：

其中%x5B是左中括号，ws是空字符，value是json值，%x2C是逗号，%x5D是右中括号。

解析思路
先解析左中括号，跳过空格，看下一个解析符号是否为右中括号，是的话就解析完成，设置lept_value。不是的话就进入循环解析整个数组：调用lept_parse_value()解析值，不成功就退出循环，释放之前解析开辟的内存，成功了就把临时lept_value压入栈，解析下一个字符是逗号就跳过空格，开始下一次循环，是右中括号就说明解析结束，将栈中元素弹出存入数组，设置lept_value,其他情况就终止循环， 最后无论是解析完成还是解析错误，都要把已经开辟的内存释放掉。

实现细节及遇到的问题；

1. 对数组元素的循环解析

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;
		}
	}

2. 成功设置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()判断

遇到的问题

1. 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

2. 为什么解析结束了还要对json++呢？
   因为是嵌套的啊。。。后面可能还要进行解析，当然要指向下一个解析位置。

总结

1. 学习了各种数据结构的优缺点(各操作的复杂度，具体的实现细节)，在项目中如何选择合适的数据结构。

源代码