Welche Funktion hat das Schlüsselwort 'assert' in der Programmiersprache J?

Question

Was ist die Funktion der Kombination assert und -: in J? Unter welchen Umständen werden wir assert anwenden, um fortzufahren? Vielen Dank.

Answer 1

assert ist ein Name für das definierte Verb

assert=: 0 0 $ 13!:8^:((0 e. ])`(12"_)) 

, die tatsächlich kompliziert aussieht, sondern testet nur für ein 0 überall in einem Vektor (0 e. ]) verwendete Wenn eine Null gibt dann (12"_) ist, die eine Art und Weise zu schreiben Ein Verb, das 12 unabhängig von seinem Argument zurückgibt, wird an 13!:8 gesendet, die die fremde Konjunktion ist, die Fehler signalisiert. Nicht überraschend 12 signalisiert eine assert Fehler, was Sie wollen assert verwendet haben. Die 0 0 $ in der Front stellt sicher, dass nach der Fehler Interaktion auf der nächsten Zeile beginnt.

Die monadische Form -: (Halb) kommt normalerweise nicht zum Einsatz, wenn sie mit assert verwendet wird. Dyadic -: (Spiel) kommt ins Spiel, um zu sehen, ob zwei Dinge zueinander passen und es gibt 1, wenn sie sind, und 0 andernfalls. Dies bedeutet, dass die Standardweise der Verwendung von assert und -: zusammen in dieser Form sind.

assert (expected result) -: (computed result) 

Wenn das berechnete Ergebnis stimmt mit dem erwarteten Ergebnis gibt es keine assert Fehler, wenn es dann nicht ein assert Fehler ausgelöst wird. Die Verwendung zahlreicher assert Tests ermöglicht eine testgetriebene Entwicklungsumgebung.