Nao 'e recomendavel fazer o cast ao resultado do malloc()
para o compilador indicar o erro da falta do #include <stdlib.h>
.
Como o compilador nao tem informacoes sobre o tipo de resultado do malloc()
ele parte do principio que essa funcao devolve um valor do tipo int
. Depois
v = (int *) malloc(sizeof(int));
a conversao explícita converte esse int
(nesta altura ja invocaste UB, pois estas a tratar o valor devolvido como se fosse um tipo diferente que ele efectivamente é) num int *
. Nota que esta conversao nao é valida, mas como foi um pedido explicito do programador o compilador nao se queixa. Finalmente o novo valor (invalido) de tipo int *
é atribuido a variavel.
Sem a conversao explicita, o compilador queixar-se-ia da conversao automatica entre int
(o tipo de valor que ele assume que a funcao malloc()
devolve) e int *
--- o que levaria o programador (experiente) a adicionar o header correcto.
Mais notas
Sem #include <stdlib.h>
int *v, *x, *z;
v = (int *)malloc(sizeof (int)); /* 1a */
z = (int)malloc(sizeof (int)); /* 2a */
x = malloc(sizeof (int)); /* 3a */
Com #include <stdlib.h>
#include <stdlib.h>
/* ... */
int *v, *x, *z;
v = (int *)malloc(sizeof (int)); /* 1b */
z = (int)malloc(sizeof (int)); /* 2b */
x = malloc(sizeof (int)); /* 3b */
1a -- ERRO
O malloc()
devolve um valor de tipo int *
que é assumido como int
devido à ausência do protótipo correcto. Alem disso, a conversão explícita deste int
para int *
não é válida, mas como foi um pedido explícito do programador, o compilador não se queixa.
1b -- Redundância
Como o malloc()
devolve um valor de tipo void *
, este valor seria automaticamente convertido para int *
durante a atribuição a v
(ponteiros para void
são compatíveis com ponteiros para qualquer tipo). A redundância não é um erro, mas é desnecessária. Ninguém escreve return ((((42)))); /* parenteses redundantes */
2a -- Erro e redundância
No primeiro caso temos um valor de tipo void*
devolvido pelo malloc()
interpretado como int
por causa da ausencia do header correcto. Depois disso temos a redundancia de pedir a conversao de int
em int
. A seguir, a atribuicao dum valor de tipo int
a variavel de tipo int *
esta errada, mas o compilador tem de se queixar. Nota que neste caso o erro nao tem nada a ver com o uso que se faz de malloc()
ou da conversao do resultado. A atribuicao dum int
a um int *
esta errada.
2b -- ERRO
Tal como em 2a, o erro nao tem a ver com o uso de malloc()
ou a conversao do valor devolvido.
3a -- Erro que o compilador se queixa e facilmente se corrige
Quando o compilador se queixa da atribuicao dum valor de tipo int
a uma variavel de tipo int *
(o gcc tem um texto que induz em erro para este erro espicifico), o programador repara que lhe faltou a inclusao do header <stdlib.h>
.
3b -- OK
Maneira correcta de usar malloc()
.
Mais um tip (para evitar problemas futuros se o tipo de variavel mudar, por exemplo, de int capacidade
para double capacidade
)
int *capacidade;
/* ... */
capacidade = malloc(200 * sizeof (int));
/* ... */
free(capacidade);
A certa altura altura alguem se lembra que vai ser necessario ter, por exemplo, 3.14159 de capacidade e decide-se mudar o tipo para double
. Nestas condicoes vai ser necessario alterar o codigo em 2 locais: na definicao e na alocacao.
Usando o objecto propriamente dito na alocacao, apenas se muda na definicao
double *capacidade;
/* ... */
capacidade = malloc(200 * sizeof *capacidade); // usa o tipo do objecto
/* ... */
free(capacidade);