È downcasting (cioè casting per tipo derivato) SEMPRE sbagliato?

Question

Qual è la tua prospettiva sul downcasting? È SEMPRE sbagliato, o ci sono casi in cui è accettabile, o addirittura preferibile o desiderato?

C'è qualche buona misura/linea guida che possiamo dare che ci dice quando downcasting è "cattivo", e quando è "ok"/"buono"?

(lo so a similar question exists, ma quella domanda gira fuori da un caso concreto. Mi piacerebbe avere ha risposto da una prospettiva generale di progettazione.)

Answer 1

No, non è sicuramente sempre sbagliato.

Ad esempio, supponiamo che in C# sia presente un gestore di eventi, a cui viene assegnato un parametro sender, che rappresenta il mittente dell'evento. Ora puoi collegare il gestore di eventi a diversi pulsanti, ma sai che sono sempre pulsanti. È ragionevole trasmettere sender a Button all'interno di tale codice.

Questo è solo un esempio: ce ne sono molti altri. A volte è solo un modo per aggirare un'API leggermente imbarazzante, altre volte esce dal non essere in grado di esprimere in modo pulito il tipo all'interno del normale sistema di tipi. Ad esempio, potresti avere un valore incapsulato appropriato per Dictionary<Type, object>, con metodi generici per aggiungere e recuperare valori, in cui il valore di una voce è del tipo di chiave. Un cast è del tutto naturale qui - puoi vedere che funzionerà sempre, e sta dando più sicurezza al resto del sistema.

Answer 2

Non è mai una soluzione ideale e dovrebbe essere evitato laddove possibile, a meno che l'alternativa non sia peggio. A volte, non può essere evitato, ad es. pre-Generics La libreria API standard di Java aveva molte classi (in particolare le raccolte) che richiedevano il downcasting per essere utili. E a volte, cambiare il design per evitare il downcast lo complicherebbe in modo significativo, così che il downcast è la soluzione migliore.

Answer 3

Un esempio di downcasting "legale" è Java pre 5.0 in cui è necessario abbattere gli elementi del contenitore nel loro tipo concreto durante l'accesso. Era inevitabile in quel contesto. Questo mostra anche l'altro aspetto della domanda: se hai bisogno di downcast molto in una determinata situazione, inizia a essere malvagio, quindi è meglio trovare un'altra soluzione senza downcasting. Che ha portato alla introduzione dei generici in Java 5.

John Vlissides analizza questo problema (alias "Type in materia di riciclaggio") molto nel suo eccellente libro Pattern Hatching (praticamente un sequel di Design Patterns).