程序如下：
int list::inser(const int x,const int i)
{
listnode *p=first;int k=0;
while(p!=NULL&&k<i-1)
{p=p->link;k++;}
if(p==NULL&&first!=NULL) /* 这块我不太明白*p不是等于first的吗那么 if(p==NULL&&first!=NULL)不是矛盾吗？
{cout<<"invalid position for iosettation! \n"; return 0;}
listnode *newnode=new listnode(x,NULL);

if(first==NULL || i==0){
newnode->link=first;
if(first==NULL)
last=newnode;
first=newnode;
}

else{
newnode->link=p->link;
if(p->link==NULL) last=newnode;
p->link=newnode;
}
return 1;
}

if(p==NULL&&first!=NULL)
{cout<<"invalid position for iosettation! \n"; return 0;}
书上说这代表非空表而且链短，找不到i-1个节点！ 这为什么就能代表找不到i-1个节点了呢 我不明白

top

在 if( p == NULL && first != NULL)之前已经执行了 while(p!=NULL&&k<i-1) {p=p->link;k++;}
估计这里的意思是这个链表是带头结点的,但是可能一个元素都没有或者元素个数小于i-2. 所以 可以进入while循环,但是就是在i-2之前就退出循环,导致p==NULL所以if( p == NULL && first != NULL)就为真,就输出 {cout<<"invalid position for iosettation! \n"; return 0;}

内存模型

p指向
first->next --- NULL
一开始 由于p不为空,假使 k<i-1那么就进入循环 经过 p = p->next之后, p就等于null 就退出循环
所以( p == NULL && first != NULL)就为真,这句一点都不矛盾

[此贴子已经被作者于2006-7-14 23:55:28编辑过]