[Java] Interfacce

[PunkIvi]

Vorrei capire meglio le interfacce, ho trovato questo su un libro:

public interface StackDef {
public void push( int i );
public int pop();
}

class Stack implements Stack {
...... <-----
}

I metodi push e pop sono stati ereditati, ma non capito cosa devo scrivere dentro la classe Stack. Se i metodi sono stati ereditati posso direttamente usarli? Oppure devo ridefinirli? Oppure devo ridefinirli facendo conto che l'Interface mi fa solamente un prototipo del metodo (tipo le funzioni in C) e quindi devo specificare come funzionano all'intenro?

[lelefante]

Originariamente inviato da PunkIvi

Oppure devo ridefinirli facendo conto che l'Interface mi fa solamente un prototipo del metodo (tipo le funzioni in C) e quindi devo specificare come funzionano all'intenro?

Precisamente.

In effetti non e' corretto dire che i metodi vengono ereditati, i metodi devono essere implementati.
La differenza consiste nel fatto che l'ereditarieta' si riferisce ad un metodo di una classe superiore che non sia astratto (e quindi invocabile), mentre nel caso di un interfaccia il metodo presente in essa non e' implementato, ma ne e' specificata esclusivamente la firma (nome + tipo dati restituito + parametri accettati).
Spetta alla classe che implementa l'interfaccia specificare il comportamento dei metodi.

[PunkIvi]

Chiaro :gren: .
Avrei un altro paio di quesiti:

1-----

Ci dovrebbe essere un errore:
class Stack implements Stack => class Stack implements StackDef


2-----

class Stack implements Stack {
...... <-----
}

Come lo invoco da qui il metodo (supponiamo uno Stack x = new StackDef)?

Grazie