C语言基于bsearch实现Product结构体数组按名查找的问题排查

段错误核心触发原因 #

• bsearch入参类型完全不匹配：
  原代码传入&search_key作为查找键，该参数本质是「字符串指针变量的地址」，但你已实现的compareAlpha比较函数会将传入参数强转为Product*结构体指针，直接从指针地址偏移读取成员变量，属于非法内存访问，必然触发段错误。
• 元素长度硬编码越界：
  原代码写死传入100个元素长度，但你的数组仅包含5个有效商品+1个结束哨兵，总共6个结构体元素，bsearch会直接访问数组边界外的非法内存，进一步加剧段错误风险。
• 比较函数语义错配：
  你已实现的compareAlpha是qsort专用的比较函数，约定两个入参均为指向数组中Product元素的指针。但C标准库的bsearch要求比较函数的第一个入参是「查找键的指针」，第二个入参才是数组元素指针，直接复用compareAlpha会导致类型语义完全错位。

数组长度获取方案 #

你的数组采用了空名称哨兵的结束规则：从数组首地址开始遍历，直到遇到name字段首字符为'\0'的元素，即可统计出有效元素个数——和printProducts函数的遍历逻辑完全一致，不需要额外传入长度参数，就能在findProduct内部自动算出数组长度。

修改后的正确代码 #

修复后的findProduct函数 #

const Product* findProduct(const Product* p_array, const char* search_key, int (*cmp)(const void*, const void*))
{
    // 1. 遍历统计有效元素长度，匹配数组的空名称哨兵规则
    int valid_count = 0;
    while (p_array[valid_count].name[0] != '\0') {
        valid_count++;
    }

    // 2. 构造和cmp入参类型匹配的临时查找对象，仅填充名称字段
    Product search_target = {0};
    strcpy(search_target.name, search_key);

    // 3. 调用bsearch时传入正确的查找键、真实有效长度
    return bsearch(&search_target, p_array, valid_count, sizeof(Product), cmp);
}

补充main函数的空结果分支 #

按照你的预期输出，需要在查找逻辑中补充未找到的提示，避免遗漏边界场景：

const Product* search = findProduct(array, "cookies", compareAlpha);
if(search)
{
    printf("Found product:\n");
    printf("%s\n", search->name);
}
else
{
    printf("Product not found!\n");
}

关键注意点 #

• 调用bsearch前必须保证数组已经按相同的比较规则排好序，否则查找结果会随机出错。
• 如果后续需要支持不同的结束规则（比如不使用哨兵、通过参数显式传入长度），只需要修改findProduct内部的长度统计逻辑即可，不需要改动上层调用代码。

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