[原创]发现Lisp类指针操作,可以传递地址直接修改变量的值

不死猫

在第二个函数中修改当前函数局部变量:

2. (defun changeSYM (x)
   
3.   (set x 123)
   
4. )
   
5. (defun c:qq(/ a)
   
6.   (setq a 1)
   
7.   (print (list "初始化a值" a))
   
8.   (changeSYM 'a)
   
9.   (print (list "通过地址赋值后" a))
   
10.   (princ)
    
11. )
    
12. (c:qq)

(defun changeSYM (x)<br />   (set x 123)<br /> )<br /> (defun c:qq(/ a)<br />   (setq a 1)<br />   (print (list "初始化a值" a))<br />   (changeSYM 'a)<br />   (print (list "通过地址赋值后" a))<br />   (princ)<br /> )<br /> (c:qq)

执行结果:
("初始化a值" 1)
("通过地址赋值后" 123)

=====================
通过函数交换局部变量的值:(我通过两个不同的方法来测试变量的改变)

2. ;地址传递可以改变变量的值
   
3. (defun x<->y (x y / z)
   
4.   (setq z (eval x))
   
5.   (set x (eval y))
   
6.   (set y z)
   
7. )
   
8. ;值传递无法改变变量的值(这段不用说必然失败的)
   
9. (defun x-y(x y / z)
   
10.   (setq z x)
    
11.   (setq x y)
    
12.   (setq y z)
    
13. )
    
14. (defun c:tt(/ b c)
    
15.   (setq b 1 c 2)
    
16.   (print (list "初始值" b c))
    
17.   (x-y b c)
    
18.   (print (list "第一次交换" b c))
    
19.   (x<->y 'b 'c)
    
20.   (print (list "第二次交换" b c))
    
21.   (princ)
    
22. )
    
23. (setq b nil c nil x nil y nil z nil)
    
24. (c:tt)
    
25. (list "局部变量自动释放" b c x y z)

;地址传递可以改变变量的值<br /> (defun x<->y (x y / z)<br />   (setq z (eval x))<br />   (set x (eval y))<br />   (set y z)<br /> )<br /> ;值传递无法改变变量的值(这段不用说必然失败的)<br /> (defun x-y(x y / z)<br />   (setq z x)<br />   (setq x y)<br />   (setq y z)<br /> )<br /> (defun c:tt(/ b c)<br />   (setq b 1 c 2)<br />   (print (list "初始值" b c))<br />   (x-y b c)<br />   (print (list "第一次交换" b c))<br />   (x<->y 'b 'c)<br />   (print (list "第二次交换" b c))<br />   (princ)<br /> )<br /> (setq b nil c nil x nil y nil z nil)<br /> (c:tt)<br /> (list "局部变量自动释放" b c x y z)

执行结果:

("初始值" 1 2)
("第一次交换" 1 2)
("第二次交换" 2 1)

czcxxx

不死猫

以前我们想要交换数据的话要这样写
(setq a ...)
(setq a (函数名 a))
现在通过地址修改值的方式
只需写
(函数名 'a)
即可达到对变量a修改的目的.

当我们有很多变量传过去要修改的时候,比如坐标变换.
以前这样写
(setq get (函数名 x y z))
(setq x (car get) y (cadr get) z (last get))
如果这样处理
(函数名 'x 'y 'z)
就不用返回list再单独提取数据了.

q3_2006

猫老师节日快乐.....

什么情况要这样做....写的程序都很简单...这个好厉害的样子....

q3_2006

不死猫 发表于 2014-9-10 12:27
以前我们想要交换数据的话要这样写
(setq a ...)
(setq a (函数名 a))

有点明白了...这样方便......要试试...

不死猫

其实我们在vla-getboundingbox 函数中已经看到了眉目
(vla-getboundingbox object 'pta 'ptb)
为了让我们得到两个坐标点,就通过地址传递的方法返回来两个坐标点
否则我们还要再写一句拆分返回值.

ll_j

这次不太赞同你了，set有指针的意思，但仍旧不能改变局部变量，以你的代码来测试：

2. 命令: (setq a 111)
   
3. 111
   
4. 命令: qq
   
5. ("初始化a值" 1)
   
6. ("通过地址赋值后" 123)
   
7. 命令:
   
8. 命令: !a
   
9. 111

命令: (setq a 111)<br /> 111<br /> 命令: qq<br /> ("初始化a值" 1)<br /> ("通过地址赋值后" 123)<br /> 命令:<br /> 命令: !a<br /> 111

可以看出，先前赋值的变量a，在c:qq中被作为局部变量，虽然经过变换，但退出后仍旧回到原值。
你这里的问题出在，你的变换都是在c:qq一段程序中，而a也是在这个程序中被作为局部变量的，这就是自身检测自身，所以是不成立的。
这里应该是有类似闭包的东西，在程序运行时，上层的环境是封闭起来的，局部变量在程序环境中是全局变量，所以可以变化，但并不影响上层的封闭环境。
有调整局部变量嫌疑的还有选择集函数，但我通过努力，仍旧无法真正调整。

不死猫

ll_j 发表于 2014-9-10 12:45
这次不太赞同你了，set有指针的意思，但仍旧不能改变局部变量，以你的代码来测试：可以看出，先前赋值的变量 ...

注意你的全局变量(setq a 111)是不会进入我程序中的.当然还是111
用全局变量来测试这个传递,本身就是有点误解了.
你的a 与我函数中局部变量 a 被lisp分配为不同的内存地址. 局部变量都是临时开辟的,不会影响全局变量.
通过你用全局变量测试,也从侧面证明了这种传递的地址是调用函数中的a的地址,不会与全局变量冲突,是一个很好的测试证明理论正确的例子:)

ll_j

不死猫 发表于 2014-9-10 12:50
注意你的全局变量(setq a 111)是不会进入我程序中的.当然还是111
用全局变量来测试这个传递,本身就是有 ...

x-y通过z进行交换是最基本的交换，set函数有指针传递的意思。我想你是被绕住了，再想想

不死猫

如果你想改变全局变量请这样写:
命令: (setq a 111)
111
命令: (changeSYM 'a)
123
命令: !a
123

不死猫

x-y 是我说明仅仅通过值传递是不能改变当前函数变量的值,通过x<->y地址传递才可以.
我没有写清楚注释 sorry 已补充注释.