tematica TypeAfety è un tipo di oggetto di utilizzo dell'utilizzo dell'utilizzo dell'uso dell'utilizzo.
Scarica ora

tematica Classifica e riepilogo

tematica Tag

analisi modulo Perl oggetto compilazione-tempo oggetto fase di compilazione analisi statica

tematica Descrizione

TypeAfety è un tipo di oggetto di utilizzo di utilizzo dell'utilizzo dell'analisi statica. TypeSafety è un tipo di oggetto di compilazione Utilizzo dell'uso dell'uso dell'utilizzo dell'analisi statica. Absatractform Euristica sul tuo programma Prima che sia eseguito, con un obiettivo di assicurare che i tipi orientati all'oggetto vengono utilizzati in modo coerente - la classe corretta (o una sottoclasse di esso) viene restituita nel I posti giusti, forniti negli elenchi di argomenti di chiamata del metodo nei posti giusti, assegnati solo alle variabili giuste e così via. Questa è una caratteristica standard di lingue non dinamiche come Java, C ++ e C #. La mancanza di questa funzione è una delle ragioni principali perl non è detto che non è un "vero" oggetto orientato all'oggetto. PACCHETTO PACCHETTO DISYNOPSIS; Utilizzare la tua struttura; # 'riassunto', 'debug'; il mio foobar $ foo; # Stabilire variabili a controllo di tipo My Foobar $ bar; # Foobar è la classe base dei riferimenti $ Bar terrà il mio Bazqux $ Baz; $ foo = nuovo foobar; # Questo va bene, perché $ foo tiene i foobars $ bar = $ foo; # Questo va bene, perché $ bar tiene anche foobars # $ foo = 10; # questo avrebbe lanciato un errore - 10 non è un foobar # $ baz = $ foo; # non permesso - foobar non è un bazqux $ foo = $ baz; # è permesso - BazQUX è un foobar a causa dell'eredità $ bar = $ foo-> foo ($ Baz, 1); # questo va bene, come foobar :: foo () restituisce foobars anche a terafette :: Controllo (); # Eseguire il tipo di controllo di controllo statico # Pacchetto Foobar; Utilizzare la tua struttura; # non modificato - nuovo () predefinito al prototipo per restituire lo stesso tipo come pacchetto # proto 'nuovo', restituisce => 'foobar'; Sub New {BLIEDA [], $ _ ; # o: benedica qualunque cosa, __package__; # o: benedica qualsiasi cosa, "foobar"; # o: il mio tipo $ = shift; benedici qualunque cosa, $ tipo; # o: il mio tipo $ = shift; $ TYPE = REF $ Digitare se il tipo di rifugio; benedici qualunque cosa, $ tipo; } Sub Foo (Foobar; Bazqux, Undef) {My $ ME = Shift; restituire $ me-> nuovo (); } # o: proto 'foo', returns => 'foobar'; Sub foo {My $ ME = Shift; restituire $ me-> nuovo (); } # Pacchetto Bazqux; Utilizzare la tua struttura; @Isa = 'foobar'; Requisiti: · Requisiti perl: · Perl.

tematica Software correlato