[Java] Principio di sostituibilità Liskov

[bako]

Se S è un sottotipo of T,
allora oggetti di tipo T in un programma
possono essere sostitituiti da oggetti di tipo S
senza alterare alcuna proprietà desiderabile del programma.

quindi se ho una classe S con il metodo stampa() che stampa a video "ciao!", e implemento una sua sotto classe T, non posso fare l'overriding del metodo stampa?

[Ikitt]

Originariamente inviato da bako
quindi se ho una classe S con il metodo stampa() che stampa a video "ciao!", e implemento una sua sotto classe T, non posso fare l'overriding del metodo stampa?

(se ben ricordo)
Al contrario, il concetto chiave e` che la sottoclasse T implementi il metodo 'stampa' rispettando la stessa interfaccia di 'S'. Cosa poi faccia effettivamente 'stampa', beh, dipende

[alka]

Hai un linguaggio di programmazione di riferimento o si tratta di una domanda puramente teorica?

[Gigi84]

il metodo stampa non mi sembra l'esempio più appropriato per il principio, in sostanza dice che chi usa gli oggetti della gerarchia non deve accorgersi della differenza,
ti cito un esempio:

hai una classe IntSet che è un Set di interi con un metodo elements() che restituisce un iteratore agli elementi.

Poi definisci una sottoclasse di IntSet, GigiIntSet, fai l'override di elements() e gli fai restituire un itaratore solo ai numeri dispari del set.

A questo punto NON hai rispettato il principio della liskov, perchè:
a)gli utilizzatori delle tue classi avranno un comportamento inaspettato utilizzando GigiIntSet, pensa ad una funzione che calcola la sommatoria dei set, con GigiIntSet fallisce;

b)in questo modo hai cambiato la proprietà che dice: "elements() restituisce un iteratore agli elementi"

l'esempio l'ho preso dalle dispense che ho di ing. del sw


riguardo al metodo stampa: lo puoi ridefinire, basta che stampi la cosa che deve stampare (questo dipende da come era nel padre), e non "Cicciocicci è andato al mare".

Spero di aver scritto in italiano,
Ciao!!

[bako]

Originariamente inviato da alka
Hai un linguaggio di programmazione di riferimento o si tratta di una domanda puramente teorica?

lo sto facendo in java..

[alka]

Originariamente inviato da bako
lo sto facendo in java..

Te lo chiedo perchè il linguaggio di programmazione, laddove sia applicabile, è d'obbligo nel titolo della discussione.

Questo lo modifico io.

Ciao!

[bako]

Originariamente inviato da alka
Te lo chiedo perchè il linguaggio di programmazione, laddove sia applicabile, è d'obbligo nel titolo della discussione.

Questo lo modifico io.

Ciao!

si vabbè.. è un pò generale come discorso, più che java sarebbe OOP