Os parâmetros são por valor. Pelo menos este é o padrão. Mas o tipo de dado dele influencia seu comportamento. Você tem tipos que são por valor e tipos que são por referência.
Não confunda passagem de parâmetro com a forma de alocação dos tipos. Passar por valor não é a mesma coisa que ter um tipo por valor.
Passar por valor significa que uma cópia do dado é feita.
Os tipos por valor fazem o que você espera já que há a cópia do dado que você enxerga.
Os tipos por referência também são passados por valor. Mas qual é o valor dos tipos por referência? É um ponteiro para um objeto no heap. É um endereço de memória. Sempre. Então a cópia é feita também, mas é o endereço que é copiado, e não o objeto referenciado. É por valor também.
A diferença é que este tipo tem um objeto com um tempo de vida maior. Internamente o valor é ponteiro, mas no seu código você acessa este objeto apontado por ele. Qualquer alteração nele, reflete no objeto em todo seu tempo de vida, mesmo fora do método onde houve a alteração. Isto é uma característica do tipo e não da passagem do parâmetro.
Note que se você mudar o endereço do objeto, aí você verá que não houve esta alteração no argumento passado para o método, seja construtor ou não.
Criei um exemplo para demonstrar isto:
public void OutroTeste(List<string> lista) {
lista = new List<string>() { "aaa", "bbb" };
return;
}
Veja funcionando no ideone. E no .NET Fiddle. Também coloquei no GitHub para referência futura.
Este método está recebendo lista
por valor. Em seguida ele cria uma nova lista com dados completamente diferentes dentro dela e mando guardar em lista
que é o parâmetro. Quando eu for acessar a lista depois que executei este método, o que acontece? Estes dados novos sumiram. A nova lista só existe dentro do método, mesmo eu tendo atribuído ela para o parâmetro, ele não foi alterado, porque desta vez eu alterei de fato o parâmetro. Quando você altera os elementos da mesma lista que o parâmetro aponta, você está alterando o objeto apontado e não o parâmetro em si.
Saiba mais sobre a alocação deles.
No seu exemplo List<T>
é um tipo por referência, é uma classe. Então tudo o que você alterar nele, se refletirá na variável que foi usada como argumento.
Um tipo curioso é o string
. Ele é uma referência, então sempre é passado o ponteiro. Mas é imutável e possui semântica de valor, então uma mudança no objeto criará um novo objeto que será alocado em outra posição de memória. Portanto a alteração ficará restrita ao método onde isto ocorreu. A não ser, é claro que o parâmetro seja marcado como referência.
Parâmetros ref
out
e ref
servem para passar por referência. Aí sempre passará uma referência, para o real valor. No caso dos tipos por referência, haverá uma referência para o ponteiro do tipo que não deixa de ser uma referência para o objeto propriamente dito. Neste caso até no exemplo acima se um novo objeto for criado, isto se refletirá fora do método.
Portanto tipos por valor ou tipos por referência podem fazer uso da passagem por referência.
Se tiver curiosidade de entender melhor como funciona a stack e o heap.