- android - 多次调用 OnPrimaryClipChangedListener
- android - 无法更新 RecyclerView 中的 TextView 字段
- android.database.CursorIndexOutOfBoundsException : Index 0 requested, 光标大小为 0
- android - 使用 AppCompat 时,我们是否需要明确指定其 UI 组件(Spinner、EditText)颜色
Common Lisp 中的值函数只是语法糖,用于将多个值打包到一个列表中,该列表会被调用者解构吗?我问是因为我认为 Common Lisp 支持“真正的”多值返回,而不是像 python 等其他语言那样返回元组或列表。有人刚刚告诉我这只是语法糖,所以我希望有人好心解释一下。为了尝试理解 values 函数返回的类型,我输入了 (type-of (values 1 2 3))
,输出为 BIT
。我在 Common Lisp 引用资料中搜索了它,但在数据类型部分找不到它。另外,任何人都可以分享一些资源来建议如何在 Common Lisp 中实现值功能吗?。谢谢。
最佳答案
语言 Common lisp在 ANSI 标准 INCITS 226-1994 (R2004) 中进行了描述,并且有许多实现。每个都可以实现multiple values在它认为合适的情况下,当然,他们可以为他们列一个 list (实际上,the Emacs Lisp compatibility layer for CL does justthat -但它是,强调和有意地,不是 Common Lisp 实现)。
但是,此设施的目的是为了让通过(至少一些)多个值 without cons (即,没有分配 heap内存)和所有CL我知道的实现是这样做的。从这个意义上说,多值设施是一种优化。
当然,此功能的实现可能因人而异不同的平台和场景。例如,前几个(例如 20 -required by the standard )是存储在线程局部向量的静态中,接下来的几个(1000?)是分配在堆栈上,其余的(如果需要)分配在堆作为向量或列表。
例如,函数 floor
返回两个值。如果你写
(setq a (floor 10 3))
你只捕获第一个并丢弃第二个,你需要写
(setf (values q r) (floor 10 3))
捕获两个值。这类似于 otherlanguages可能表示为
q,r = floor(10,3)
使用 tuples , 除了 CL 做不分配内存来传递(仅几个)多个值,并且其他语言通常也是如此。
IOW,可以将多个值视为一个临时结构。
请注意,CL 可以将多个值转换为列表:
(destructuring-bind (q r) (multiple-value-list (floor 10 3))
; use q & r here
...)
而不是更高效简洁
(multiple-value-bind (q r) (floor 10 3)
; use q & r here
...)
CL 没有“多值对象”的特殊类型正是因为它没有分配一个单独的对象来传递围绕多个值。从这个意义上说,我们确实可以声称 values
是句法糖。
但是,在 CL 中可以 declare A function type返回 multiple values :
(declaim (ftype (real &optional real) (values real real)) floor)
这意味着 floor
返回两个值,两者 real
s(相对于返回(values real real)
类型的值,即,在这种情况下,可能声明滥用符号。
在您的具体情况下,type-of
是普通函数(即不是宏或特殊运算符)。您将单个对象 1 传递给它,因为除非您使用 multiple-value-bind
和 friend ,只使用第一个值,所以
(type-of (values 1 2 3))
等同于
(type-of 1)
1 的类型是 bit
.
一次使用values
是为了控制函数的返回值。通常 CL 函数的返回值是最后一种形式的返回值。有时这是不可取的,例如,最后一个表格返回多个values 并且你希望你的函数返回一个值(或者没有,喜欢void
在 C
中:
(defun 2values (x y)
(floor y x))
(defun 1value (x y)
(values (floor y x)))
(defun no-values (x)
(print x)
(values))
关于lisp - Common Lisp 中的值函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/22795608/
最近,我开始学习 cuis-smalltalk,我没有意识到与 CLOS 相比,Smalltalk 的 OOP 有多么深刻和深入(我使用的是 Ruby)。我了解到 Smalltalk 是一个自己实现的
Maven存储库包含以下两个依赖项:org.apache.commons:commons-io:1.3.2和commons-io:commons-io:1.3.2。有什么区别,我应该在pom.xml中
我刚刚在我的 pom 文件中看到 Apache commons-collections 有两个不同的组 ID: commons-collections commons-collect
Windows 上的 Common Lisp 中是否有用于串行端口通信的库? 最佳答案 下面是一些使用 SBCL 外部函数 POSIX 调用实现串行通信的函数。它不如完整的库好,但我解决了根据此协议(
SBCL 64位,1.1.7 如果我想创建一个包并使用package:CL中的一些符号,我将创建一个像这样的包: (defpackage :foo (:import-from :cl
我正在忙着学习Common Lisp,并且正在寻找一种静态代码分析工具,该工具将帮助我开发更好的样式并避免陷入常见的陷阱。 我找到了Lisp Critic,看起来不错,但我希望有人可以推荐其他一些工具
我正在阅读《Practical Common Lisp》一书,在第 22 章第 284 页的脚注 5 中,我看到一段让我感到困惑的代码片段。 我知道变量list和tail有一个共同的列表结构,但我很困
我正在阅读 Practical Common Lisp ,并且对 Lisp 的 COPY-TREE 函数有疑问。 书中给出了调用的例子 (copy-tree '( '(1 2) '(3 4) '(5
我正在尝试使用 user guide 中的抓取示例运行 geb用于引入依赖项: $ cat my.groovy @Grapes([ @Grab("org.gebish:geb-core:0.9
这里一定有更好的方法,对吧? (format t "Enter your age: ~%") (defun age-case (age) (case age (1 (format t "Y
如何在 do 循环中绑定(bind)从函数返回的多个值? 以下显然是非常错误的,但是这样的事情可能吗? (do (((x y z) (3-val-fn) (3-val-fn))) ((equa
所以我正在学习 Lisp 做分数,这很棒。但是为什么这个相等性检查返回 NIL: * (= 0.2 1/5) NIL ...如果转换为 float 则返回 True第一的: * (=
是否可以“统计”一个文件并找到它的文件类型 - 常规或目录? 最佳答案 阅读关于 portable pathname library 的章节来自 Peter Seibel 的 Practical Co
我是 CL 的新手,正在使用 AllegroCL。我试图弄清楚如何组织我的源代码以满足以下要求: 我想阻止 src 代码包含我的测试套件。 我想以可移植的方式声明项目依赖项(src 和 test de
谁能告诉我最新的标准化 Common Lisp 的文档是什么(应该遵循各种实现的文档)?我问是因为我可以在网上找到很多关于 CL 的书都来自 90 年代,所以我想知道它们是否是最新的。我也来自于在 R
假设我必须定义一个名为foo 的函数。假设,为了定义它,我使用了一些辅助函数 foo1, foo2, foo3, ... 当我加载包含这些函数的文件时,我可以从顶层使用所有这些函数。相反,我只想从顶层
这拒绝编译。注释掉 (setf roll行让它编译。然而,(setf roll...本身在 REPL 中正确评估。 程序: ;; loop n times ; sum up number of hit
我目前正在学习 Common Lisp,并尝试将一些 JSON 发送到网络服务。我要发送的 JSON 以类似于以下的结构表示: ((:ITEMS ((:KEY . "value1") (:IGNO
我有一个带波浪号的目录名(作为字符串):~/projects . 我想得到它的完整路径:/home/user/projects .我怎么做 ? 目标是将它传递给 uiop:run-program ,这
我想从输入文件中读取一个字符串(用户可能修改也可能没有修改)。我想将此字符串视为使用固定数量的参数调用的格式指令。但是,我知道某些格式指令(特别是我想到的 ~/)可能会用于注入(inject)函数调用
我是一名优秀的程序员,十分优秀!