Através da herança, a classe Gerente obtém acesso direto e irrestrito ao atributo __salario_base de Funcionario para seus cálculos, enquanto o polimorfismo é o mecanismo que torna a reescrita do método calcular_bonus() opcional.

O encapsulamento é o que permite que um objeto Gerente seja tratado como um Funcionario em coleções de dados. O polimorfismo garante que o atributo __salario_base seja inacessível, e a herança possibilita a chamada ao método calcular_bonus().

O polimorfismo se manifesta quando calcular_bonus() é invocado em um objeto Gerente, executando a versão reescrita. A herança permite a Gerente utilizar métodos públicos de Funcionario, mas o encapsulamento (via name mangling) impede o acesso direto ao __salario_base da superclasse, exigindo o uso de um método público ou do super() para interagir com ele.

O método calcular_bonus() em Gerente utiliza o polimorfismo para invocar a implementação da superclasse com super(). O encapsulamento de __salario_base é reforçado pela herança, que permite sua modificação direta apenas na subclasse Gerente.

A herança exige que a classe Gerente reescreva todos os métodos públicos de Funcionario. O encapsulamento do __salario_base é intencionalmente quebrado pelo polimorfismo, que permite ao método reescrito calcular_bonus() acessar diretamente qualquer atributo da superclasse.