cercando di capire "l'ultima classe astratta Int privato estende AnyVal in Scala

Question

Provenendo da Java Land ho cercato di insegnarmi Scala. Recentemente stavo giocando con il tipo di dati Int e ho deciso di cercare l'API per la classe Int here.

Cosa perplesso me era la definizione di classe per Int, che è abstract final.

sono scuse se non ho letto sul significato di abstract e final in Scala prima di porre questa domanda, ma io ero curioso, così ho digitato subito questo post.

Quindi quello che sto cercando di capire è: La semantica per abstract, final e extends diversa in Scala? Ancora una volta, per quanto mi risulta, in Java non è possibile avere abstract e final allo stesso tempo. Quindi come interpreto final abstract class Int private extends AnyVal?

Answer 1

Come om-nom-nom ha sottolineato nel commento, abstract vieta instanziazione (new Int), mentre final vieta la creazione di sottoclassi (new Int { ... }).

La ragione di ciò è che scala.Int è rappresentato direttamente dal tipo intero primitivo della macchina virtuale Java; gli altri tipi simili sono Byte, Short, Char, Long, Float, Double, Boolean. Poiché sono tipi primitivi sul runtime (che presentano prestazioni migliori rispetto ai cosiddetti tipi di box) e la JVM non consente di aggiungere nuove primitive, non ci sarebbe alcun modo legale per estendere tali tipi. Inoltre non c'è modo di istanziarli se non dando un letterale (val i: Int = 33).

Scala ha questi tipi per creare un sistema di oggetti unificato in cui non vi è alcuna differenza logica tra i tipi primitivi e gli 'oggetti'. Esiste tuttavia una distinzione gerarchica nella parte superiore che è AnyRef (corrispondente a java.lang.Object) e AnyVal (corrispondente a quei tipi primitivi e che aggiunge il nuovo tipo di Scala Unit).

Maggiori informazioni sul sistema di tipo unificato è data dalla Tour of Scala: Unified Types