Por que anular o valor de retorno do free?

Estou lendo um livro ( Programming with POSIX Threads by Butenhof, 1997) que usa C e me deparei com a seguinte linha:

(void)free(data);

Aqui, dataé apenas um ponteiro para uma estrutura alocada,

data = malloc(sizeof(my_struct_t));

Por que o resultado de freeser lançado para void?

Do meu entendimento de C, isso não parece fazer sentido por dois motivos:

• A função livre já retorna void
• O código não está usando o valor de retorno (nem está sendo atribuído a uma variável)

O livro foi escrito em 1997. Isso é algum tipo de coisa legada?

O autor menciona que os exemplos foram executados no Digital Unix 4.0d, mas ainda não consigo imaginar uma razão para lançar o resultado de uma função se você não for usar esse resultado.

Se estamos falando sobre o padrão free função , seu protótipo é

void free(void *ptr);

Portanto, o elenco é completamente inútil.
Agora, algumas especulações.

O autor pode ter esquecido de incluir o stdlib.hcabeçalho que declara esse protótipo; portanto, o compilador está assumindo o tipo de retorno como int. Agora, durante a análise estática desse código, o compilador estava alertando sobre o valor de retorno não utilizado do que ele considera uma não- voidfunção. Esses avisos geralmente são silenciados ao adicionar o elenco a void.

Seria uma coisa legada!

Antes de haver um padrão C, a free()função seria (implicitamente) do tipo int- porque ainda não havia um tipo confiávelvoid para ele retornar. Não houve valor retornado.

Quando o código foi modificado pela primeira vez para funcionar com compiladores C padrão, provavelmente não foi incluído <stdlib.h>(porque não existia antes do padrão). Código antigo escreveria extern char *malloc();(talvez sem oextern ) para as funções de alocação (da mesma forma para calloc()e realloc()), e não precisaria declararfree() . E o código então converteria o valor de retorno no tipo correto - porque isso era necessário em pelo menos alguns sistemas (incluindo o que aprendi C).

Algum tempo depois, o (void)elenco foi adicionado para informar ao compilador (ou, mais provavelmente lint) que "o valor de retorno free()é deliberadamente ignorado" para evitar uma reclamação. Mas seria melhor adicionar <stdlib.h>e deixar sua declaração extern void free(void *vp);informar lintou ao compilador que não havia valor a ignorar.

JFTR: Em meados dos anos 80, o ICL Perq estava originalmente em uma arquitetura orientada a palavras e o char *endereço de um local de memória era um número muito diferente do 'qualquer ponteiro de qualquer outra coisa' para o mesmo local. Era crucial declarar de char *malloc()alguma forma; era crucial converter o resultado para qualquer outro tipo de ponteiro. O elenco realmente mudou o número usado pela CPU. (Também houve muita alegria quando a memória principal em nossos sistemas foi atualizada de 1 MiB para 2 MiB - desde que o kernel usava cerca de 3/4 MiB, isso significava que os programas do usuário podiam usar 1 1/4 MiB antes da paginação etc.)

Este elenco não é necessário. Provavelmente não teria sido na época, pois C havia sido padronizado na forma de C89.

Se tivesse sido, teria sido devido a declaração implícita . Isso geralmente significava que a pessoa que estava escrevendo o código esqueceu #include <stdlib.h>e estava sendo usado um analisador estático. Esta não é a melhor solução alternativa e uma idéia muito melhor teria sido apenas em #include <stdlib.h>vez disso. Aqui estão algumas palavras do C89 sobre declaração implícita:

Se a expressão que precede a lista de argumentos entre parênteses em uma chamada de função consistir apenas em um identificador, e se nenhuma declaração for visível para esse identificador, o identificador será implicitamente declarado exatamente como se, no bloco mais interno que contém a chamada de função, a declaração

extern int identifier();

apareceu.

Mas isso é estranho, porque eles não estão lançando o resultado de mallocnenhum deles malloce freeestão no mesmo arquivo de cabeçalho.

Também é possível que isso seja apenas um erro ou alguma maneira de dizer ao leitor que freenão retorna nenhum resultado.