형식 유형 파일은 컴파일 타임 객체 유형 사용 정적 분석입니다.
지금 다운로드

형식 순위 및 요약

형식 태그

분석 Perl 모듈 물체 컴파일 시간 컴파일 타임 객체 정적 분석

형식 설명

Typessafety는 컴파일 타임 객체 유형 사용 정적 분석입니다. TypessaFety는 객체 지향 유형이 일관되게 사용되도록하는 것을 보장하기 전에 프로그램에 대한 컴파일 타임 객체 유형 사용 정적 분석입니다. 오른쪽 변수에만 메서드 호출 인수 목록에만 제공되는 오른쪽 위치는 오른쪽 변수에만 제공됩니다. 이것은 Java, C ++ 및 C #과 같은 동적 언어의 표준 기능입니다. 이 기능의 부족은 주된 이유 중 하나입니다. Perl은 "실제"객체 지향 언어가 아니라고 말하지 않습니다. 유형을 사용하십시오. # '요약', '디버그'; 내 foobar $ foo; # 유형 체크 변수가 내 foobar $ bar를 설정하십시오. # Foobar는 참고 문헌의 기본 클래스입니다 $ baz는 bazqux $ baz를 보유합니다. $ foo = 새로운 foobar; # $ foo가 fobars $ bar = $ foo를 보유하고 있기 때문에 이것은 괜찮습니다. # 괜찮아요, $ ba는 fobars # $ foo = 10을 보유하고 있기 때문에 괜찮습니다. # 이것은 오류를 던질 것입니다 - 10은 foobar # $ baz = $ foo가 아닙니다. # 허용되지 않습니다 - Foobar는 Bazqux $ foo = $ BAZ가 아닙니다. # 허용됩니다 - Bazqux는 상속으로 $ bar = $ foo-> foo ($ baz, 1) 때문에 foobar입니다. # 이것은 괜찮습니다 : foobar :: foo ()은 foobars를 돌려줍니다. # 유형 유형 체크 정적 분석 # 패키지 foobar; 유형을 사용하십시오. # 불필요한 - new () 기본값은 프로토 타입을 패키지 # proto 'new'와 같은 유형으로 되돌립니다. => 'foobar'; 하위 {축복 [], $ _ ; # 또는 : 축복이 무엇이든, __package__; # 또는 : 축복이 무엇이든, 'foobar'; # 또는 : $ type = shift; 무엇이든, $ type; # 또는 : $ type = shift; $ type = ref $ type ref $ type; 무엇이든, $ type; } 서브 foo (foobar; bazqux, undef) {나의 $ me = shift; $ ME-> new ()를 반환합니다. } # 또는 : proto 'foo', 반환 => 'foobar'; 서브 foo {my $ me = shift; $ ME-> new ()를 반환합니다. } # 패키지 Bazqux; 유형을 사용하십시오. @isa = 'foobar'; 요구 사항 : · Perl 요구 사항 : · Perl.

형식 관련 소프트웨어