Em C# há uma diferença entre a forma que a memória é alocada pelo CLR para tipos referência (classes) e tipos valor (estruturas). A diferença, pelo que sempre ouvi falar, seria o fato de tipos valor serem armazenados na pilha e tipos referência no heap. Ocorre, porém, que tipos valor também podem ser armazenados no heap através de boxing, ou sendo membros de um tipo referência.
Dessa forma, a distinção entre tipos valor e tipos referência passa a ser não exatamente o local onde cada qual está armazenado. Dessa forma, como se diferencia de forma mais correta tipos valor e tipos referência? Como realmente o CLR gerencia a alocação de memória para instâncias e classes e estruturas separadamente? Além disso, por quê existe essa distinção? Afinal, classes e estruturas, apesar de possuirem diferenças são bem parecidos um com o outro.