共计 4502 个字符，预计需要花费 12 分钟才能阅读完成。
在 Common Lisp 中，打印整数个别用函数format。例如，下面的代码会往规范输入中打印出 233 这个数字：
(format t "~D" 233)
除此之外，format还能够管制打印内容的宽度、填充字符、是否打印正负号等方面。例如，要管制打印的内容至多占据 6 列的话，能够用如下代码
(format t "~6D" 233)
如果不应用字符串模式的 DSL，而是以关键字参数的形式来实现一个可能达到同样成果的函数format-decimal，代码可能如下：
| (defun format-decimal (n | |
| &key | |
| mincol) | |
| " 打印整数 N 到规范输入。MINCOL 如果不为 NIL，则示意所打印的内容至多要占据的列数。" | |
| ;; 通过取余的形式失去 N 的每一位并一一入栈，之后出栈的程序就是从左到右打印的程序了。(let ((digits '())) | |
| (cond ((zerop n) | |
| (push 0 digits)) | |
| (t | |
| (do ((n n (truncate n 10))) | |
| ((zerop n)) | |
| (push (rem n 10) digits)))) | |
| ;; 打印出填充用的空格。(when (and (integerp mincol) (> mincol (length digits))) | |
| (dotimes (i (- mincol (length digits))) | |
| (declare (ignorable i)) | |
| (princ #\Space))) | |
| (dolist (digit digits) | |
| (princ (code-char (+ digit (char-code #\0))))))) | |
| (format-decimal 233 :mincol 6) |
如果要求用数字 0 而不是空格来填充左侧的列，用 format 的写法如下：
(format t "~6,'0D" 233)
format-decimal想要做到同样的事件，能够这么写：
| (defun format-decimal (n | |
| &key | |
| mincol | |
| (padchar #\Space)) | |
| " 打印整数 N 到规范输入。MINCOL 如果不为 NIL，则示意所打印的内容至多要占据的列数。PADCHAR 表达式为了填充多余的列时所用的字符。" | |
| (check-type mincol (or integer null)) | |
| (check-type padchar character) | |
| ;; 通过取余的形式失去 N 的每一位并一一入栈，之后出栈的程序就是从左到右打印的程序了。(let ((digits '())) | |
| (cond ((zerop n) | |
| (push 0 digits)) | |
| (t | |
| (do ((n n (truncate n 10))) | |
| ((zerop n)) | |
| (push (rem n 10) digits)))) | |
| ;; 打印出填充用的空格。(when (and (integerp mincol) (> mincol (length digits))) | |
| (dotimes (i (- mincol (length digits))) | |
| (declare (ignorable i)) | |
| (princ padchar))) | |
| (dolist (digit digits) | |
| (princ (code-char (+ digit (char-code #\0))))))) | |
| (format-decimal 233 :mincol 6 :padchar #\0) |
-D默认是不会打印非负整数的符号的，能够用修饰符 @ 来批改这个行为。例如，(format t "~6,'0@D" 233)会打印出 00+233。略微批改一下就能够在format-decimal 中实现同样的性能
| (defun format-decimal (n | |
| &key | |
| mincol | |
| (padchar #\Space) | |
| signed) | |
| " 打印整数 N 到规范输入。MINCOL 如果不为 NIL，则示意所打印的内容至多要占据的列数。PADCHAR 表达式为了填充多余的列时所用的字符。" | |
| (check-type mincol (or integer null)) | |
| (check-type padchar character) | |
| (flet ((to-digits (n) | |
| ;; 通过取余的形式失去 N 的每一位并一一入栈，之后出栈的程序就是从左到右打印的程序了。(let ((digits '())) | |
| (cond ((zerop n) | |
| (push #\0 digits)) | |
| (t | |
| (do ((n n (truncate n 10))) | |
| ((zerop n)) | |
| (push (code-char (+ (rem n 10) (char-code #\0))) digits)))) | |
| digits))) | |
| ;; 通过取余的形式失去 N 的每一位并一一入栈，之后出栈的程序就是从左到右打印的程序了。(let ((digits (to-digits (abs n)))) | |
| (when (or signed (< n 0)) | |
| (push (if (< n 0) #\- #\+) digits)) | |
| ;; 打印出填充用的空格。(when (and (integerp mincol) (> mincol (length digits))) | |
| (dotimes (i (- mincol (length digits))) | |
| (declare (ignorable i)) | |
| (princ padchar))) | |
| (dolist (digit digits) | |
| (princ digit))))) | |
| (format-decimal 233 :mincol 6 :padchar #\0 :signed t) |
除了 @ 之外，:也是一个 ~D 的修饰符，它能够让 format 每隔 3 个数字就打印出一个逗号，不便浏览比拟长的数字。例如，下列代码会打印出00+23,333：
(format t "~9,'0@:D" 23333)
为此，给 format-decimal 新增一个关键字参数 comma-separated 来管制这一行为。
| (defun format-decimal (n | |
| &key | |
| comma-separated | |
| mincol | |
| (padchar #\Space) | |
| signed) | |
| " 打印整数 N 到规范输入。COMMA-SEPARATED 如果为 T，则每打印 3 个字符就打印一个逗号。MINCOL 如果不为 NIL，则示意所打印的内容至多要占据的列数。PADCHAR 示意填充多余的列时所用的字符。SIGNED 管制是否显示非负整数的加号。" | |
| (check-type comma-separated boolean) | |
| (check-type mincol (or integer null)) | |
| (check-type padchar character) | |
| (check-type signed boolean) | |
| (flet ((to-digits (n) | |
| ;; 通过取余的形式失去 N 的每一位并一一入栈，之后出栈的程序就是从左到右打印的程序了。(let ((digits '())) | |
| (cond ((zerop n) | |
| (push #\0 digits)) | |
| (t | |
| (do ((count 0 (1+ count)) | |
| (n n (truncate n 10))) | |
| ((zerop n)) | |
| (when (and comma-separated (> count 0) (zerop (rem count 3))) | |
| (push #\, digits)) | |
| (push (code-char (+ (rem n 10) (char-code #\0))) digits)))) | |
| digits))) | |
| ;; 通过取余的形式失去 N 的每一位并一一入栈，之后出栈的程序就是从左到右打印的程序了。(let ((digits (to-digits (abs n)))) | |
| (when (or signed (< n 0)) | |
| (push (if (< n 0) #\- #\+) digits)) | |
| ;; 打印出填充用的空格。(when (and (integerp mincol) (> mincol (length digits))) | |
| (dotimes (i (- mincol (length digits))) | |
| (declare (ignorable i)) | |
| (princ padchar))) | |
| (dolist (digit digits) | |
| (princ digit))))) | |
| (format-decimal -23333 :comma-separated t :mincol 9 :padchar #\0 :signed t) |
事实上，打印分隔符的步长，以及作为分隔符的逗号都是能够定制的。例如，能够改为每隔 4 个数字打印一个连字符
(format t "~9,'0,'-,4@:D" 23333)
对于 format-decimal 来说这个批改当初很简略了
| (defun format-decimal (n | |
| &key | |
| (commachar #\,) | |
| (comma-interval 3) | |
| comma-separated | |
| mincol | |
| (padchar #\Space) | |
| signed) | |
| " 打印整数 N 到规范输入。COMMACHAR 示意当须要打印分隔符时的分隔符。COMMA-INTERVAL 示意当须要打印分隔符时须要距离的步长。COMMA-SEPARATED 如果为 T，则每打印 3 个字符就打印一个逗号。MINCOL 如果不为 NIL，则示意所打印的内容至多要占据的列数。PADCHAR 示意填充多余的列时所用的字符。SIGNED 管制是否显示非负整数的加号。" | |
| (check-type commachar character) | |
| (check-type comma-interval integer) | |
| (check-type comma-separated boolean) | |
| (check-type mincol (or integer null)) | |
| (check-type padchar character) | |
| (check-type signed boolean) | |
| (flet ((to-digits (n) | |
| ;; 通过取余的形式失去 N 的每一位并一一入栈，之后出栈的程序就是从左到右打印的程序了。(let ((digits '())) | |
| (cond ((zerop n) | |
| (push #\0 digits)) | |
| (t | |
| (do ((count 0 (1+ count)) | |
| (n n (truncate n 10))) | |
| ((zerop n)) | |
| (when (and comma-separated (> count 0) (zerop (rem count comma-interval))) | |
| (push commachar digits)) | |
| (push (code-char (+ (rem n 10) (char-code #\0))) digits)))) | |
| digits))) | |
| ;; 通过取余的形式失去 N 的每一位并一一入栈，之后出栈的程序就是从左到右打印的程序了。(let ((digits (to-digits (abs n)))) | |
| (when (or signed (< n 0)) | |
| (push (if (< n 0) #\- #\+) digits)) | |
| ;; 打印出填充用的空格。(when (and (integerp mincol) (> mincol (length digits))) | |
| (dotimes (i (- mincol (length digits))) | |
| (declare (ignorable i)) | |
| (princ padchar))) | |
| (dolist (digit digits) | |
| (princ digit))))) | |
| (format-decimal -23333 :commachar #\- :comma-interval 4 :comma-separated t :mincol 9 :padchar #\0 :signed t) |
全文完。
浏览原文
正文完
