O operador & extrai o endereço de memória de uma determinada variável, que pode ser usado para uma grande variedade de coisas.
Exemplos:
Suponhamos que você queira criar uma função que adicione um inteiro x a uma variável inteiro y. O que muitos leigos e iniciantes fariam seria:
#include <stdio.h>
void adicionar( int x, int y){
y += x;
}
int main(){
int a = 5, b = 2;
printf("Valor inicial de b: %i\n", b);
adicionar(a, b);
printf("Valor final de b: %i", b);
return 0;
}
Output:
Valor inicial de b: 2
Valor final de b: 2
Ué, mas não pedimos à função adicionar
que modifica-se o valor da variável b?
Infelizmente não é assim que as coisas funcionam: Quando passamos b à função adicionar
, passamos uma cópia de b para a função. Por que isso acontece? Porque a função pediu o valor contido em b, e não seu endereço na memória. Dessa maneira, é impossível modificar a variável b original.
Podemos pensar nessa situação da seguinte maneira: Na função adicionar
:
void adicionar( int x, int y){
int x = x;
int y = y;
}
Ou seja, quando uma função requisita um valor
de uma variável, é como se internamente ele recriasse as variáveis que passamos, só que em um escopo próprio. Dessa maneira, as variáveis que passamos como argumento são desprezadas, e as variáveis do escopo da função são utilizadas.
Para resolver esse problema infortuno, uma alternativa seria modificar a função adicionar da seguinte maneira:
void adicionar( int x, int *y){
*y += x;
}
Aqui, pedimos um ponteiro para inteiro y. Isso quer basicamente dizer que estamos requisitando um endereço de memória de uma variável, ou seja, um local na memória que modificaremos dentro da função. O trecho de código *y += x
basicamente faz a desreferência do ponteiro y, e adiciona a essa desreferência o valor x. Para facilitar a compreensão, poderíamos escrever o seguinte pseudo-código de função:
void adicionar( cópia de inteiro x, ponteiro para inteiro y){
Desreferencie, ou seja, obtenha o endereço de memória para o qual y aponta.
Em seguida, some a cópia do valor de x ao ponteiro recentemente desreferenciado.
}
Nesse caso, podemos fazer o seguinte em nossa função main()
:
int main(){
int a = 5, b = 2;
printf("Valor inicial de b: %i\n", b);
adicionar( a, &b);
printf("Valor final de b: %i\n", b);
return 0;
}
Output:
Valor inicial de b: 2
Valor final de b: 7
Mas o que é esse tal &
que inserimos antes de b ao chamar a função adicionar? O que ele faz? Muito simples: Ele passa um ponteiro para um endereço de memória! É como se estivéssemos implicitamente iniciando o parâmetro y do protótipo de nossa função com o endereço de b! Desta maneira, quando desreferenciamos y dentro da função adicionar
, estamos fazendo com que o endereço de b, para o qual y está apontando, tenha seu valor modificado!
Portanto, conclui-se que &
é um operador que nos permite acessar e modificar um endereço de memória de uma variável.
Poderíamos também modificar o conteúdo de b sem o uso de funções utilizando a indireção de ponteiros acoplada ao uso do operador &
. Por exemplo:
#include <stdio.h>
int main(){
int a = 5, b = 2, *c = NULL;
c = &b; //c agora aponta para o endereço de b, obtido com o operador &.
*c += a; //O valor contido no endereço para qual c aponta (b) é igual a ele mesmo mais a.
printf("O valor de b é: %i", b);
return 0;
}
Output:
O valor de b é: 7
Um outro uso de &
, menos conhecido por iniciantes, é para a realização da operação lógica AND. Por exemplo:
if((24 & 50) > 30){
puts("(24 & 50) é maior que 30.");
}
else{
puts("(24 & 50) é igual ou menor que 30.");
}
Sabendo-se que &
representa, nesse caso, a operação lógica AND, obtém-se:
0 0 0 1 1 0 0 0
0 0 1 1 0 0 1 0
____________________________________
0 0 0 1 0 0 0 0
Como o resultado obtido é 16 na base decimal, o output dessa estrutura condicional é:
(24 & 50) é igual ou menor que 30.