La mancanza di tipi primitivi non firmati di Java è una caratteristica di Java la piattaforma o Java del linguaggio?

Question

Ci sono domande su why Java doesn't support unsigned types e alcune domande su come gestire i tipi senza segno. Ho fatto qualche ricerca, e sembra che Scala non supporti anche i tipi di dati non firmati. La limitazione nella progettazione del linguaggio di Java e Scala, nel bytecode generato, o nella stessa JVM? Potrebbe esserci un linguaggio che gira su JVM ed è altrimenti identico a Java (o Scala), ma supporta i tipi di dati primitivi senza segno?

Answer 1

Java Bytecode Specification solo defines signed types:

I tipi integrali sono byte, short, int, e lungo, i cui valori sono 8-bit, 16 bit, 32 bit e 64 bit con segno interi a due complementi

Ma un linguaggio implementato sulla JVM può probabilmente aggiungere un tipo non firmato a livello sintattico e gestire la conversione in fase di compilazione.

Answer 2

La gestione dell'aritmetica non firmata è un problema di lingua/implementazione, non di piattaforma: potrebbe essere simulato su qualsiasi piattaforma, anche se non vi fosse alcun supporto nativo.

La JVM non ha un tipo, quindi Java/Scala/ecc. non supportarlo "out of the box".

Answer 3

Sebbene tipo unsigned potrebbe essere emulato a livello bytecode ci sono alcuni inconvenienti con quel:

• Performance: Si avrebbe bisogno di diverse operazioni di bytecode per ogni semplice operazione aritmetica. Le prestazioni del codice che utilizzano i tipi non firmati non firmati sarebbero due o tre volte peggiori rispetto al codice che utilizza i tipi firmati.

• Compatibilità: la maggior parte delle lingue in esecuzione su una JVM tenta di essere molto compatibile con l'enorme quantità di codice Java disponibile. Questo naturalmente verrebbe immediatamente rovinato quando verranno introdotti tipi aggiuntivi o quando alcune variabili con tipi "conosciuti" devono essere gestite diversamente.

Alla luce di ciò, i vantaggi per i tipi non firmati sono IMHO trascurabili.