类型转换函数参数

2019年8月6日 273次阅读

我一直在玩C中的类型转换.特别是,我一直(跟随K& R)尝试实现一个程序,它将采用“一般”类型的输入(具体来说,K& R实现了一个qsort,它排序指向通用数据的指针数组.这样做,我遇到了以下问题：

#include <stdio.h>

int comp(int *a, int *b); //*a == *b

main()
{
    int a = 2;
    int b = 3;
    int *pa = &a;
    int *pb = &b;

    int (*pfunc)(void *, void *) = (int (*)(void *, void *)) comp;
    int fin = (*pfunc)((void *)pa, (void *)pb);

    printf("%d \n", fin);
}

这符合正常,并做你可能期望它做的事情.问题是这个：

#include <stdio.h>

main()
{
    int a = 2;
    int b = 3;
    int *pa = &a;
    int *pb = &b;

    void *pVoid_a = (void *) pa;
    void *pVoid_b = (void *) pb;

    int fin_Void = (*pVoid_a == *pVoid_b);
}

不起作用.

为什么这是一个问题：据我所知,在类型转换中

int (*pfunc)(void *, void *) = (int (*)(void *, void *)) comp;

指针“comp”的副本,除了该副本指向的函数接受参数“void *”而不是“int *”,并被赋值给变量“pfunc”.否则,pfunc和comp的行为方式相同. (我想我在这里肯定是错的,但我不确定为什么)

当在第一个程序中,(void *)pa和(void *)pb被传递给pfunc时,我希望可以制作两个pa和pb的副本,除了这些副本现在是类型(void *)和分配给不同的名字.这些副本通过pcomp发送,返回的​​值打印等.

我试图在第二个程序中重新创建这个过程,除了它不起作用！出于某种原因,在pVoid_a和pVoid_b传递给pfunc之后的第一个程序中,它们最终在函数体中表现得像“int *”,即使看起来它们没有任何理由.为什么pVoid_a和pVoid_b在第一个程序中恢复它们的“int”行为,而不是在第二个程序中？

最佳答案 您在第一个程序中观察到的行为是因为任何类型为void *的变量都会隐式转换为任何其他指针类型.在第二个程序中,您需要明确说明要将pVoid_a和pVoid_b转换为哪个指针类型,否则您将取消引用void *,这是没有意义的.修复：

int fin_Void = (*(int*)pVoid_a == *(int*)pVoid_b);
点赞