从eq函数看，Lisp是否有指针

czx663

(setq a '(1 2 3))
(setq b '(1 2 3))
(setq c a)
(eq a c)
(eq a b)
(equal a b)
(equal a c)
返回值分别:
(1 2 3)
(1 2 3)
(1 2 3)
T
nil
T
T
由此可不可以理解为Lisp内部也是存在类似指针的东西.eq是两个空表或同一个表返回T的,上面代码中,a和b是值相等，但不同内存地址，故eq函数返回nil，a和c是同一内存地址的两个指针，所以a和c表示的同一表，故eq函数返回T？这样理解对吗？

csharp

lisp没有指针，函数名和值是统一的

newer

你解释的挺对的，但是概念上有混淆

是否提供指针这种数据类型是语言

ACADI下二次开发的语言包括LISP,.NET,C++, 只有C++提供指针这个数据类型。

LISP语言里面的函数可不是用LISP写的，是ARX（C++）写的，当然可以写出你理解的来，但那不是LISP语言有的。

csharp

Autolisp是用ARX写的符合Clisp规则的AutoCAD专用Lisp, 各个Lisp分支都没有指针概念

ll_j

我的理解Lisp是有“指针”的，只是是隐含的，这是因为Lisp用户并不针对内存地址直接操作，所以表面上没有提出指针这个概念。
本帖所提(setq c a)之中的c和a其实是与指针无关的，这是两个内存地址，应该是内存“镜像”，或者说“复制”更容易理解。
使用相同内存地址的情况在Lisp中的选择集是典型的例子，可以把这个内存地址赋给多个变量名，但只要一个改变，大家都改变，这种情况才更像“指针”。

czx663

newer 发表于 2014-8-10 18:25
你解释的挺对的，但是概念上有混淆

是否提供指针这种数据类型是语言

可是eq是Lisp的七个基本函数之一啊,上述的(eq a c)返回T,(eq a b)返回nil,尽管a,b,c的值都是相等的,那a和c是不是指向同一内存地址,才认为他们是同一个表呢,a和b尽管值相等,但是不同内存地址才认为不同的表呢.这一点我有点绕

czx663

ll_j 发表于 2014-8-11 08:46
我的理解Lisp是有“指针”的，只是是隐含的，这是因为Lisp用户并不针对内存地址直接操作，所以表面上没有提 ...

有道理,选择集这是使更像指针。也许像楼上说的，这些函数其实就是用ARX定义的，所以就存在C++的特性