Programmazione Parametrica ( a k. a. Generics ) Introduzione ai meccanismi e concetti della programmazione parametrica



Scaricare 446 b.
Pagina12/17
28.03.2019
Dimensione del file446 b.
1   ...   9   10   11   12   13   14   15   16   17

Variabili di Tipo e Bounds

  • Abbiamo visto che possiamo definire bounds anche per variabili di tipo (non solo wildcards)

  • Un caso paradigmatico



Variabili di Tipo e Bounds

  • Il bound su una variabile impone vincoli sulla variabile, determinando quali metodi possono essere utilizzati su valori del tipo variabile

  • Qui il bound è ricorsivo:



Generics e “erasure”

  • I tipi generici sono significativi a compile-time

  • La JVM opera invece con tipi “raw”

  • Il tipo raw è ottenuto da un tipo generico mediante un processo detto erasure che rimuove le variabili di tipo

    • il bycode generato da un tipo generico è lo stesso che viene generato dal corrispondente tipo raw.





Condividi con i tuoi amici:
1   ...   9   10   11   12   13   14   15   16   17


©astratto.info 2019
invia messaggio

    Pagina principale