C语言数据结构程序基数排序(Radix Sort)崩溃问题求助

错误码0xC0000005对应内存访问违规，大概率是空指针解引用、数组越界或野指针操作导致。结合你的项目场景，重点排查基数排序模块与双向链表的指针逻辑，以下是具体排查方向和修复方案：

核心排查方向 #

1. 基数排序模块的指针操作问题 #

• 空指针未校验：排序函数开头未判断链表头指针是否为空，直接解引用导致崩溃。
• 桶（队列）越界或未初始化：字典序基数排序的桶数组大小不足（如未覆盖全部ASCII字符范围），或桶未正确初始化，导致访问非法内存。
• 双向链表指针维护缺失：排序合并桶时只修改了next指针，未同步维护prev指针，导致链表断裂或野指针。

2. 地区与城镇关联的潜在问题 #

• 城镇节点父指针异常：读取districts.txt时，城镇节点的父指针指向已释放的地区节点，或地区节点的城镇子链表未正确收尾（尾节点next未置空）。
• 地区节点字符串未初始化：部分地区节点的名称字符串为空指针，排序时调用strlen或取字符导致空指针访问。

典型问题修复示例 #

示例1：空指针校验缺失 #

错误代码：

void radix_sort(DistrictNode **head) {
    DistrictNode *current = *head; // 未判断*head是否为空
    // ... 后续排序逻辑
}

修复代码：

void radix_sort(DistrictNode **head) {
    if (head == NULL || *head == NULL) {
        return; // 空链表直接返回，避免空指针解引用
    }
    DistrictNode *current = *head;
    // ... 后续排序逻辑
}

示例2：桶数组越界 #

错误代码：

#define BUCKET_COUNT 255
Queue buckets[BUCKET_COUNT]; // 无法覆盖ASCII 255，导致越界

修复代码：

#define BUCKET_COUNT 256 // 覆盖全部ASCII字符范围
Queue buckets[BUCKET_COUNT];
// 初始化所有桶
for (int i = 0; i < BUCKET_COUNT; i++) {
    init_queue(&buckets[i]);
}

示例3：双向链表指针维护不全 #

错误代码：

// 合并桶时仅维护next指针，未处理prev
DistrictNode *new_head = NULL, *tail = NULL;
for (int i = 0; i < BUCKET_COUNT; i++) {
    while (!is_queue_empty(&buckets[i])) {
        DistrictNode *node = dequeue(&buckets[i]);
        if (new_head == NULL) {
            new_head = node;
            tail = node;
        } else {
            tail->next = node;
            tail = node;
        }
    }
}
tail->next = NULL;

修复代码：

DistrictNode *new_head = NULL, *tail = NULL;
for (int i = 0; i < BUCKET_COUNT; i++) {
    while (!is_queue_empty(&buckets[i])) {
        DistrictNode *node = dequeue(&buckets[i]);
        node->prev = NULL;
        node->next = NULL; // 先清空节点原有指针
        if (new_head == NULL) {
            new_head = node;
            tail = node;
        } else {
            tail->next = node;
            node->prev = tail; // 维护前向指针
            tail = node;
        }
    }
}
if (tail != NULL) {
    tail->next = NULL; // 避免尾节点为空时解引用
}
*head = new_head;

示例4：地区名称空指针处理 #

错误代码：

// 统计最大名称长度时未判断字符串是否为空
int max_len = 0;
DistrictNode *current = *head;
while (current != NULL) {
    int len = strlen(current->name);
    max_len = len > max_len ? len : max_len;
    current = current->next;
}

修复代码：

int max_len = 0;
DistrictNode *current = *head;
while (current != NULL) {
    if (current->name != NULL) { // 校验字符串指针
        int len = strlen(current->name);
        max_len = len > max_len ? len : max_len;
    }
    current = current->next;
}

调试技巧 #

• 断点调试：在基数排序函数入口设置断点，单步执行观察指针变化，定位崩溃的具体代码行。
• 调用栈分析：崩溃时查看调用栈，确定错误发生在桶操作、链表指针修改还是字符串访问阶段。
• 中间变量打印：在排序过程中打印节点地址、名称等信息，排查是否存在野指针或空指针。

内容的提问来源于stack exchange，提问作者Mohammad Abu Hijleh