数据结构里单链表读取里第14行的j>i条件的作用是什么？该怎么解决

数据结构里单链表读取里第14行的j>i条件的作用是什么？
01
/* 初始条件：顺序线性表L已存在，1≤i≤ListLength(L) */
02
/* 操作结果：用e返回L中第i个数据元素的值 */
03
Status GetElem(LinkList L,int i,ElemType *e)
04
{
05
    int j;
06
    LinkList p;     /* 声明一结点p */
07
    p = L->next;     /* 让p指向链表L的第一个结点 */
08
    j = 1;      /*  j为计数器 */
09
    while (p && j < i)  /* p不为空或者计数器j还没有等于i时，循环继续 */
10
    {
11
        p = p->next;  /* 让p指向下一个结点 */
12
        ++j;
13
    }
14
    if ( !p || j>i )     //就是这里的j>i 按照前一个while循环，j最大只会到j=i啊
15
        return ERROR;  /*  第i个元素不存在 */
16
    *e = p->data;   /*  取第i个元素的数据 */
17
    return OK;
18
}

------解决方案--------------------
看起来应该是这样。不过也许i传入了一个非法值，如0，这时候就可能出现j > i了。
不过对参数的检查应该是刚进入函数就检查了。
贴代码最好格式化一下，否则别人没什么耐心去看。

/* 初始条件：顺序线性表L已存在，1≤i≤ListLength(L) */

/* 操作结果：用e返回L中第i个数据元素的值 */

Status GetElem(LinkList L, int i, ElemType *e)

{

	int j;

	LinkList p;     /* 声明一结点p */

	p = L->next;     /* 让p指向链表L的第一个结点 */

	j = 1;      /*  j为计数器 */

	while (p && j < i)  /* p不为空或者计数器j还没有等于i时，循环继续 */

	{

		p = p->next;  /* 让p指向下一个结点 */

		++j;

	}

	if (!p 
------解决方案--------------------
 j>i)     //就是这里的j>i 按照前一个while循环，j最大只会到j=i啊

		return ERROR;  /*  第i个元素不存在 */

	*e = p->data;   /*  取第i个元素的数据 */

	return OK;

}

------解决方案--------------------
非法值的处理：当i<=0都是非法的，函数进来没有立即处理。转移到你问的哪里处理的。因为当i非法时候，while循环是不执行的，p这个时候是非空，！p为假，继续执行
------解决方案--------------------
后的j>i此时就处理这种i非法的情况！
当p为空的时候，！p为真，此时是不考虑j>i的