DEV Community

Cover image for Value Types vs Reference Types no C#
Mr Punk da Silva
Mr Punk da Silva

Posted on • Edited on

Value Types vs Reference Types no C#

#braziliandevs #csharp #programming #learning

Stack vs. Heap

Todo programa .NET utiliza duas áreas de memória fundamentais para sua execução: a Stack (Pilha) e a Heap (Monte). Compreender como elas funcionam e o que é armazenado em cada uma é crucial para escrever código eficiente e prever seu comportamento, especialmente no que diz respeito a performance e ciclo de vida das variáveis.

A Stack (Pilha)

A Stack é uma estrutura de dados do tipo LIFO (Last-In, First-Out), ou seja, o último item a entrar é o primeiro a sair. É uma área de memória extremamente rápida e eficiente, usada para gerenciar o fluxo de execução do programa.

O que é armazenado na Stack?

  1. Tipos de Valor (Value Types): Variáveis locais de tipos como int, double, bool, char, e structs são armazenadas diretamente na Stack.
  2. Parâmetros de Métodos: Os valores passados como argumentos para um método são colocados na Stack.
  3. Referências a Objetos: Quando você cria um objeto (um tipo de referência), o objeto em si vai para a Heap, mas a variável que aponta para ele (a referência/ponteiro) é armazenada na Stack.
  4. Controle de Execução: A Stack gerencia qual método está em execução no momento. Cada chamada de método cria um "quadro" (stack frame) que contém suas variáveis locais e parâmetros. Quando o método termina, seu quadro é removido da pilha.

Características Principais:

  • Velocidade: Alocação e desalocação são instantâneas (apenas o ponteiro da Stack é movido).
  • Tamanho Fixo: A memória para um quadro de pilha é alocada no início da chamada do método.
  • Gerenciamento Automático: A memória é liberada automaticamente quando a variável sai de escopo (o método termina). O Garbage Collector não atua na Stack.
  • Limitação de Tamanho: A Stack tem um tamanho limitado. Chamadas recursivas infinitas podem causar um StackOverflowException.

Diagrama da Stack 

// Código void MetodoA() { int x = 10; MetodoB(); } void MetodoB() { bool y = true; }
Enter fullscreen mode Exit fullscreen mode 
 STACK (Durante a execução de MetodoB) +--------------------+ | Frame do MetodoB: | <-- Topo da Stack | y = true | +--------------------+ | Frame do MetodoA: | | x = 10 | +--------------------+ | ... (outros frames) ... +--------------------+
Enter fullscreen mode Exit fullscreen mode

A Heap (Monte)

A Heap é uma área de memória maior e mais flexível, usada para alocação dinâmica. É aqui que os objetos (instâncias de classes) residem.

O que é armazenado na Heap?

  1. Instâncias de Tipos de Referência (Reference Types): Qualquer objeto criado com a palavra-chave new (como instâncias de class, arrays, string, delegates) é alocado na Heap.

Características Principais:

  • Alocação Dinâmica: Objetos podem ser alocados e desalocados em qualquer ordem.
  • Velocidade: A alocação na Heap é mais lenta que na Stack, pois o sistema precisa encontrar um bloco de memória livre que seja grande o suficiente.
  • Gerenciamento pelo Garbage Collector (GC): A memória na Heap não é liberada automaticamente. O GC é um processo que roda em segundo plano, identifica objetos na Heap que não são mais referenciados por nenhuma variável na Stack e libera o espaço que eles ocupavam.
  • Tamanho Maior: A Heap é muito maior que a Stack, limitada apenas pela memória virtual disponível no sistema.

Exemplo Combinado: Stack e Heap em Ação

Vamos analisar um exemplo que usa ambos os tipos e visualizar a memória.

public class Estudante // Reference Type { public int Matricula { get; set; } } public void Executar() { int idade = 25; // Value Type Estudante aluno = new Estudante(); // Reference Type aluno.Matricula = 101; }
Enter fullscreen mode Exit fullscreen mode

Diagrama da Memória Durante a Execução 

 STACK HEAP +-------------------------+ +----------------------------+ | Frame do método Executar: | | | | idade = 25 | // Objeto alocado na Heap | | | aluno (ref: 0xA1B2) |--------->+ Objeto Estudante (0xA1B2) | | | | - Matricula: 101 | +-------------------------+ +----------------------------+ | ... (outros frames) ... | +-------------------------+
