Wie machen Sie Design by Contract in Perl?

Question

Ich verwende DBC in unseren Perl-Projekten zu untersuchen, und ich versuche, den besten Weg zu finden, Verträge in der Quelle zu überprüfen (zB Überprüfung Pre/Post-Bedingungen, Invarianten, etc.) von

Class::Contract geschrieben wurde Damian Conway und wird jetzt von C. Garret Goebel gepflegt, aber es sieht so aus, als ob es seit über 8 Jahren nicht mehr berührt wurde.

Es sieht so aus, als ob ich Moose verwenden möchte, da es so aussieht, als könnte es Funktionalität bieten, die für DbC verwendet werden könnte, aber ich fragte mich, ob jemand irgendwelche Ressourcen (Artikel, etc.) hatte Darüber oder wenn es irgendwelche hilfreichen Module gibt, die ich nicht finden konnte.

Wer macht DbC mit Perl? Soll ich einfach zu Moose "springen" und sehen, was ich für mich tun kann?

Answer 1

Moose gibt Ihnen viele Werkzeuge (wenn nicht der ganze Zucker), um DbC zu machen. Insbesondere können Sie die Before, After- und Around-Methoden-Hooks (here'ssome examples) verwenden, um alle Behauptungen auszuführen, die Sie möglicherweise für Argumente und Rückgabewerte ausführen möchten.

Als Alternative zum "eigenen DbC" können Sie ein Modul wie MooseX::Method::Signatures oder MooseX::Method verwenden, um die Validierung von Parametern zu überprüfen, die an ein Unterprogramm übergeben werden. Diese Module verarbeiten jedoch nicht die "Post" - oder "invarianten" Validierungen, die DbC normalerweise bietet.

EDIT: Motiviert durch diese Frage habe ich zusammen MooseX::Contract gehackt und es auf den CPAN hochgeladen. Ich wäre neugierig, Feedback zu der API zu bekommen, da ich DbC nie wirklich aus erster Hand benutzt habe.

Answer 2

Moose ist ein ausgezeichnetes System für Perl, und ich empfehle es für jeden, der Objekte in Perl programmiert. Sie können "Subtypen" für Ihre Klassenmitglieder angeben, die erzwungen werden, wenn sie von Accessoren oder Konstruktoren gesetzt werden (dasselbe System kann mit dem Moose :: Methods-Paket für Funktionen verwendet werden). Wenn Sie mehr als einen Liner codieren, verwenden Sie Moose;

Wie für DbC, vielleicht nicht die beste Lösung für Perl5. In einer Sprache, die Ihnen sehr wenige Garantien bietet, wird es schwierig. Persönlich, in vielen dynamischen Sprachen, vor allem aber in Perl, tendiere ich dazu, meine Leitphilosophie DRY und testgetriebene Entwicklung zu machen.

Answer 3

Ich würde auch empfehlen, Moose zu verwenden.

Aber als "Alternative" werfen Sie einen Blick auf Sub::Contract.

den Autor zu zitieren ....

Sub :: Vertrag bietet eine pragmatische Art und Weise Teile der Programmierung durch Vertrag Paradigma in Perl zu implementieren.

Sub :: Contract ist kein Design-by-Contract-Framework.

Sub :: Contract zielt darauf ab, es sehr einfach zu machen, Subroutinen-Eingabeargumente einzuschränken und Werte zurückzugeben, um starke Typisierung zur Laufzeit zu emulieren.

Answer 4

Wenn Sie keine Klasseninvarianten benötigen, habe ich die folgende Perl Hacks Buchempfehlung als eine gute Lösung für einige Programme gefunden. Siehe Smart::Comments.