指针本质论

原创 2004年03月01日 16:30:00

      我将抱着非谨慎的探讨式的态度来聊聊关于编程语言的一些本质问题,有失偏颇的地方望大家指出。

       编程语言我认为可以分为两种,一种是封闭式的,如VB,JAVA,SMALLTALK等高级语言,另一种是开放式的(或者说可扩充的),如C,C++,汇编(你可能对此有异议)。前者和后者的区别的本质不在于前者是动态语言,后者是静态语言,而在于后者具有“指针”这种机制。注意我这里所说的“指针”是指一种机制是广义的,以下就谈谈“指针”机制在各类语言中的具体表现形态。

     指针在汇编中表现的形态是统一的,那就是存储器地址。无论是代码还是数据的地址,对地址中的内容的处理是统一的不受限制的,同样地址是不受限制的没有类型区别的,借用一下软件工程中的术语说就是指针的原型,即原始形态。

     到了C中指针就有了类型区别,对指针的所指内容的操作也有了限制,最基本的指针分类就是函数指针和数据指针,前者指向代码,后者指向数据,操作方式完全不同,而且同种指针还有不同的“接口”分类,如函数指针的接口类型等,但在C中是不严格的(可以在运行时隐性转化),也正是如此使得C语言的行为难以捉摸。

     而到了C++中,指向对象的指针我个人认为还是称为“句柄”更为合适点,所以指针在面向对象语言中的表现形态是句柄(句柄在动态语言中是高度受限的,难于扩展的)。句柄是指针的高级形态,具有更严格的类型检测,在这里指针类型的转化有严格的原则或通过现式的进行。那么句柄里面到底有些什么呢?我认为里面应该只有一种东西——类型,注意我说的不是类而是类的接口即类型(可能引自抽象代数的泛代数分支中的概念)。那么具体说到底是什么呢?我可以说有两种东西,1。数据的地址及类型,2。函数的指针的地址及类型(即虚表地址,可能是以指针数组的方式实现)。如果一个句柄中包含的以上内容在另一个类型中都有的话,那么后者可以映射到前者,反之将会发生“切割”,这是有离散数学依据的。所以是否可以说指向对象的指针里有虚表地址和成员数据地址及它们的类型标识构成呢?

      有个词汇可能代表着高界的编程技术,近来被人提得比较多,这就是“设计模式”,设计模式之所以如此的重要,在于其可以赋予代码强大的复用能力,而强大的复用性又来自那里呢?我认为主要是代码灵活的运行时动态行为,而运行时的行为的根源又源于什么呢?我认为是指针机制,设计模式实现的基础就是指针机制所带来的间接性。指针是如何带来强大的灵活性的呢?那么指针的本质到底是什么呢?怎样用通俗的比方来说明指针的本质呢(因为最高深的往往是通俗的:))?我正在思考中。。。。。。

       以后,我将继续思考指针的本质问题,希望大家一起来探讨。

 

    

COM本质论——COM是一个好的C++

1.1 软件的分发和C++         把C++作为组件的基础底层结构所带来的问题:以前,C++一直以分发源代码的形式来发布库,这样做是可行的,但存在问题:如果多个程序都使用一个代码库,...
  • SUN_DRAGON
  • SUN_DRAGON
  • 2013年10月28日 17:01
  • 1354

ASP.NET本质论-在线阅读

阅读地址 http://book.51cto.com/art/201102/245000.htm 源代码 http://www.cnblogs.com/haogj/archive/2011/03/0...
  • simadi
  • simadi
  • 2013年05月09日 09:55
  • 922

C#中事件的本质论

C#中的事件本质论最近一段时间在学习C#中的一些比较抽象的东西,就比如说委托和事件,反反复复的学习了几次之后,感觉能稍微懂了一些,在这里和一些学习C#的同学一起来分享一下在说事件之前,先简单的看一下委...
  • qq_33520498
  • qq_33520498
  • 2016年11月29日 21:55
  • 180

C#本质论(第3版)笔记

C#本质论(第3版) 跳转至: 导航、 搜索 目录 1 C#概述2 数据类型3 运算符和控制流4 方法和参数5 类6 继承7 接口8...
  • cteng
  • cteng
  • 2014年10月31日 17:46
  • 1328

软件开发本质论——自然之路

保持简洁,追求价值,循序渐进。从终极的目标看,软件开发和其他非软件产品一样,都是为了尽早提供价值,持续提供价值 .........
  • wireless_com
  • wireless_com
  • 2017年02月12日 19:49
  • 1215

IOCP知识点及疑惑

原文地址:http://hzdiy.iteye.com/blog/778194 2. IOCP发送大数量的问题  有A,B两块数据,如AB两块数据,如果A数据比较大,异步只发送了一部分就返回了,B...
  • mandytong
  • mandytong
  • 2015年08月14日 15:49
  • 567

深入浅出Attribute(中)——Attribute本质论

小序:                   上篇里,我们把Attribute“粘”在类的成员方法上show了一把,让Attribute跟大家混了个脸儿熟。中篇里,我们将探讨“究竟什么是Att...
  • cbbbc
  • cbbbc
  • 2015年10月27日 21:43
  • 1021

ASP.NET本质论开篇

ASP.NET本质论开篇一个用户(Client)在浏览器上输入一个网址http://www.cnblogs.com/meat,然后我们就可以见到到了一个可爱的页面。这背后发生了什么呢?相信大部分看官都...
  • qin_zhangyongheng
  • qin_zhangyongheng
  • 2016年10月20日 00:10
  • 342

COM本质论---第二章 接口

2.1 再谈接口与实现   把接口与实现分离的动机是允许实现类的内部的数据成员的数量和顺序都可以发生变化,但客户无需重新编译,并且允许DLL和客户不必使用同样的C++编译器。前面讲述的技术,虽然提...
  • SUN_DRAGON
  • SUN_DRAGON
  • 2013年10月30日 17:02
  • 659

原型链本质论

注意: 每个类都有一个prototype静态属性(对象实例不能访问),该属性指向一个标识类的对象(原型对象)原型对象上定义了一些内部属性用来描述该类,其中就包括该类的基类的信息。基类也有相同...
  • zhlyks
  • zhlyks
  • 2014年04月03日 17:00
  • 379
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:指针本质论
举报原因:
原因补充:

(最多只允许输入30个字)