Existe o objeto e existe a variável. Existem tipos que são por valor e tipos que são por referência. Nos tipos por valor o objeto é colocado no local da variável, e os tipos por referência eles ficam em outro local (tipicamente o heap) e na variável vai a referência para este objeto.
Quando você cria uma instância de uma classe, portanto cria um objeto, de um tipo, através do construtor da classe e o new
, você está alocando espaço na memória para o objeto da classe sendo criada e inicializando os valores desse objeto. è isso que terá na memória, um objeto da classe indicada no construtor. Então é aí que vão os campos (não chama atributo, lamento que quase todo mundo aprende errado) da classe Funcionario
, que são os campos das classes que ele herda mais os campos declarados na própria classe.
O fato de declarar variável como um tipo mais geral não muda o layout de memória da classe senso instanciada, tudo está lá. Apenas a referência para o objeto considera que o tipo é mais geral, no caso Pessoa
, mas o objeto está integral.
O compilador não deixa você acessar os campos exclusivos da classe Funcionario
pela variável funcionario
porque se diz que ela é de um tipo que não tem esses campos, mesmo que concretamente eles estejam lá. Nada impede você acessar os campos desse mesmo objeto através de uma outra variável que seja do tipo mais especializado, fazendo um cast.
Outro erro comum é fazer justamente essa herança. O grosso dos problemas que as pessoas cometem em orientação a objeto é com exemplos artificiais ou que sempre foram ensinados de forma errada. Por isso é preciso ser questionador e entender porque é assim e não apenas aceitar que alguém disse que é assim. Veja mais em Funcionário pode ser papel de Pessoa Física?.
Existem outros problemas nesse código, mas não é o foco da pergunta.