Come controllare gli argomenti del costruttore e lanciare un'eccezione o fare un'asserzione in un costruttore predefinito in Scala?

Question

Vorrei verificare gli argomenti del costruttore e rifiutare di costruire il lancio IllegalArgumentException nel caso in cui gli argomenti impostati non siano validi (i valori non rientrano nei vincoli previsti). Come codificarlo in Scala?

Answer 1

In Scala, l'intero corpo della classe è il costruttore principale, quindi è possibile aggiungere la logica di convalida lì.

scala> class Foo(val i: Int) { 
    | if(i < 0) 
    |  throw new IllegalArgumentException("the number must be non-negative.") 
    | } 
defined class Foo 

scala> new Foo(3) 
res106: Foo = Foo@3bfdb2 

scala> new Foo(-3) 
java.lang.IllegalArgumentException: the number must be positive. 

Scala fornisce un metodo di utilità require che permette di scrivere la stessa cosa in modo più conciso come segue:

class Foo(val i: Int) { 
    require(i >= 0, "the number must be non-negative.") 
} 

Un approccio migliore potrebbe essere quello di fornire un metodo factory che dà un scalaz.Validation[String, Foo] invece di lanciare un eccezione. (Nota: richiede Scalaz)

scala> :paste 
// Entering paste mode (ctrl-D to finish) 

class Foo private(val i: Int) 

object Foo { 
    def apply(i: Int) = { 
    if(i < 0) 
     failure("number must be non-negative.") 
    else 
     success(new Foo(i)) 
    } 
} 

// Exiting paste mode, now interpreting. 

defined class Foo 
defined module Foo 

scala> Foo(3) 
res108: scalaz.Validation[java.lang.String,Foo] = Success(Foo@114b3d5) 

scala> Foo(-3) 
res109: scalaz.Validation[java.lang.String,Foo] = Failure(number must be non-negative.) 

Answer 2

scala> class Foo(arg: Int) { 
    | require (arg == 0) 
    | } 
defined class Foo 

scala> new Foo(0) 
res24: Foo = Foo@61ecb73c 

scala> new Foo(1) 
java.lang.IllegalArgumentException: requirement failed