- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
Peter Seibel 在 Practical Common Lisp 中写道,“至少在概念上,Common Lisp 中的所有值都是对对象的引用。”
我用下面的代码尝试了这个概念:
(setf x 5)
(setf y x)
(print x) % output: x is 5
(print y) % output: y is 5
(setf x 6)
(print x) % output: x is 6
(print y) % output: y is 5
如果 Lisp 是按对象引用传递的,y 应该指向 x,因此将 x 更改为 6 也应该将 y 更改为 6。但事实并非如此。看起来 Lisp 是按对象值传递的。谁能帮忙解释一下发生了什么?
最佳答案
小整数在 Lisp 实现中通常不是引用。在 Common Lisp 中说所有值都是引用是不正确的。在怀疑值是引用的情况下编程通常是更安全的假设,更符合编写正确的代码。
但是,您的示例与作为引用实现的小整数一致。这并不能证明它们不是。
如果一个变量x
持有一个整数,如 5
, 然后我们分配给 x
与 (setf x 4)
, 我们没有改变对象 5
进入4
.我们正在改变变量绑定(bind) x
: 我们已经覆盖了 5
以前在 x
中的值使用新值 4
.
即使我们使用正引用到堆中的对象,如 cons 单元,这也会起作用:
(setf x '(1 . 2))
(setf y x)
y -> (1 . 2)
(setf x '(4 . 5))
y -> (1 . 2)
x
和 y
是自变量,并且独立地保存对 cons 单元格的引用。 x
最初持有对 (1 . 2)
的引用目的。我们分配 x
至 y
,所以现在 y
还持有对 (1 . 2)
的引用.它有自己的引用副本。那么当我们分配 (4 . 5)
时, x
的引用被对 (4 . 5)
的引用覆盖,但是 y
不受影响。为什么会这样?
我们如何证明 conses 使用引用语义是通过改变单元格本身:
(setf x (cons 1 2)) ;; we better not use a literal any more!
x -> (1 . 2)
(setf y x)
y -> (1 . 2)
;; now mutate
(rplaca x 10)
(rplacd x 20)
x -> (10 . 20)
y -> (10 . 20)
自从改变存储在 x
中的单元格使突变出现在存储在 y
中的单元格上,我们知道 x
和 y
必须持有对同一对象的引用。
问题来了:我们不能用整数来执行这个测试,因为整数是不可变的!没有类似rplaca
的功能这将破坏代表 1
的实际位, 并将它们变成 10
.
eq
函数没有帮助,因为它所能做的就是确认这两个值是同一个对象:
(setf x 5)
(setf y x)
(eq x y) -> ?
如果这个eq
调用返回 T
, 然后 x
和 y
是同一个对象。我说 if 是因为 ANSI Common Lisp 让这个实现特定化。允许实现产生 NIL
!
但是,它会产生 T
在将小整数(fixnums)直接打包到一个值中的实现中,而不是指向装箱堆对象的指针(流行的实现方法)。也就是说,像 4
这样的值在它出现的任何地方都被认为是一个对象,即使它是通过复制一个包含表示 4
的位模式的值来传播的。直接。
因此或多或少归结为您只需要知道您的实现是如何工作的就可以确定哪些类型的对象是引用。
关于lisp - 在 Common Lisp 中通过对象引用传递,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/62235018/
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: template pass by value or const reference or…? 以下对于将函数
我用相同的参数列表重载了一个运算符两次。但返回类型不同: T& operator()(par_list){blablabla} const T& operator()(par_list){bla
假设我有实现接口(interface) I 的 Activity A。我的 ViewModel 类 (VM) 持有对实现接口(interface) I 的对象的引用: class A extends
PHP 如何解释 &$this ?为什么允许? 我遇到了以下问题,这看起来像是 PHP 7.1 和 7.2 中的错误。它与 &$this 引用和跨命名空间调用以及 call_user_func_arr
谁能解释一下下面“&”的作用: class TEST { } $abc =& new TEST(); 我知道这是引用。但是有人可以说明我为什么以及什么时候需要这样的东西吗?或者给我指向一个对此有很好解
引用变量是一个别名,也就是说,它是某个已存在变量的另一个名字。一旦把引用初始化为某个变量,就可以使用该引用名称或变量名称来指向变量。 C++ 引用 vs 指针 引用很容易与指针混淆,它们之间有三
目录 引言 背景 结论 引言 我选择写C++中的引用是因为我感觉大多数人误解了引用。而我之所以有这个感受是因为我主持过很多C++的面试,并且我很少
Perl 中的引用是指一个标量类型可以指向变量、数组、哈希表(也叫关联数组)甚至函数,可以应用在程序的任何地方 创建引用 定义变量的时候,在变量名前面加个 \,就得到了这个变量的一个引用 $sc
我编写了一个将从主脚本加载的 Perl 模块。该模块使用在主脚本中定义的子程序(我不是维护者)。 对于主脚本中的一个子例程,需要扩展,但我不想修补主脚本。相反,我想覆盖我的模块中的函数并保存对原始子例
我花了几个小时试图掌握 F# Quotations,但我遇到了一些障碍。我的要求是从可区分的联合类型中取出简单的函数(只是整数、+、-、/、*)并生成一个表达式树,最终将用于生成 C 代码。我知道使用
很多时候,问题(尤其是那些标记为 regex 的问题)询问验证密码的方法。似乎用户通常会寻求密码验证方法,包括确保密码包含特定字符、匹配特定模式和/或遵守最少字符数。这篇文章旨在帮助用户找到合适的密码
我想通过 MIN 函数内的地址(例如,C800)引用包含文本的最后一个单元格。你能帮忙吗? Sub Set_Formula() ' ----------------------------- Dim
使用常规的 for 循环,我可以做类似的事情: for (let i = 0; i < objects.length; i++) { delete objects[i]; } 常规的 for-
在 Cucumber 中,您定义了定义 BDD 语法的步骤;例如,您的测试可能有: When I navigate to step 3 然后你可以定义一个步骤: When /^I navigate t
这是什么UnaryExpression的目的,以及应该怎样使用? 最佳答案 它需要一个 Expression对象并用另一个 Expression 包裹它.例如,如果您有一个用于 lambda 的表达式
给出以下内容 $("#identifier div:first, #idetifier2").fadeOut(300,function() { // I need to reference jus
我不知道我要找的东西的正确术语,但我要找的是一个完整的引用,可以放在双引号之间的语句,比如 *, node()、@* 以及所有列出的 here加上任何其他存在的。 我链接到的答案提供了一些细节,但还
This question's answers are a community effort。编辑现有答案以改善此职位。它当前不接受新的答案或互动。 这是什么? 这是常见问答的集合。这也是一个社区Wi
Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。 想改善这个问题吗?更新问题,以便将其作为on-topic
考虑下一个代码: fn get_ref(slice: &'a Vec, f: fn(&'a Vec) -> R) -> R where R: 'a, { f(slice) } fn m
我是一名优秀的程序员,十分优秀!