c++ - 当我使用函数指针变量消失

Question

好吧，我在业余时间尝试构建一些函数库来取乐，并且我正在自学函数指针。我尝试制作一个 binary_search 函数，该函数在项目数组中查找最旧的项目。我知道该算法有效，我就是无法克服这个错误。出于某种原因，当我的代码进入函数指针时，它停止执行并死掉了....我做了一些测试，当我的代码进入 strvoidcmp 时，两个 void * s 我喂它是空的...

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

#include "algorithms.h"

void generate_array(char (*partial_list)[10]){
    size_t j = 0, i = 0;
    for(j = 0; j < 20; j++){
        for(i = 0; i < 10; i++){  
            partial_list[i][j] = 0;
        }
    }


    for(i = 0; i < 11; i++){
        memcpy(partial_list[i], "is there", 9);
    } 
    for(i = 0; i < 9; i++){
        memcpy(partial_list[i], "not there", 10);
    }
}

void LMERROR(char *msg){
    fprintf(stderr, msg);
    fflush(stderr);
}

int binary_search_top(void **list, const int size, void *value, int (*compare)(void *, void *)){
    size_t hi = 0;
    size_t lo = 0;
    size_t mid = 0;
    size_t found = 0;

    if(list == NULL){
        LMERROR("NULL found in function binary_search");
        return -1;
    }

    hi = size;
    printf("test: %s\n", (char *)value);
    while(lo < hi){
        mid = ceil((hi - lo) / 2 + lo);
            printf("test: %d\n", mid);
        if(compare(list[mid], value)){
            hi = mid - 1;
                printf("test1\n");
        }else{
            lo = mid;
            found = mid;
            printf("test2\n");
        }
    }
    printf("exiting");
    return found;
}

int strvoidcmp(void *p1, void *p2){
    printf("testing: %s, %s\n", (char *)p1, (char *)p2);
    return strcmp((char *)p1, (char *)p2);
}

int main(){
    int (*compare)(void *, void *);

    char partial_list[20][10];
    const size_t length = 20;
    char value[] = "is there";
    int ret = 0;
    compare = strvoidcmp;
    printf("test: %d\n", ret);
    generate_array(partial_list);
    printf("test: %d\n", ret);
    ret = binary_search_top((void **)partial_list, length, value, compare);
    printf("test: %d\n", ret);
    return 0;
}

Answer 1

您的问题是 partial_list 不是指针数组。 binary_search_top() 因此得到一个不符合预期的参数。

要验证您的 binary_search_top() 是否按照您实现它的方式工作，请将其传递给 binary_search_top() 可以实际使用的内容。

void *partial_list_pointers[20];

for (i = 0; i < length; ++i) {
    partial_list_pointers[i] = partial_list[i];
}
ret = binary_search_top(partial_list_pointers, length, value, compare);

除了少数异常(exception)，当在表达式中使用时，BLAH 数组的名称将衰减为指向 BLAH 的指针，其值是其第一个元素的地址。对于 partial_list，由于它是一个数组 20 和数组 10 的 char，它会衰减到指向数组 10 的 char 的指针。这显然不是指向指针的指针。

partial_list_pointers 通过作为 void 指针的数组 20 来解决这个问题。这将衰减为指向 void 指针的指针，这正是 binary_search_top() 在其第一个参数中想要的。