Darstellung einer binären Variablen

Question

Wie finden Sie heraus, wie SBCL (und vielleicht andere Common-Lisp Compiler) eine typisierte Variable darstellt. Beispielsweise übersetzt SBCL eine Variable, die als (member +1 -1) in Typ (or (integer 1 1) (integer -1 -1)) typisiert wird. Aber ist das ein bisschen, ein Fixnum oder vielleicht sogar Bignum?

Answer 1

Gut. Es ist leicht zu überprüfen:

(type-of 1) 
; ==> BIT 
(type-of -1) 
; ==> (integer -281474976710656 (0)) 

So -1 und 1 verschiedenen Typen sind, wie Sie Mehrfachvererbung in CL haben, so dass es wahr ist, dass 1 und -1 viele viele andere Arten sie gemeinsam haben, sind:

(typep 1 'integer) ; ==> t 
(typep 1 'fixnum) ; ==> t 
(typep 1 'number) ; ==> t 
(typep 1 't)  ; ==> t 
(typep 1 'bignum) ; ==> nil 
(typep -1 'integer) ; ==> t 
(typep -1 'fixnum) ; ==> t 
(typep -1 'number) ; ==> t 
(typep -1 't)  ; ==> t 
(typep -1 'bignum) ; ==> nil 

Und natürlich:

(typep -1 '(member +1 -1)) ; ==> t 
(typep 1 '(member +1 -1)) ; ==> t 

1 Also nur ein bisschen beide sind fixnum und keine sind bignums. Die Werte werden höchstwahrscheinlich im Zeiger in den CL-Implementierungen gespeichert, die dies tun. Beachten Sie, dass dieser Typ wenig mit dem eigentlichen Speicher zu tun hat. Beide Werte werden höchstwahrscheinlich als vollständiges Maschinenwort gespeichert, in meinem Fall 8 Bytes (64 Bits) im Zeiger. Für ein Bignum haben Sie die 8 Bytes, um auf ein Heap-Objekt zu zeigen, das zusätzlichen Speicherplatz für den tatsächlichen Wert zugewiesen hat.