slm*_*rix 5 c linked-list sorted
农产品协议
我一直试图在我的循环链表中调试一个问题12小时.该函数接收一个具有开始和光标字段的ADT.最初的虚拟单元指向自身.插入元素.不允许重复元素.
int setInsertElementSorted(setADT buffer, setElementT E)
{
bool isUnique = true;
cellT *previous;
previous = buffer->start;
buffer->cursor = buffer->start->next;
while(buffer->cursor != buffer->start){
if(buffer->cursor->value == E){
isUnique = false;
} else if(E < buffer->cursor->value)
break;
else {
previous = buffer->cursor;
buffer->cursor = buffer->cursor->next;
}
}
if(isUnique != false){
cellT *newNode = malloc(sizeof(cellT));
newNode->value = E;
previous->next = newNode;
newNode->next = buffer->cursor;
buffer->count++;
return (buffer->count);
}
}
Run Code Online (Sandbox Code Playgroud)
代码接受一系列整数,然后将它们排序到LL参数中.假设用于一组(因此没有重复输入).
输出为:9,8,7,6,5,4,3,2,1
是.. 3,4,5,6,7,8,9(前两个值发生了什么?)
输入类似的东西时:7,3,5,1,9,2
out只有7,9(所以它不能处理超过一个的值... oO)
附加信息:
typedef struct cellT {
int value;
struct cellT *next;
} cellT;
struct setCDT{
int count;
cellT *start;
cellT *cursor;
};
setADT setNew()
{
setADT newNode = malloc(sizeof(struct setCDT));
newNode->start = newNode->cursor = malloc(sizeof(cellT));
newNode->start->next = newNode->cursor->next = newNode->start;
newNode->count = 0;
return (newNode);
}
Run Code Online (Sandbox Code Playgroud)
setADT是setCDT的指针类型.然而,setElementT只是一个简单的int.抱歉模棱两可.
一些观察结果:
while(buffer->cursor != buffer->start && buffer->cursor->value < E){
if(buffer->cursor->value == E) // never true
Run Code Online (Sandbox Code Playgroud)
第一个循环内部value == E永远不会为真,因为循环条件有value < E,因此遇到等于 的值E将停止迭代。如果找到重复项,则将循环条件更改为<= E和 ,return而不是使用flag.
该路径flag == false也不会返回值(尽管由于上述错误,目前无法访问),并且newNode如果该错误已flag修复并且已E存在于列表中,则还会为泄漏分配内存。
以下内容if似乎毫无意义,并且由于没有{缩进,else因此非常具有误导性:
if(buffer->cursor != buffer->start){
newNode->next = buffer->cursor; // would be harmless in both branches
previous->next = newNode; // done in both branches
} else // always using { } would make this clear
previous->next = newNode;
buffer->count++;
return (buffer->count);
Run Code Online (Sandbox Code Playgroud)
另外,不要将 typedefsetADT作为指针类型,它只是具有误导性,并且与New(setADT)几乎肯定会导致错误的结构相结合。
同时 中setNew,由于只有一个节点,因此替换newNode->start->next = newNode->cursor->next = newNode->start;为newNode->start->next = newNode->start;
变更摘要:
int setInsertElementSorted(struct setCDT * const buffer, const int E) {
cellT *newNode;
cellT *previous = buffer->start;
buffer->cursor = previous->next;
while (buffer->cursor != buffer->start && buffer->cursor->value <= E) {
if (buffer->cursor->value == E) {
return buffer->count; // duplicate value
}
previous = buffer->cursor;
buffer->cursor = buffer->cursor->next;
}
if ((newNode = malloc(sizeof(*newNode)))) {
newNode->value = E;
newNode->next = buffer->cursor;
previous->next = newNode;
buffer->count++;
}
return buffer->count;
}
Run Code Online (Sandbox Code Playgroud)
如果错误仍然存在,则错误可能在其他地方。
要测试的代码:
int main (int argc, char **argv) {
struct setCDT *list = setNew();
for (int i = 1; i < argc; ++i) {
setInsertElementSorted(list, atoi(argv[i]));
}
list->cursor = list->start;
while ((list->cursor = list->cursor->next) != list->start) {
(void) printf("%d\n", list->cursor->value);
}
return EXIT_SUCCESS;
}
Run Code Online (Sandbox Code Playgroud)