Tipografia. Sobily é uma análise estática do tipo de objeto de objeto de compilação.
Baixe Agora

Tipografia. Classificação e resumo

Tipografia. Tag

análise Módulo Perl. objeto tempo de compilação objeto de tempo de compilação Análise estática

Tipografia. Descrição

A especulação é uma análise estática do tipo de objeto de objeto de compilação. Selegy é uma análise estática do tipo de objeto de objeto de compilação.AbstractPerfustor do seu programa antes de ser executado, com uma meta de assegurar que os tipos orientados a objetos são usados de forma consistente - a classe correta (ou uma subclasse) é devolvida no Lugares certos, fornecidos em listas de argumentos de chamada de método nos locais certos, apenas atribuídos às variáveis certas e assim por diante. Este é um recurso padrão de idiomas não dinâmicos, como Java, C ++ e C #. A falta desse recurso é uma das principais razões pelas razões é dito que não é uma linguagem orientada a objetos "real". Pacote Synopsis principal; use a maneira excessiva; # 'resumo', 'debug'; meu foobar $ foo; # estabelecer variáveis verificadas do tipo meu foobar $ bar; # Foobar é a classe base de referências $ bar vai segurar meu bazqux $ baz; $ foo = novo foobar; # Isso tudo bem, porque $ foo detém foobars $ bar = $ foo; # isso é bom, porque $ bar também segura foobars # $ foo = 10; # Isso lançaria um erro - 10 não é um foobar # $ BAZ = $ foo; # não permitido - foobar não é um bazqux $ foo = $ baz; # é permitido - Bazqux é um foobar por causa da herança $ bar = $ foo-> foo ($ BAZ, 1); # Este é ok, como foobar :: foo () retorna foobars também fatorepy :: cheque (); # executar tipo Verifique a análise estática # pacote foobar; use a maneira excessiva; # desnecessário - novo () padrões para protótipo para retornar o mesmo tipo de pacote # proto 'novo', retorna => 'foobar'; sub new {abençoe [], $ _ ; # ou: abençoe tudo, __package__; # ou: abençoe o que quer que "foobar"; # ou: meu tipo $ = turno; abençoe o que quer, $ tipo; # ou: meu tipo $ = turno; $ Type = Ref $ Digite se o tipo REF $; abençoe o que quer, $ tipo; } Sub foo (foobar; bazqux, undef) {my $ me = turno; retornar $ me-> novo (); } # ou: proto 'foo', retorna => 'foobar'; sub foo {my $ me = turno; retornar $ me-> novo (); } # pacote bazqux; use a maneira excessiva; @Isa = 'foobar'; requisitos: · Requisitos de Perl: · Perl.

Tipografia. Software Relacionado