Perché il tipo risultante di una divisione di interi brevi in ​​Java non è un intero breve?

Question

Considerate questo codice:

public class ShortDivision { 
    public static void main(String[] args) { 
     short i = 2; 
     short j = 1; 
     short k = i/j; 
    } 
} 

compilazione di questo genera l'errore

ShortDivision.java:5: possible loss of precision 
found : int 
required: short 
     short k = i/j; 

perché il tipo dell'espressione i/j è apparentemente int, e quindi deve essere gettato a breve.

Perché il tipo di i/j non è breve?

Answer 1

Dal Java spec:

5.6.2 Binary numerico Promozione

Quando un operatore applica promozione numerico binario ad una coppia di operandi, ciascuno dei quali deve indicare un valore di tipo numerico, la si applicano le seguenti regole, in ordine, utilizzando la conversione di allargamento (§5.1.2) per convertire gli operandi come necessario:

Se uno degli operandi è di tipo double, l'altro viene convertito in double.

Altrimenti, se uno degli operandi è di tipo float, l'altro viene convertito in float.

Altrimenti, se uno degli operandi è di tipo lungo, l'altro viene convertito in long.

In caso contrario, entrambi gli operandi vengono convertiti in tipo int.

Per operazioni binarie, piccoli tipi interi sono promossi al int e il risultato dell'operazione è int.

---

EDIT: Perché è così? La risposta breve è che Java ha copiato questo comportamento da C. Una risposta più lunga potrebbe avere a che fare con il fatto che tutte le macchine moderne eseguono almeno calcoli nativi a 32 bit, e potrebbe essere più difficile per alcune macchine fare a 8 bit e Operazioni a 16 bit.

Consulta anche: OR-ing bytes in C# gives int

Answer 2

Per quanto riguarda la motivazione: lascia immaginare le alternative a questo comportamento e vedere il motivo per cui non funzionano:

Alternativa 1: il risultato dovrebbe essere sempre lo stesso come gli ingressi .

Quale dovrebbe essere il risultato di aggiungere un int e un breve?

Quale dovrebbe essere il risultato per moltiplicare due cortocircuiti? Il risultato in generale si inserirà in un int, ma poiché tronceremo in breve, la maggior parte delle moltiplicazioni fallirà silenziosamente. Il casting su un int dopo non ti aiuterà.

Alternativa 2: il risultato deve sempre essere il tipo più piccolo che possa rappresentare tutte le uscite possibili.

Se il tipo di reso fosse breve, la risposta non sarebbe sempre rappresentabile come un breve.

Un corto può contenere valori da -32.768 a 32.767. Quindi questo risultato causerà un overflow:

short result = -32768/-1; // 32768: not a short 

Quindi la domanda diventa: perché l'aggiunta di due ints non restituisce un lungo? Quale dovrebbe essere la moltiplicazione di due interi? Lungo? Un numero grande per coprire il caso del valore minimo dell'intero quadrante?

Alternativa 3: scegliere la cosa maggior parte delle persone probabilmente vogliono la maggior parte del tempo

Così il risultato dovrebbe essere:

• int per moltiplicare due cortometraggi, o qualsiasi int operazioni.
• short se si aggiungono o si sottrae cortocircuiti, dividendo un cortocircuito di un qualsiasi tipo intero, moltiplicando due byte, ...
• byte se il bithifting è un byte a destra, int se si sposta a sinistra.
• ecc ...

Ricordando tutti i casi particolari sarebbe difficile se non v'è alcuna logica fondamentale per loro. È più semplice dire semplicemente: il risultato di operazioni intere è sempre int.

Answer 3

E 'solo una scelta progettuale per essere coerente con C/C++ che erano le lingue dominate quando Java è stato progettato.

Ad esempio, i * j potrebbe essere implementato in modo che il tipo venga promosso da byte => short, short => int e int => long, e ciò eviterebbe gli overflow ma non lo fa. (Lo fa in alcune lingue) La fusione può essere usata se si desidera il comportamento corrente, ma la perdita di alcuni bit sarebbe chiara.

Analogamente, i/j potrebbe essere richiesto da byte/short => float o int/long => double.