JavaScript instanceof

Introduzione all'operatore instanceof

L'operatore instanceof in JavaScript è uno strumento potente per determinare se un object è un'istanza di una classe specifica o di una funzione costruttore. Aiuta gli sviluppatori a verificare il tipo di un object a runtime, facilitando il controllo dei tipi e l'implementazione del polimorfismo in modo efficace. Questo operatore controlla la catena dei prototipi di un object rispetto al prototipo di una funzione costruttore, restituendo un risultato boolean che indica se l'object eredita dal prototipo.

Sintassi e utilizzo

La sintassi dell'operatore instanceof è semplice:

object instanceof Constructor

Dove object è l'object da testare rispetto al Constructor. L'operatore restituisce true se l'object è un'istanza del Constructor o ne ha ereditato; altrimenti restituisce false.

Esempio di codice: utilizzo di base

Considera il seguente esempio in cui definiamo una classe Vehicle e ne creiamo un'istanza:

Applicazioni avanzate

Oltre al controllo dei tipi di base, l'operatore instanceof svolge un ruolo cruciale in scenari più complessi che coinvolgono ereditarietà e polimorfismo. Esploriamo uno scenario con ereditarietà:

Esempio di codice: ereditarietà

Questo esempio illustra come instanceof confermi che myCar non è solo un'istanza di Car, ma anche un'istanza di Vehicle, mostrando la capacità dell'operatore di riconoscere la catena di ereditarietà.

Come instanceof percorre la catena dei prototipi

instanceof non controlla direttamente quale costruttore ha creato l'object. Invece, risale la catena dei prototipi dell'object e si chiede: Constructor.prototype appare da qualche parte in essa? Non appena trova una corrispondenza, restituisce true; se raggiunge la fine della catena (null) senza trovare corrispondenza, restituisce false.

Per questo motivo, è possibile alterare o modificare il risultato di instanceof riassegnando la catena dei prototipi — il controllo riguarda esclusivamente l'appartenenza alla catena, non il costruttore eseguito. Per comprendere la catena stessa, consulta Ereditarietà prototipale e Sintassi di base delle classi.

Personalizzare instanceof con Symbol.hasInstance

È possibile sovrascrivere il risultato di obj instanceof Constructor definendo un metodo statico [Symbol.hasInstance] sul costruttore. Quando presente, instanceof lo invoca con l'operando sinistro e usa il suo risultato boolean, ignorando completamente la catena dei prototipi.

Questo è utile per il duck-typing — trattare qualsiasi object che "sembra giusto" come membro di un tipo — senza costringerlo attraverso la gerarchia delle classi.

instanceof vs typeof vs constructor

Questi tre strumenti rispondono a domande diverse, e scegliere quello sbagliato è una fonte comune di bug.

• typeof restituisce una string per le categorie di tipi primitivi. È ottimo per i primitivi, ma restituisce "object" per quasi tutto (array, null, date, object semplici), quindi non è in grado di distinguere i tipi di object.
• instanceof testa l'appartenenza alla catena dei prototipi e rispetta l'ereditarietà — ma fallisce tra realm diversi (vedi sotto) e non funziona con i primitivi.
• obj.constructor punta alla funzione che ha creato l'object, ma è semplicemente una proprietà scrivibile e riflette solo la classe più specifica, non l'intera catena.

I costruttori built-in usati sopra sono trattati in Prototipi nativi.

Il problema dei Realm (iframe/window)

Ogni contesto di navigazione — ogni iframe o finestra popup — ha il proprio insieme di costruttori built-in e il proprio Array.prototype, Object.prototype e così via. Un array creato in un iframe è un vero array, ma non eredita dal Array.prototype della tua finestra. Di conseguenza, arrayFromIframe instanceof Array restituisce false nella finestra padre, anche se il valore è genuinamente un array. Questo è il motivo più comune per cui instanceof "mente."

Per valori che possono attraversare realm diversi, preferisci controlli realm-agnostici come Array.isArray(value).

Tag di tipo affidabili con Object.prototype.toString

Quando hai bisogno di un controllo del tipo robusto e sicuro tra realm che funzioni anche sui primitivi, Object.prototype.toString restituisce una string di tag interna nella forma [object Type]. Non può essere ingannato dalla riassegnazione dei prototipi come può avvenire con constructor, e funziona tra realm diversi.

Usalo tramite .call(value) in modo che il valore diventi this. Una classe può persino controllare il proprio tag tramite la proprietà Symbol.toStringTag.

Best practice e considerazioni

Sebbene l'operatore instanceof sia prezioso, è essenziale usarlo con giudizio:

• Sensibilità alla catena dei prototipi: L'operatore instanceof si basa sulla catena dei prototipi, il che significa che le modifiche al prototipo di un object possono influenzare il risultato dei controlli instanceof.
• Utilizzo nel polimorfismo: È particolarmente utile negli scenari in cui si desidera un comportamento polimorfico, consentendo un codice flessibile in grado di gestire object di tipi diversi in modo unificato.
• Problemi cross-frame: Presta attenzione quando usi instanceof con object provenienti da contesti JavaScript diversi (ad esempio, iframe o finestre diverse), poiché ogni contesto ha la propria catena di prototipi unica.

Esempio pratico: polimorfismo

Ecco come potresti usare instanceof per implementare un comportamento polimorfico:

Conclusione

Comprendere e utilizzare efficacemente l'operatore instanceof è fondamentale per padroneggiare gli aspetti della programmazione orientata agli object in JavaScript. Non solo aiuta nel controllo dei tipi e garantisce la correttezza del codice, ma ti consente anche di scrivere codice più flessibile e manutenibile attraverso il polimorfismo. Integrando saggiamente l'operatore instanceof nelle tue pratiche di sviluppo, puoi migliorare significativamente la robustezza e la scalabilità delle tue applicazioni JavaScript.

Esercizio