这是我想出的代码——changePos() 函数和我创建的测试代码,以确保它是正确的。
#include <assert.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
struct Frame
{
char *name;
unsigned int duration; // Effectively unused
// char *path; // Actually unused
};
typedef struct Frame Frame;
struct Link
{
Frame *frame;
struct Link *next;
};
typedef struct Link Link;
static void print_list(Link *root);
static void changePos(Link **anchor_link, const char *name, int pos)
{
assert(anchor_link != 0 && name != 0 && pos >= 0);
Link *root = *anchor_link;
Link *link = root;
Link *prev = 0;
int count = 0;
while (link != 0 && strcmp(link->frame->name, name) != 0)
{
prev = link;
link = link->next;
count++;
}
if (link == 0) // Name not found - no swap!
return;
if (count == pos) // Already in target position - no swap
return;
if (count == 0) // Moving first item; update root
{
assert(link == root);
*anchor_link = root->next;
root = *anchor_link;
}
else
{
assert(prev != 0);
prev->next = link->next;
}
// link is detached; now where does it go?
if (pos == 0) // Move to start; update root
{
link->next = root;
*anchor_link = link;
return;
}
Link *node = root;
for (int i = 0; i < pos - 1 && node->next != 0; i++)
node = node->next;
link->next = node->next;
node->next = link;
}
static void print_list(Link *root)
{
const char *pad = "";
while (root != 0)
{
printf("%s[%s]", pad, root->frame->name);
root = root->next;
pad = "->";
}
}
static void free_frame(Frame *frame)
{
if (frame != 0)
{
free(frame->name);
free(frame);
}
}
static void free_link(Link *link)
{
while (link != 0)
{
Link *next = link->next;
free_frame(link->frame);
free(link);
link = next;
}
}
static Frame *make_frame(const char *name, unsigned int number)
{
Frame *frame = malloc(sizeof(*frame));
if (frame != 0)
{
frame->name = strdup(name);
frame->duration = number;
}
return frame;
}
static Link *make_link(const char *name, unsigned int number)
{
Link *link = malloc(sizeof(*link));
if (link != 0)
{
link->frame = make_frame(name, number);
link->next = 0;
}
return link;
}
static Link *make_list(int num, Frame *frames)
{
Link *head = 0;
Link *tail = 0;
for (int k = 0; k < num; k++)
{
Link *link = make_link(frames[k].name, frames[k].duration);
assert(link != 0 && link->frame != 0); // Lazy!
if (head == 0)
head = link;
if (tail != 0)
tail->next = link;
tail = link;
}
return head;
}
int main(void)
{
Frame frames[] =
{
{ "pic0", 0 },
{ "pic1", 1 },
{ "pic2", 2 },
{ "pic3", 3 },
{ "pic4", 4 }, // Never in the list, but searched for
};
enum { NUM_FRAMES = sizeof(frames) / sizeof(frames[0]) };
for (int i = 0; i < NUM_FRAMES; i++)
{
for (int j = 0; j < NUM_FRAMES; j++)
{
Link *head = make_list(NUM_FRAMES - 1, frames);
print_list(head);
printf(" == %s to %u == ", frames[i].name, j);
changePos(&head, frames[i].name, j);
print_list(head);
putchar('\n');
free_link(head);
}
}
return 0;
}
我怀疑changePos() 中的代码仍然可以简化一点,但我还没有发现如何。这是一个带有数字位置和列表的丑陋界面——使用另一个名称来标识节点应该移动到的位置会更自然。对于数字位置,您很想使用数组而不是列表。
示例输出:
[pic0]->[pic1]->[pic2]->[pic3] == pic0 to 0 == [pic0]->[pic1]->[pic2]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic0 to 1 == [pic1]->[pic0]->[pic2]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic0 to 2 == [pic1]->[pic2]->[pic0]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic0 to 3 == [pic1]->[pic2]->[pic3]->[pic0]
[pic0]->[pic1]->[pic2]->[pic3] == pic0 to 4 == [pic1]->[pic2]->[pic3]->[pic0]
[pic0]->[pic1]->[pic2]->[pic3] == pic1 to 0 == [pic1]->[pic0]->[pic2]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic1 to 1 == [pic0]->[pic1]->[pic2]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic1 to 2 == [pic0]->[pic2]->[pic1]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic1 to 3 == [pic0]->[pic2]->[pic3]->[pic1]
[pic0]->[pic1]->[pic2]->[pic3] == pic1 to 4 == [pic0]->[pic2]->[pic3]->[pic1]
[pic0]->[pic1]->[pic2]->[pic3] == pic2 to 0 == [pic2]->[pic0]->[pic1]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic2 to 1 == [pic0]->[pic2]->[pic1]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic2 to 2 == [pic0]->[pic1]->[pic2]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic2 to 3 == [pic0]->[pic1]->[pic3]->[pic2]
[pic0]->[pic1]->[pic2]->[pic3] == pic2 to 4 == [pic0]->[pic1]->[pic3]->[pic2]
[pic0]->[pic1]->[pic2]->[pic3] == pic3 to 0 == [pic3]->[pic0]->[pic1]->[pic2]
[pic0]->[pic1]->[pic2]->[pic3] == pic3 to 1 == [pic0]->[pic3]->[pic1]->[pic2]
[pic0]->[pic1]->[pic2]->[pic3] == pic3 to 2 == [pic0]->[pic1]->[pic3]->[pic2]
[pic0]->[pic1]->[pic2]->[pic3] == pic3 to 3 == [pic0]->[pic1]->[pic2]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic3 to 4 == [pic0]->[pic1]->[pic2]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic4 to 0 == [pic0]->[pic1]->[pic2]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic4 to 1 == [pic0]->[pic1]->[pic2]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic4 to 2 == [pic0]->[pic1]->[pic2]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic4 to 3 == [pic0]->[pic1]->[pic2]->[pic3]
[pic0]->[pic1]->[pic2]->[pic3] == pic4 to 4 == [pic0]->[pic1]->[pic2]->[pic3]
输出的 LHS 是之前的列表 — 始终相同,顺序为 pic0 到 pic3。输出的 RHS 是调用changePos 后的列表。对于位置 n = 0..3,您可以看到,'picn' 依次从位置 0 迁移到位置 3。名称pic4 从未插入到列表中,因此在查找时不会发生任何变化。此外,当您尝试将任何名称移动到不存在的位置时,它会移动到列表中的最后一个位置。小于 0 的位置被断言为无效。
代码有偶然的错误检查。它断言解决了内存分配问题以及其他一些问题(例如位置小于 0)。
在changePos() 中写入任何有价值的内容之前,我使用changePos() 的虚拟无操作版本使安全带干净利落地运行。
使用我习惯的编译器警告选项,代码在 Mac OS X 10.11.5 和 GCC 6.1.0 和 Valgrind 3.12.0.SVN 上编译和运行干净:
$ gcc -O3 -g -std=c11 -Wall -Wextra -Wmissing-prototypes -Wstrict-prototypes \
> -Wold-style-definition -Werror so.3807-9550.c -o so.3807-9550
$