0

Estou estudando a linguagem C, especificamente sobre ponteiros que apontam para função.

Vamos tomar como exemplo o código abaixo:

int exibir_valor(int entrada){
    printf("Valor passado para função: %d\n", entrada);
    return 0;
}
    
a = exibir_valor(5); //Valor passado para função: 5
printf("Valor do retorno da função: %d\n", a); //Valor do retorno da função: 0

Tudo certo. Agora eu quero criar um ponteiro que aponta para o endereço de valor exibir_valor e execute a função a partir desse ponteiro. Dessa forma, fiz o seguinte:

a = 99;

int (*ptr) (int valor);

ptr = &exibir_valor;

a = (*ptr)(10); //Valor passado para função: 10
printf("Valor de a: %d\n", a); // Valor do retorno da função: 0

Ok, a lógica funcionou. Agora a minha grande dúvida é quando é utilizado o void como o tipo do ponteiro que aponta para a função (vejo muitos exemplos com essa aplicação).

Exemplo:

// funciona
void (*ptr) (int valor);
ptr = &exibir_valor;
(*ptr)(20); //Valor passado para função: 20
// não funciona
void (*ptr) (int valor);
ptr = &exibir_valor;
a = (*ptr)(20);
// error: void value not ignored as it ought to be

Nesse caso, utilizando o void como tipo do ponteiro é possível pegar o retorno da função fazendo um cast de void para int?

7
  • 3
    Existe uma diferença entre void (que quer dizer que a função não retorna nada) e void * (um ponteiro void é tipo um "coringa", ou seja, é um ponteiro genérico, pois pode apontar para "qualquer coisa"). No caso, void (*ptr) (int valor); indica que ptr é um ponteiro para uma função que recebe um int e não retorna nada (já que o retorno é void). Sendo assim, é esperado que ela não retorne nada (mesmo que retorne de fato, mas é porque vc forçou que ptr aponte para uma função incompatível), daí o erro. Talvez sua intenção fosse usar void * então? Neste caso, qual a motivação?
    – hkotsubo
    Commented 18/07 às 16:33
  • 2
    Pergunto porque existem situações em que faz sentido usar um ponteiro void (exemplos: 1, 2), mas não parece ser o caso aqui. Sua função, aliás, nem usa ponteiros, então faz menos sentido ainda tentar forçar o uso de void *.
    – hkotsubo
    Commented 18/07 às 16:33
  • @hkotsubo Cara, é isso mesmo, deveria ter usado o void*. Essa função que coloquei aqui é só um exemplo. Nos meus estudo eu estou assistindo alguns vídeos e vendo o código de algumas libs, e vejo o pessoal utilizando com frequência esse conceito de "retorno coringa" (e também parâmetro de uma função como void* para deixar a função genérica). Era isso que eu queria reproduzir mas estava deixando escapar esse detalhe.
    – juliusczm
    Commented 18/07 às 16:42
  • O uso de void * para apontar para uma função NÃO É válido. void * só pode ser usado para "objectos" e uma função não é um objecto. Os exemplos que viste na internet estão errados.
    – pmg
    Commented 18/07 às 17:19
  • 2
    Nao precisas do & para obter o endereco duma funcao. Quando usas o identificador sem parenteses o que o C usa passa a ser automaticamente o endereco: ptr = funcao; // o mesmo que ptr = &funcao. Da mesma forma nao precisas de "desreferenciar" o ponteiro para chamar uma funcao: a = ptr(5); // o mesmo que a = (*ptr)(5);
    – pmg
    Commented 18/07 às 17:22

1 Resposta 1

0

Os teus dois exemplos teem erro

No primeiro exemplo queres que ptr (de tipo void (*)(int)) passa a ter o endereço da função exibir_valor (de tipo int (*)(int))

void (*ptr) (int valor);
ptr = &exibir_valor; // ERRO: tipos nao compativeis
(*ptr)(20);

No segundo exemplo, alem do erro anterior e supondo que o compilador deixa passar esse erro, como nesta altura já esta o erro consolidado

void (*ptr) (int valor);
ptr = &exibir_valor; // ERRO, assumimos que "passa"
a = (*ptr)(20); // entao (*ptr)(20) tem tipo `void` e não podes assignar "void" a uma variável

Em resumo

  • nao confundas void com void*
  • certifica-te que os tipos das expressoes são compativeis (e liga os warnings do teu compilador)
  • so porque funciona no teu compilador não quer dizer que esteja correcto
  • so porque viste algures na internet não quer dizer que esteja correcto
  • void* é apontador para qualquer coisa, desde que qualquer coisa seja um objecto

Você deve fazer log-in para responder a esta pergunta.

Esta não é a resposta que você está procurando? Pesquise outras perguntas com a tag .