Way on c & c++ 小记 [三]

继续不简单的数据类型。

       昨天没有继续“动笔”,倒是萌发了阅读《东周列国志》的念头,并且看了两章Joel写的《软件随想录》,颇有几分感触。今天再次回到巩固所学的路途上。

       在操作系统中,有一种思想或者技术叫“覆盖”,利用的是某个运行时间段内函数(或其它占据内存的载体)不共存的现象。比如在下表中,main可以调用l-fun()或者r-fun(),但不会同时调用二者;同样地,ll-fun()和rr-fun()也不会共存在同一时间段内。也就是说l-fun()和ll-fun()是main的左子孙,而r-fun()和rr-fun()是main的右子孙,形成了一棵活动树,就有了一种结点间消亡顺序关系:某结点的左兄弟(如果有的话)总是先于该结点消亡,对应于活动记录先出栈(见篇一http://blog.csdn.net/jasonblog/archive/2010/01/27/5261634.aspx)。


主函数main


l-fun();


r-fun();


ll-fun();


rr-fun();

       既然l-fun和r-fun不共存,那么取memSize
= max(l-fun.memSize, r-fun.memSize),即取二者中占内存更大者的内存所需大小,就可以使得二者共用一片内存;ll-fun和rr-fun也同理。

       这种思想让我不由自主地联想起了共用体和共享内存。

       共用体与结构体类似,但是结构体内的成员变量都有独立的内存空间,而共用体是所有成员变量公用一片内存空间,其大小与内存需求最大的成员变量所需相等,并且每次对共用体成员进行访问,都是取其首地址。二者区别见下表:

 

结构体:


……


num


score


str


……

 

共用体:


……


num,score,str


……

 

       也可以换种方式,用代码来看:

#include <stdio.h>

struct sData {
       int num;
       floatscore;
       charstr[20];
};

union uData {
       int num;
       floatscore;
       charstr[20];
};

int main(int argc, char *argv[]){
       structsData sVar1;
       unionuData uVar1;
       printf("%d,%d/n",sizeof(sVar1) ,sizeof(uVar1));
       printf("%02x/t",&sVar1.num);
       printf("%02x/t",&sVar1.score);
       printf("%02x/n",sVar1.str);
       printf("%02x/t",&uVar1.num);
       printf("%02x/t",&uVar1.score);
       printf("%02x/n",uVar1.str);
       return 0;
}

       上述代码的输出如下:

28,20

12f3a4  12f3a8  12f3ac

12f3c0  12f3c0  12f3c0

       从输出可以看出,一是在多成员变量的情况下,共用体所需的内存空间大小相对结构体来讲要小;二是结构体每个成员都有独立的内存空间(即有独立的首地址),而共用体所有成员变量的首地址是一样的,如在上例中都为12f3c0。

       共用体的一个应用让我印象十分深刻,那就是PHP弱类型的实现。以下两段代码形成了一定的联系和对比:

代码一

#include <stdio.h>
#include <string.h>

union uData {
       int num;
       floatscore;
       charstr[20];
};

int main(int argc, char*argv[]){
       unionuData var;
       var.num = 1;
       var.score = 1.1;
       strcpy(var.str, "hello");
       return 0;
}

代码二

<?php
    $var = 1;
    $var = 1.1;
    $var= "hello";

       我是通过这样的比较来初步在自己的脑海里建立起如何用强类型的C语言来实现弱类型的PHP语言。若要继续深入一点,则要揭开一点点zend.h的幕纱。

       在php中,变量的信息统一用一个结构体_zval_struct来保存,以下是摘自5.3.1源码的代码片段:

struct_zval_struct {
       /* Variableinformation */
       zvalue_value value;           /* value */
       zend_uint refcount__gc;
       zend_uchar type;       /* active type */
       zend_uchar is_ref__gc;
};

       而由注释可以知道保存变量值的是value,它是一个zvalue_value类型的变量。该类型的定义在zend.h中的位置刚好是在_zval_struct上方:

typedef union _zvalue_value {
       longlval;                                   /* long value */
       doubledval;                       /* double value */
       struct {
              char*val;
              intlen;
       } str;
       HashTable *ht;                         /* hash tablevalue */
       zend_object_value obj;
}zvalue_value;

       显然可以知道zvalue_value是一个共用体类型的变量。这就是关于强类型C语言如何实现弱类型PHP语言的一点点粗浅知识,但是就是这点粗浅的知识给我的印象却是十分深刻,让我觉得设计思想十分重要,也是我十分欠缺的。

       共用体就暂时告一段落,转向C语言中经典类型:指针。

       在我的理解中,内存就像一栋楼房,每间楼房就好比内存单元,门牌号好比内存地址,楼房内的事物就是内存单元存储的内容,而指针,便如门牌号。举个例子,比如我们有这么一句声明:int *p;
这就表示我们向物业要了一间专门存放门牌号的房间,并且这个房间里面存放的门牌号都必须指向存放int类型数据的房间。

以下是几种指针类型:

int *p;    
表示p是指针,该指针指向int类型的变量。

int * *p;  
表示p是指针,该指针指向指针变量,且后者为指向int类型变量的指针。

int *p[5]; 
表示数组p中的元素为指针。

int (*p)[5];表示p为指针,指向类似a[][5]这样的二维数组。

int *f();  
表示f是一个函数,该函数返回一个指针类型的值。

int (*f)();
表示f是一个指针,该指针指向一个函数入口。

      
相对于共用体给我那个印象深刻的应用,指针也留下了一个不浅的足迹,那就是一堆括号、void、函数以及指针的结合:(*(void(*)()
)0)() 
。第一次见到它那种被震撼到的心情此时仍记忆犹新,真是令人头皮发麻啊!在此不妨先引入一个法则:

The right-left rule:

Start reading the declarationfrom the innermost parentheses, go right, and then go left. When you encounterparentheses, the direction should
be reversed. Once everything in theparentheses has been parsed, jump out of it. Continue till the wholedeclaration has been parsed.

以上是判断指针类型的有效手段,大致意思就是从最里的括号开始,先右后左开始解析,遇到括号则转向。我们以上述例子来进行分析。

       首先,往最里面的括号看可以看到“(*)”,我们可以初步知道这个括号表示一个指针;接着跳出去,先往右再往左瞧可以分析出“(*)()”,对照上面几种指针类型,我们可以进一步知道这个指针指向一个函数入口;继续right-left,可以匹配出“(void
(*)())”来,可以了解到指针指向的函数返回值为void类型;接下来的一步我们小心点地向右看,可以看到数字0,这意味着将数字0强制转换为一个指向返回值为void类型的函数入口的指针(有点拗口^_^),遇到括号后我们再返回来往左看,可以看到星号“*”,而星号放在指针前面是表示取指针变量指向的内容,于是到这个时候我们获得了函数入口地址(这个入口地址为0);继而在最后,我们可以知道整个表达式的功能是调用入口地址为0的函数!为了更深刻地理解,依旧以代码形式进行了解。

    首先,看如下代码:

#include <stdio.h>

void greet(){
       printf("hello/n");
}

int main(int argc, char*argv[]){
       void(*fp)();
       fp = greet;
       (*fp)();   //缩写为:fp();
       printf("%02x/n",*fp);      //同上,这里也可以缩写为:printf("%02x/n", fp);
       return 0;
}

    上述fp是一个指向函数入口的指针,存放的是函数的入口地址,所以*fp为函数的入口地址。接着模仿那个令人发麻的表达式修改一下代码:

#include <stdio.h>

void greet(){
       printf("hello/n");
}

int main(int argc, char*argv[]){
       void(*fp)();
       fp = greet;
       (*fp)();   //缩写为:fp();
       printf("%02x/n",*fp);      //这里输出函数的入口地址,即*fp的内容
       (*(void(*)())(*fp))();    //!!注意这里
       return 0;
}

    运行的结果如下:

hello

401050

hello

    可见程序调用了两次greet函数,一次是通过fp指针获取入口地址进而调用,另一次则是仿造那个“神奇”的表达式。^_^

2010-1-29

----------------------------------------cuttingline----------------------------------------

 

时间: 2024-10-20 10:00:39

Way on c &amp; c++ 小记 [三]的相关文章

工作小记(三)----说说北京生活的乐趣

    对于来北京是充满了期待的,终于来到了首都,这个将来我会在这打拼一段时间的地方.     首先想说的是,北京很大,真的很大:在廊坊的时候,从东园到西院,骑车10分钟左右的路程,都觉得远,当来到北京之后,才发现,原来这么点距离其实真的不远:在北京工作的人,大部分人住的地方都在四环开外,每天上下班挤公交,导地铁,这一下来1,2个小时就没了,走路二十分钟的路程真真的不远.     刚去公司的时候,偶尔有人会问,你们工作几年了,我们就说我们有三年工作经验:然后人家就说看着你们好年轻啊~看着这么向学

【数字图像处理】三.MFC实现图像灰度、采样和量化功能详解

        本文主要讲述基于VC++6.0 MFC图像处理的应用知识,主要结合自己大三所学课程<数字图像处理>及课件进行讲解,主要通过MFC单文档视图实现显示BMP格式图片,并通过Bitmap进行灰度处理.图片采样和量化功能.         个人认为对初学者VC++6.0可能还是很值得学习的工具,所以采用它来讲解,而不是VS或C#.同时文章比较详细基础,希望该篇文章对你有所帮助~        [数字图像处理]一.MFC详解显示BMP格式图片        [数字图像处理]二.MFC单文

【转】 Scrum 过程实践小记

严格来说,不能算是真正的scrum实践,但实践敏捷的过程本身也是一种"敏捷方法",所以就算是"敏捷实践之敏捷开发方法-scrum过程"吧. 一.理论参考:Scrum的实践(该部分摘自网络) 1.Scrum团队(5-7个人的小项目组). 2. Backlog: 急待完成的一系列任务,包括:未细化的产品功能要求.Bugs.缺陷.用户提出的改进.具竞争力的功能及技术升级等,按优先级定义出来,这些任务可能不是完整的,甚至可能随时会更改或添加. 3. Sprint(冲刺):

折腾Oracle问题小菜记[分页存储过程/查询所有表、视图、存储过程/查询表、视图、存储过程字段结构与参数](三)

说明: 为了让CYQ.Data 框架支持Oracle,这几天对Oracle进行了基本探索,并把中间遇到的问题轻轻的记录了下来,与大伙共享.     总共有三篇: 1:初折腾Oracle问题小记 2:初折腾Oracle问题小记二 3:就是本篇了:折腾Oracle问题小菜记(三)   本篇又有新突破,再记录一下:   1:自己写了一条分页存储过程,也是CYQ.Data默认产生的存储过程:   create or replace package MyPackage as  type MyCursor 

【日常小记】统计后缀名为.cc、.c、.h的文件数【转】

转自:http://www.cnblogs.com/skynet/archive/2011/03/29/1998970.html 在项目开发时,有时候想知道源码文件中有多少后缀名为.cc..c..h的文件.下面介绍Linux几种方法统计后缀名为.cc..c..h的文件数的方法. 我以python3的源代码为例,python3的源码共有文件数: 这段时间在学习python3,我就把它作为例子啦.感慨下:Python3跟Python2比变化了好多!有兴趣的同学可以从代码库中checkout代码研究研

Windows 7安装小记

     前两天要在本本上安装VB.NET,结果VS2005的安装程序提示"某些组件必须安装在目录中.请检查您在该目录中是否有写权限以及该目录中是否有足够的空间.",如下图所示.                     Google了一番,有人给出了解决办法,如下: 运行VS2005命令行,浏览到.NET2.0的路径, 一般在C:\WINDOWS\MICROSOFT.NET\FRAMEWORK\V2.0.50727下,然后运行ASPNET_REGIIS.EXE /I.        执

乐在探索,赢在参与——蒙牛阿拉奶粉2010网络营销小记

乐在探索,赢在参与--蒙牛阿拉奶粉2010网络营销小记 三聚氰胺风暴一系列产品信任事件,对本土婴幼儿奶粉市场份额的成长形成了巨大的阻力,众多消费者纷纷转向洋品牌的怀抱.在2010年倾轧遍布的博弈中,蒙牛阿拉发起的"宝宝人生的第一次探索"网络传播活动,在2010奶粉消费市场烙下了极其生动的营销轨迹. 作为欧洲阿拉福兹公司(Arla Foods)与中国蒙牛集团两大全球乳业巨头共同投资的品牌,蒙牛阿拉具有与生俱来的"奶源.技术"全球性品质保障:蒙牛阿拉"为成长探

从图片上传的三个步骤来分析其中的交互过程

传统的图片上传交互很简单:一个文件域要求用户选择图片文件,一个提交按钮(如下图). 这种方式有很多缺点,比如选择图片后看不到预览,一次只能选择一张图,上传过程看不到进度.当然也有它自身的优点:html本身的表单控件,代码简单,上传不易出错,适合低速网络环境.现在富媒体横行的时代,用户需要长传大量图片,这种传统表单的方式上传图片显然已经跟不上时代的需求,基于 flash.html5的新型上传方式被广泛的应用. 我们从上传图片前.上传中.上传后三个步骤来分析其中的交互过程. 上传前 上传图片前一般可

谈谈压缩网页文件大小的三个方法

中介交易 http://www.aliyun.com/zixun/aggregation/6858.html">SEO诊断 淘宝客 云主机 技术大厅 当大家都把目光集中在内容优化和外链优化的时候,那些成功的网站,则通过细节的优化,让网站获得更好的用户体验,让自己的网站从激烈的竞争中脱颖而出!目前网站的SEO优化细节涉及到方方面面,笔者的这篇文章,重点分析的网页文件大小在网站优化方面的作用,从而让大家知道,一个小细节的处理,往往能够获得大回报的道理! 如果把时间逆转到十年前,如果用那时候的网