[LISP程序]：求教：请各位大虾指正

njzx05

我在学习LISP的过程中，遇到了一些问题，因些作了一个大胆的推测，而且我自己还没办法推翻这个推测。不过如果这个推测成立的话，那么可能很多关于LISP的书中，对原子的定义都将是错误的。

推测的结论如下：
AutoLisp的符号原子，可能是带有结构的，其结构可能是这样的：（符号名标志符　值的数据类型　值的地址指针）
理由：
1、符号原子可以接受任何类型的值
2、符号原子数据类型的长度是可变的。
3、符号名标志符是不可以通过普通的赋值手段进行修改的。
4、因为从整体LISP 上看，它都是基于表式同构的，LISP中类似同构的表比比皆是，因此很有可能在符号原子的处理上，也是采取了这样的逻辑结构。


推测过程
由于LISP中既要表示出符号名，又要给符号原子分配存储数据的空间，因此至少要用个两元组来解决该问题。
若LISP在名字处理上，采用的是两元组的结构，可能是这样的：LISP的解释程序中存放了两张表，这两张表中的数据长度都是定长的，一张用于存放符号型数据的符号名的，另一张用来存放值的地址，这两张表的单元是一一对应的，可以根据符号名在表中的位置，寻得地址表中地址的存放位置。
若LISP是根据名字空间的分页来确定符号类型的，则一旦名字建立了，那么他的数据类型也就同时建立了。这与符号原子可以接受多种类型的值相冲突，故不可能。
若不是通过名字空间的分页，而是通过地址空间的分段来识别数据类型的话，则无法实现名字空间与地址空间在逻辑上的对应关系，故本条亦不可能。
若是通过数据空间的分段，来实现类型识别的话，当该符号原子指向的是另一符号原子时，由于可以对其进行再赋值操作，将导致被指向的符号原子的符号名标志符可以改变，这于理由2冲突，亦不可能。
若是通过数据空间的分段，来实现类型识别的话，但在符号原子的值亦为符号类型时，是通过映射值所代表的符号原子的符号名到数据空间来实现的话，将无法对该值进行现寻址的操作，若可以再寻址，则将导致数据空间与地址空间的重叠，使程序无法知道哪个空间的数据是地址，哪个空间的数据是立即数。故本条亦不可能。
由于采用二元表的形式无法确定数据的类型，故对符号原子的值的长度可以改变，亦不可能实现。因此，只能采用三元表的形式来定义符号名。



唉，说得有点乱，我头发昏了，LISP里的好多问题真的让我很头痛，总是捉摸不透，似是而非的，可我又不甘心只是停留在这种似是而非的被动的使用上，要是有人能给我提供一个该语言定义的算法就好了。

zxq0220

LISP是采用数据链表的结构存储数据和程序的。
在LISP中首先在数据区中的变量区顺序分配并存储变量名，在变量名后跟着地址，指向实际数据保存分配地址。
早期计算机内存小的时候，写LISP程序时变量名最好不要超过6个字母。这是因为变量保存为固定格式，如果超过6个字母就要增加字节来保存变量名。现在计算机内存大了，可以不用这样节约了。