Quais são as restrições existentes ao sobrescrever funções na programação?

Ao sobrescrever funções (métodos) na programação, existem as seguintes restrições:

• O método deve ter a mesma assinatura (nome, parâmetros) e tipo de retorno (ou compatível com o original).
• A visibilidade do método não pode ser mais restritiva (por exemplo, não pode passar de público para privado).
• Em algumas linguagens, não é possível sobrescrever métodos estáticos.
• As exceções que um método pode lançar devem ser compatíveis com as do método base (por exemplo, não ampliar a lista de exceções verificadas).
• No Swift, por exemplo, o método deve ser declarado com a palavra-chave override.

Essas restrições garantem o funcionamento correto do polimorfismo e evitam erros em tempo de execução.