java : VOID ?

[71104]

la a non compila perché il modificatore private abbassa la visibilità del metodo, la quale può essere solo alzata o mantenuta. la e invece non compila perché il prototipo del metodo differisce solo per il tipo del valore di ritorno: se una classe avesse due metodi identici differenti solo per il tipo di ritorno verrebbero a crearsi delle ambiguità nel codice che usa uno di quei due metodi: non sarebbe chiaro quale dei due si sta usando, e quindi di che tipo dovrebbe essere il valore di ritorno.

[PGI-Bis]

La covarianza del tipo restituito definisce come sovrascrittura la ridefinizione di un metodo del supertipo in un sottotipo che differisca per il tipo di valore restituito se questo sia compatibile in assegnamento con l'originale.

Cioè:

class A {
    Number fai(int a, float b) { ... }
}

class B extends A {
    Long fai(int a, float b) { ... }
}

è valido.

[andbin]

Originariamente inviato da Tony Hak

l'evidenziatore verde è la risp corretta ..

perche' nn compilano e gli altri si ?

Il quiz che hai postato è relativo al concetto di override. Ci sono una serie di regole:

Il metodo che fa l'override (nella sottoclasse quindi)

1) deve avere la stessa identica signature (nome+parametri) e lo stesso valore di ritorno (con l'eccezione del return covariante di Java 5+, che riguarda solo i tipi reference).

2) non deve avere un livello di accesso più ristretto ma può avere un livello di accesso meno ristretto.

3) Non può dichiarare eccezioni checked nuove o più "ampie" ma può dichiarare meno eccezioni checked o eccezioni checked più ristrette. Può dichiarare qualunque eccezione unchecked.

4) Il metodo nella superclasse di cui si fa l'override non deve essere marcato private (altrimenti non viene ereditato) o final (altrimenti non può esserci un override).

Basandosi su queste regole:

La risposta a) non compila perché in Over il livello di accesso è il default e il private del override è più ristretto del default.
La risposta e) non compila perché il tipo di ritorno è diverso.

Le altre risposte compilano perché sono altri casi di override/overload corretti.

[Tony Hak]

grazie del pronto intervento

[71104]

Originariamente inviato da PGI-Bis

La covarianza del tipo restituito definisce come sovrascrittura la ridefinizione di un metodo del supertipo in un sottotipo che differisca per il tipo di valore restituito se questo sia compatibile in assegnamento con l'originale.

e long è compatibile con int in assegnamento? se non erro in Java long occupa 64 bit, quindi assegnarlo ad un int dovrebbe significare perderne 32.

[71104]

Originariamente inviato da PGI-Bis

La covarianza del tipo restituito definisce come sovrascrittura la ridefinizione di un metodo del supertipo in un sottotipo che differisca per il tipo di valore restituito se questo sia compatibile in assegnamento con l'originale.

Cioè:

class A {
    Number fai(int a, float b) { ... }
}

class B extends A {
    Long fai(int a, float b) { ... }
}

è valido.

uhm, non vorrei dire ma ho fatto un esperimento che sembra contraddire le tue affermazioni: in Java 6 (cioè in compatibilità solamente con Java 6, senza retrocompatibilità impostata nelle opzioni del compilatore, uso Eclipse 3.2) ho esteso una classe non astratta che aveva un metodo che ritornava int. ho reimplementato quel metodo facendogli ritornare long e dava errore; con short stessa cosa. ho capito male io?

[PGI-Bis]

Perchè mai questo pazzo PGI-Bis avrà usato Number e Long nel suo esempio?

[71104]

Originariamente inviato da PGI-Bis

Perchè mai questo pazzo PGI-Bis avrà usato Number e Long nel suo esempio?

aaaah ho capito...
praticamente se il metodo originale ritorna una certa classe, nel suo override devo ritornare o quella classe o una che la estende

[andbin]

Originariamente inviato da 71104

praticamente se il metodo originale ritorna una certa classe, nel suo override devo ritornare o quella classe o una che la estende

Esatto. La covarianza vale solo per i tipi reference. Dopotutto è vero che un Long è-un Number mentre non è vero che un int è un long o viceversa!

E andando un po' più a fondo .... la covarianza sul valore di ritorno viene implementata con i metodi "bridge".

Dato:

class A {
    public Number prova () { return 123; }
}

class B extends A {
    public Long prova () { return 123L; }
}

Se si lancia (dopo aver compilato): javap B si scopre che la classe B in realtà ha 2 metodi prova:

public java.lang.Long prova();
public java.lang.Number prova();

Il metodo che ritorna Number è un metodo "bridge", sintetizzato dal compilatore e fa nient'altro che chiamare il metodo che ritorna Long. Perché? Per mantenere la compatibilità!

[Tony Hak]

eheh .. mi fa piacere che i miei dubbi creano vere e proprie discussioni .. .. sapete spiegarmi il cast esplicito ed implicito ? .... non c'ho capito molto e su internet ci sn poki esempi ... tnk's

[andbin]

Originariamente inviato da Tony Hak

sapete spiegarmi il cast esplicito ed implicito ?

Il cast è la conversione da un tipo ad un altro. Le regole sono molte (vedere sul JLS <qui>).

Alcuni cast possono essere impliciti, altri cast devono essere fatti esplicitamente usando l'apposito operatore di cast, il tipo tra parentesi tonde es. (int)

A parte le conversioni particolari, le due fondamentali sono conversioni di widening (ampliamento) e di narrowing (restringimento). Entrambe si possono applicare ai tipi primitivi e ai tipi reference.

Cosa non ti è chiaro di preciso? Purtroppo non è che posso enunciare qui in un unico post tutte le regole e le specifiche.