¿Qué restricciones existen al sobrescribir funciones en programación?

Al sobrescribir funciones (métodos) en programación, existen las siguientes restricciones:

• El método debe tener la misma firma (nombre, parámetros) y tipo de retorno (o compatible con el original).
• La visibilidad del método no puede ser más restrictiva (por ejemplo, no se puede cambiar de public a private).
• En algunos lenguajes, no se pueden sobrescribir métodos estáticos.
• Las excepciones que puede lanzar un método deben ser compatibles con las del método base (por ejemplo, no ampliar la lista de excepciones verificadas).
• En Swift, por ejemplo, el método debe declararse con la palabra clave override.

Estas restricciones garantizan el correcto funcionamiento del polimorfismo y previenen errores en tiempo de ejecución.