c - C中的bsearch()在新的gcc版本7.4.0中给出了段错误

我在C中有一个旧程序，该程序将C库中的bsearch()函数与strcmp()一起使用。在旧版gcc版本4.4.7中，它可以正常运行。但是在最新的Ubuntu 18.04和gcc版本7.4.0中，它给出了分段错误。代码如下：

#include <stdio.h>
#include <ctype.h>
#include <string.h>
#include <search.h>

#define MAX_CHR_IN_STR 50
#define MAX_CHR_IN_DEMO_STR 86
#define GENDER 4
#define NUMBER 4
#define PERSON 4
#define TOTAL_ENTRY 2
#define MEDIUM 50

struct mytam_gnpstr {
    char mytam[MAX_CHR_IN_STR];
    char mytam_lbl[MAX_CHR_IN_STR];
    char gnp_str[MAX_CHR_IN_DEMO_STR];
    char gen_pos[GENDER];
    char num_pos[NUMBER];
    char per_pos[PERSON];
};

struct mytam_gnpstr mytam_gnpstr_array[TOTAL_ENTRY] = {
    "0", "0", "0[-,s,m]", "0", "s", "m",
    "0_0_kara", "0_0_kara", "02[-,-,-]kara_0[-,-,-]", "0", "0", "0",
};

int main(void) {
    char *rtamexample;
    char TAM[MEDIUM] = "wA";
    fprintf(stderr, "TAM :::::::: %s\n", TAM);
    fprintf(stderr, "mytam_gnpstr_array[0].mytam :::::::: %s\n",
            mytam_gnpstr_array[0].mytam);
    fprintf(stderr, "TOTAL_ENTRY :::::::: %d\n", TOTAL_ENTRY);
    fprintf(stderr, "sizeof(mytam_gnpstr_array[0]) :::::::: %zu\n",
            sizeof(mytam_gnpstr_array[0]));

    rtamexample = (char *)bsearch(TAM, mytam_gnpstr_array[0].mytam, TOTAL_ENTRY,
                                  (sizeof(mytam_gnpstr_array[0])), strcmp);
    fprintf(stderr, "bsearch :::::::: %s\n", rtamexample);
}

它在旧版gcc版本4.7.7中给出了bsearch()输出"wA"
但是它在gcc7.4.0中给出了分段错误。
任何帮助解决此问题的方法将不胜感激。

最佳答案

旧代码已损坏。显然是凭空产生了答案。数据值wA不会出现在要搜索的数组中的任何位置，因此除NULL指针外的任何答案都是虚假的。如果所显示的代码在旧系统上编译时产生wA作为答案，则IMNSHO显然会损坏该代码。

这是符合要求的代码。它包含<stdlib.h>，因为这是声明bsearch()的位置。它不包含<search.h>，因为它不声明代码使用的任何内容。同上<ctype.h>。它告诉bsearch()有关正在搜索的结构数组，而不是将指针传递到数组的第一个元素的第一个成员的开头。问题代码中传递的比较器函数为strcmp()；它的原型与bsearch()期望的函数指针类型不匹配，因此您在那里会正式获得未定义的行为。此代码中的比较器功能正常运行，并且期望获得一对指向结构类型的指针，并由const void *转换为bsearch()。第一个指针将是要搜索的键；第二个将是要搜索的数组中的一行。

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#define MAX_CHR_IN_STR 50
#define MAX_CHR_IN_DEMO_STR 86
#define GENDER 4
#define NUMBER 4
#define PERSON 4
#define MEDIUM 50

struct mytam_gnpstr
{
    char mytam[MAX_CHR_IN_STR];
    char mytam_lbl[MAX_CHR_IN_STR];
    char gnp_str[MAX_CHR_IN_DEMO_STR];
    char gen_pos[GENDER];
    char num_pos[NUMBER];
    char per_pos[PERSON];
};

struct mytam_gnpstr mytam_gnpstr_array[] =
{
    { "0", "0", "0[-,s,m]", "0", "s", "m", },
    { "0_0_kara", "0_0_kara", "02[-,-,-]kara_0[-,-,-]", "0", "0", "0", },
    { "wA", "Match", "Match", "0", "123", "ZZZ" },
    { "zB", "Unmatch", "Unmatch", "0", "123", "ZZZ" },
};

enum { TOTAL_ENTRY = sizeof(mytam_gnpstr_array) / sizeof(mytam_gnpstr_array[0]) };

static int comparator(const void *v1, const void *v2)
{
    const struct mytam_gnpstr *p1 = v1;
    const struct mytam_gnpstr *p2 = v2;
    return strcmp(p1->mytam, p2->mytam);
}

int main(void)
{
    struct mytam_gnpstr key = { .mytam = "wA" };

    fprintf(stderr, "TAM :::::::: %s\n", key.mytam);
    fprintf(stderr, "mytam_gnpstr_array[0].mytam :::::::: %s\n", mytam_gnpstr_array[0].mytam);
    fprintf(stderr, "TOTAL_ENTRY :::::::: %d\n", TOTAL_ENTRY);
    fprintf(stderr, "sizeof(mytam_gnpstr_array[0]) :::::::: %zu\n", sizeof(mytam_gnpstr_array[0]));

    struct mytam_gnpstr *res = bsearch(&key, mytam_gnpstr_array, TOTAL_ENTRY,
                                    sizeof(mytam_gnpstr_array[0]), comparator);

    if (res == 0)
        fprintf(stderr, "Did not find entry matching\n");
    else
        fprintf(stderr, "bsearch :::::::: %s ('%s', '%s')\n",
                res->mytam, res->mytam_lbl, res->gnp_str);

    return 0;
}

如图所示编译时，将产生输出：

TAM :::::::: wA
mytam_gnpstr_array[0].mytam :::::::: 0
TOTAL_ENTRY :::::::: 4
sizeof(mytam_gnpstr_array[0]) :::::::: 198
bsearch :::::::: wA ('Match', 'Match')

当带有wA的条目被注释掉时，将产生输出：

TAM :::::::: wA
mytam_gnpstr_array[0].mytam :::::::: 0
TOTAL_ENTRY :::::::: 3
sizeof(mytam_gnpstr_array[0]) :::::::: 198
Did not find entry matching

此行为是正确的。

使用问题中的数据（两行，数组中任何地方的wA都不行），您将永远不会从bsearch()的有效调用中获得NULL以外的任何东西。期待其他任何事情都是徒劳的。

JFTR：在带有GCC 9.2.0和Xcode 11.3.1的macOS Mojave 10.14.6（不要问为什么它不是Catalina）上编译。我希望在Ubuntu 18.04 LTS或任何可使用C99的系统上获得相同的结果。实际上，它也应与C90相同。

$ gcc -O3 -g -std=c11 -Wall -Wextra -Werror -Wmissing-prototypes -Wstrict-prototypes \
>     bs47.c -o bs47
$

关于c - C中的bsearch()在新的gcc版本7.4.0中给出了段错误，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/60173937/