bsearch返回NULL但目标元素存在于数组中的技术问题求助

我一眼就揪出了几个导致你bsearch调用失败的关键问题——哪怕目标元素确实在数组里：

1. 比较函数未处理元素相等的场景 #

你的struct_cmp_by_v1函数只返回1或-1，但bsearch依赖比较函数返回0来判定两个元素完全匹配。当目标元素和数组中某元素的v1值相等时，你的函数会错误地返回-1（因为x>y为假，触发-1分支），这会让bsearch误以为两者不匹配，直接跳过正确元素。

修复后的比较函数应该补上相等判断：

int struct_cmp_by_v1(const void *i, const void *j) {
    struct edge *a = (struct edge *)i;
    struct edge *b = (struct edge *)j;
    u32 x = a->v1;
    u32 y = b->v1;
    if (x > y) return 1;
    if (x < y) return -1;
    return 0; // 必须添加相等时的返回值
}

2. 数组未提前按规则排序 #

bsearch的核心前提是：目标数组必须已经按照比较函数的规则完成升序排序。你的代码只分配了数组内存，却没有调用qsort对array做排序，这会让二分查找的逻辑完全失效，根本找不到正确元素。

在调用bsearch之前，一定要先执行排序：

// 先对数组按v1升序排序
qsort(array, Narray, sizeof(struct edge), struct_cmp_by_v1);
// 再执行二分查找
struct edge *e = (struct edge *) bsearch(l, array, Narray, sizeof(struct edge), struct_cmp_by_v1);

额外的健壮性检查 #

• 确认你已经正确初始化了l->v1的值，确保它确实存在于array中某个元素的v1字段里；
• 检查malloc的返回值是否为NULL，避免空指针操作（虽然这不是bsearch返回NULL的直接原因，但也是代码健壮性的必要环节）。

把这些问题修复后，你的bsearch应该就能正确定位到目标元素了。

内容的提问来源于stack exchange，提问作者Ivan Pereyra