Capítulo: Diseño de métodos

• Enfoque: Usabilidad, robustez y flexibilidad en el diseño de métodos.
• Cobertura: manejo de parámetros y valores de retorno, diseño de firma de métodos y documentación.

Artículo 49: Verificar la validez del parámetro

- Restricciones en los parámetros:
Los métodos y constructores generalmente tienen restricciones en los valores de los parámetros (por ejemplo, índices no negativos, referencias no nulas).
Estas restricciones deben documentarse y verificarse al inicio del método.

- Importancia de la verificación:
Detecta errores lo antes posible para evitar fallos inesperados o comportamientos incorrectos en el método.
Los métodos que no verifican sus parámetros pueden provocar fallas difíciles de depurar.

- Documentación de excepciones:
Utilice la etiqueta @throws Javadoc para documentar las excepciones generadas en caso de violaciones de restricciones.
Excepciones comunes: IllegalArgumentException, IndexOutOfBoundsException, NullPointerException.

Ejemplo de verificación de parámetros:

public static int mod(int x, int y) {
    if (y 



- Uso de objetos.requireNonNull:

Introducido en Java 7, se utiliza para comprobar la nulidad de objetos.

Devuelve el valor pasado después de la verificación: 



this.m = Objects.requireNonNull(m, "Parâmetro 'm' não pode ser nulo");





- Verificación de rangos (Java 9):

Métodos checkFromIndexSize, checkFromToIndex y checkIndex para verificar índices en listas y matrices.

Menos flexible, utilizado principalmente para colecciones.

**

• Verificación de parámetros en métodos no públicos:** Para métodos no exportados, utilice aserciones para comprobar los parámetros:

assert x > 0 : "Valor de x deve ser positivo";

- Casos especiales:
Los constructores siempre deben verificar la validez de los parámetros almacenados para su uso posterior.
Se pueden hacer excepciones para controles costosos, donde el control está implícito durante el cálculo.

- Ejemplo de verificación implícita:
Collections.sort(List) supone que los objetos son mutuamente comparables. La verificación se produce durante el proceso de clasificación.

- Traducción de Excepciones:
Cuando la verificación implícita genera una excepción incorrecta, utilice la "traducción de excepciones" para generar la excepción correcta.

- Flexibilidad en Restricciones:
Los métodos deben diseñarse para que sean lo más generales posible, imponiendo la menor cantidad de restricciones necesarias.

- Conclusión:
Documentar e implementar comprobaciones de validez de parámetros en métodos y constructores. La práctica es fundamental para evitar errores futuros y facilitar la depuración.