对指针的一般认识
单个对象的指针应当被当作一种特殊现象,因为指针默认就是支持加法和减法运算的,说明它一直是被当作对象序列的表示方式,虽然是退化的,对象指针只是长度为1的序列指针。
采用上面的方式也能解释类型转换的意义,正是因为它具有属性的长度信息,而不是仅具有指向关系,从而在类型决断才能判断是否合理,比如长指针变为短指针,etc.
另外从程序设计模型的角度看,被计算对象的对象总是序列,在lisa的实践过程中,也能看出,序列是根本,单个对象可以直接被拷贝,不需要指向关系。
单个对象的指针应当被当作一种特殊现象,因为指针默认就是支持加法和减法运算的,说明它一直是被当作对象序列的表示方式,虽然是退化的,对象指针只是长度为1的序列指针。
采用上面的方式也能解释类型转换的意义,正是因为它具有属性的长度信息,而不是仅具有指向关系,从而在类型决断才能判断是否合理,比如长指针变为短指针,etc.
另外从程序设计模型的角度看,被计算对象的对象总是序列,在lisa的实践过程中,也能看出,序列是根本,单个对象可以直接被拷贝,不需要指向关系。