Il cast implicito del tipo non funziona per i parametri del metodo?

Question

Si consideri il seguente frammento di codice:

class TypeCast{ 
    public static void main(String[] args){ 
    byte by = 4;  //compiler casts int literal to byte 

    doCasting(4); //Compilation Error: external type casting is required. WHY ? 

    } 

    public static void doCasting(byte by){ 

    } 

} 

Penso codice di cui sopra frammento è abbastanza auto-esplicativo. Mentre l'assegnazione letterale int al tipo byte, il compilatore esegue automaticamente la trasmissione richiesta. La stessa cosa non accade quando chiamiamo un metodo che utilizza il parametro byte con letterale int. Perché?

Answer 1

Questa è la differenza tra un contesto assegnazione (JLS 5.2) e un contesto invocazione (JLS 5.3) per le conversioni.

conversioni context Assegnazione includono:

Inoltre, se l'espressione è un'espressione costante (§15.28) di tipo byte, short, char o int:

• Un ambito conversione primitiva può essere usato se il tipo della variabile è byte, short o char e il valore dell'espressione costante è rappresentabile nel tipo della variabile.

Questo non è presenti nelle conversioni contesto invocazione.

Non è chiaro perché il linguaggio è stato progettato in questo modo, oltre a semplificare eventualmente la risoluzione di sovraccarico - se si ha:

doCasting(5); 
... 
doCasting(int x) {} 
doCasting(byte b) {} 

allora si potrebbe discutere per una delle quali è il "migliore corrispondenza" - byte è un tipo più specifico di int, ma se si pensa al letterale di tipo int, il sovraccarico di byte richiede una conversione, mentre il sovraccarico di int non lo è.

Rendendo la byte sovraccarico semplicemente non applicabile, la questione viene rimosso.