Enter fullscreen mode Exit fullscreen mode

Análise:

  1. A variável idade (tipo int) é um tipo de valor, então seu dado (25) é armazenado diretamente na Stack.
  2. A variável aluno é uma referência. Ela também fica na Stack, mas seu valor não é o objeto em si, e sim o endereço (0xA1B2) onde o objeto Estudante foi alocado na Heap.
  3. O objeto Estudante real, com seu campo Matricula, reside na Heap.

Tabela Comparativa

Característica Stack (Pilha) Heap (Monte)
Velocidade Muito Rápida Mais Lenta
Gerenciamento Automático (LIFO) Garbage Collector (GC)
Armazena Tipos de Valor, Referências Instâncias de Tipos de Referência
Ciclo de Vida Curto (limitado ao escopo do método) Longo (até não ser mais referenciado)
Tamanho Pequeno e Fixo (por thread) Grande e Dinâmico

Tipos de Valor (Value Types)

No C#, todo tipo é classificado como um tipo de valor ou um tipo de referência. Entender a diferença é fundamental para prever o comportamento do seu código e gerenciar a memória de forma eficiente.

Tipos de valor são aqueles cujas variáveis contêm diretamente o seu dado. A variável e o valor são uma coisa só.

Como Funciona a Memória?

Tipos de valor são, na maioria das vezes, armazenados em uma área da memória chamada Stack (Pilha). A Stack é uma estrutura de dados altamente eficiente, do tipo LIFO (Last-In, First-Out), que gerencia a memória de forma muito rápida. Quando uma variável de tipo de valor é declarada dentro de um método, um espaço é alocado na Stack para armazenar seu valor.

Diagrama: Variável na Stack

Imagine a Stack como uma pilha de caixas. Cada vez que você declara uma variável, uma nova caixa é colocada no topo, contendo o valor.

 STACK +------------------+ | | <-- Topo da Stack +------------------+ | idade = 30 | +------------------+ | saldo = 150.75 | +------------------+ | ...outras vars...| +------------------+
Enter fullscreen mode Exit fullscreen mode

Comportamento na Atribuição

Esta é a característica mais importante dos tipos de valor. Quando você atribui uma variável de tipo de valor a outra, o valor é copiado. O resultado são duas variáveis completamente independentes, cada uma com sua própria cópia do dado.

Exemplo de Código 

// 1. 'a' é criado na Stack com o valor 10. int a = 10; // 2. O valor de 'a' é COPIADO para a nova variável 'b'. int b = a; Console.WriteLine($"a: {a}, b: {b}"); // Saída: a: 10, b: 10 // 3. Modificamos apenas 'b'. b = 20; // 4. A variável 'a' permanece inalterada, pois elas são independentes. Console.WriteLine($"Após a mudança, a: {a}, b: {b}"); // Saída: a: 10, b: 20
Enter fullscreen mode Exit fullscreen mode

Diagrama: Cópia de Valor

Após a atribuição int b = a;, a Stack fica assim:

 STACK +------------------+ | | <-- Topo da Stack +------------------+ | b = 10 | (Cópia independente) +------------------+ | a = 10 | +------------------+ | ...outras vars...| +------------------+
Enter fullscreen mode Exit fullscreen mode

Quando b é alterado para 20, apenas a sua "caixa" na Stack é afetada.

O Garbage Collector e a Stack

O Garbage Collector (Coletor de Lixo) do .NET é responsável por limpar a memória na Heap, mas ele não gerencia a Stack. A memória da Stack é liberada automaticamente quando uma variável sai de escopo (por exemplo, quando o método onde ela foi declarada termina sua execução). Esse gerenciamento automático é o que torna a alocação e desalocação na Stack extremamente rápidas.

Exemplos de Tipos de Valor

  • Tipos numéricos primitivos: int, double, float, decimal, long, byte, etc.
  • bool: O tipo booleano true/false.
  • char: Um único caractere Unicode.
  • struct: Estruturas definidas pelo usuário. São a forma de criar seus próprios tipos de valor complexos.
  • enum: Enumerações, que representam um conjunto de constantes nomeadas.

Tipos de Referência (Reference Types)

