Problema con assert

[Dreamer89]

Ciao a tutti. Vorrei semplicemente sapere perchè questo programma non mi da errore se inserisco un numero che non è compreso tra 0 e 10...

import java.util.*;
public class Asser
{
	public static void main(String[] args)
	{
		Scanner scanner = new Scanner(System.in);
		
		System.out.print("Inserisci un numero tra 1 e 10: ");
		int n = scanner.nextInt();
		
		assert (n >= 0 && n <= 10) : "errore";
		
		System.out.printf("Hai inserito %d\n",n);
	}
}

[MacApp]

Originariamente inviato da Dreamer89
Ciao a tutti. Vorrei semplicemente sapere perchè questo programma non mi da errore se inserisco un numero che non è compreso tra 0 e 10...

import java.util.*;
public class Asser
{
	public static void main(String[] args)
	{
		Scanner scanner = new Scanner(System.in);
		
		System.out.print("Inserisci un numero tra 1 e 10: ");
		int n = scanner.nextInt();
		
		assert (n >= 0 && n <= 10) : "errore";
		
		System.out.printf("Hai inserito %d\n",n);
	}
}

prova a lanciarlo così:

$ java -ea Asser 

;-)

[andbin]

Originariamente inviato da Dreamer89

		System.out.print("Inserisci un numero tra 1 e 10: ");
		int n = scanner.nextInt();
		
		assert (n >= 0 && n <= 10) : "errore";

A parte il fatto che le asserzioni vanno abilitate esplicitamente tramite l'opzione -enableassertions (o la sua abbreviazione -ea), c'è un'altra questione concettuale molto più importante.

Le asserzioni non vanno mai usate per le seguenti cose:
- validazione dell'input fatto dall'utente o dei parametri da linea di comando.
- verificare una precondition in un metodo marcato 'public'.

Le asserzioni servono per testare delle condizioni che il programmatore si aspetta che siano sempre vere. Lo scopo delle asserzioni è quello di scovare bug nel proprio codice, non di controllare se qualcuno lo usa male o in modo sbagliato (con input errati ecc...).

---> Programming With Assertions
---> Using Assertions in Java Technology