Tipos de referência são um dos dois pilares fundamentais do sistema de tipos do C#. Diferente dos tipos de valor, uma variável de tipo de referência não armazena o dado diretamente. Em vez disso, ela armazena um endereço de memória (uma referência ou ponteiro) que aponta para o local onde o objeto real está armazenado. Esse local é uma área da memória chamada Heap.

Como Funciona a Memória?

A gestão da memória para tipos de referência envolve duas áreas:

  1. Stack: A variável em si é criada na Stack. Ela é leve e contém apenas o endereço de memória do objeto.
  2. Heap: O objeto real, com todos os seus dados, é alocado na Heap. A Heap é uma área de memória maior e mais flexível, gerenciada por um processo chamado Garbage Collector (Coletor de Lixo).

Diagrama: Variável e Objeto na Memória

Quando você cria um objeto, a variável na Stack aponta para o objeto na Heap.

 STACK HEAP +------------------+ +-------------------------+ | | | | | minhaConta |----->| Objeto Conta | | (Endereço: 0x2A) | | (Endereço: 0x2A) | | | | - Saldo: 1000 | +------------------+ | - Titular: "Ana" | | | | | +------------------+ +-------------------------+
Enter fullscreen mode Exit fullscreen mode

Comportamento na Atribuição

Esta é a diferença mais crucial. Quando você atribui uma variável de referência a outra, você não está copiando o objeto, mas sim copiando o endereço de memória.

O resultado é que ambas as variáveis passam a apontar para o mesmo objeto na Heap. Qualquer modificação feita através de uma variável será visível através da outra.

Exemplo de Código 

// Vamos supor que temos uma classe simples public class ContaBancaria { public decimal Saldo { get; set; } } // 1. Criamos uma instância. 'contaA' aponta para um novo objeto. var contaA = new ContaBancaria { Saldo = 1000 }; // 2. Copiamos a referência. Agora 'contaB' aponta para o MESMO objeto que 'contaA'. var contaB = contaA; Console.WriteLine($"Saldo (contaA): {contaA.Saldo}"); // Saída: 1000 Console.WriteLine($"Saldo (contaB): {contaB.Saldo}"); // Saída: 1000 // 3. Modificamos o objeto usando 'contaB'. contaB.Saldo = 500; // 4. A mudança é refletida em 'contaA', pois ambas apontam para o mesmo lugar. Console.WriteLine($"Saldo (contaA) após mudança: {contaA.Saldo}"); // Saída: 500 Console.WriteLine($"Saldo (contaB) após mudança: {contaB.Saldo}"); // Saída: 500
Enter fullscreen mode Exit fullscreen mode

Diagrama: Cópia de Referência

Após var contaB = contaA;, a situação da memória é a seguinte:

 STACK HEAP +------------------+ +-------------------------+ | | | | | contaA |----->| Objeto Conta | | (Endereço: 0x5B) | | (Endereço: 0x5B) | +------------------+ | - Saldo: 1000 | | | | | | contaB |----->| | | (Endereço: 0x5B) | +-------------------------+ | | +------------------+
Enter fullscreen mode Exit fullscreen mode

O Garbage Collector (GC)

Como a Heap é gerenciada dinamicamente, precisamos de um mecanismo para limpar objetos que não são mais necessários. É aqui que entra o Garbage Collector.

O GC periodicamente verifica a Heap em busca de objetos que não possuem mais nenhuma referência apontando para eles. Quando encontra esses objetos "órfãos", ele os remove e libera a memória para que possa ser reutilizada.

Se no nosso exemplo fizermos contaA = null; e contaB = null;, o objeto ContaBancaria na Heap se tornaria elegível para a coleta de lixo.

Exemplos de Tipos de Referência

  • class: O exemplo mais comum. Todas as classes que você cria são tipos de referência.
  • object: O tipo base para todos os outros tipos no .NET.
  • string: Embora às vezes se comporte como um tipo de valor (devido à sua imutabilidade), string é um tipo de referência.
  • Arrays: Vetores e matrizes (ex: int[], string[]) são sempre tipos de referência.
  • Delegates e Interfaces.

Alguns recursos uteis:

Top comments (1)

Collapse
 
jamey_h_77980273155d088d1 profile image
Jamie H •

Nice posting!