程序博客网 > 程序员标配

用汇编的眼光看C++（之const属性） .(之模板类） .

来源：互联网 发布：程序员标配 编辑：程序博客网 时间：2024/05/18 03:52
【 声明：版权所有，欢迎转载，请勿用于商业用途。  联系信箱：feixiaoxing @163.com】


    const是C/C++语言中的关键字，但是如果用的好，可以极大地提高代码的健壮性。一般来说const使用的地方还是蛮多的，但是主要还是下面几个地方：（1）普通变量的保护；（2）地址空间的保护；（3）类初始变量的声明和保护；（4）类变量在函数中的保护。const的保护主要来自于编译器层面，和程序的运行没有关系。

    （1）普通变量的保护

[cpp] view plaincopyprint?
  1. const int data = 10;  
  2. const char str = 'a';  
  3. const double pi = 3.14;  
    上面的代码就是一组全局变量的定义，如果在函数中变量发生了修改，那么代码就会编译失败。


    （2）地址空间的保护

[cpp] view plaincopyprint?
  1. void process()  
  2. {  
  3.     int value = 10;  
  4.     const int* address = &value;  
  5. }  
    和上面代码不一样的地方就是，这里如果address地址指向的数值发生了改变，那么那么代码就会编译失败？大家可以在函数结束前添加*address = 100；试试看？


    （3）类const成员变量的定义

[cpp] view plaincopyprint?
  1. class desk  
  2. {  
  3.     const int price;  
  4. public:  
  5.     desk():price(10){}  
  6.     ~desk() {}  
  7. };  
    const成员变量 就是在类变量定义的时候前面添加const关键字。和普通的成员变量不一样，const变量在构造函数中一定要初始化操作的。如果没有const关键字，那么在构造函数内部就无所谓是不是需要初始化了。


     （4）类const函数

[cpp] view plaincopyprint?
  1. class desk  
  2. {  
  3.     int price;  
  4. public:  
  5.     desk() {}  
  6.     ~desk() {}  
  7.     void print() {return;}  
  8.     void print() const {return;}  
  9. };  
    那么desk里面的print和print() const函数是不是一样的呢?大家可以看一下这个代码：

[cpp] view plaincopyprint?
  1. 53:       desk m;  
  2. 0040122D   lea         ecx,[ebp-10h]  
  3. 00401230   call        @ILT+75(desk::desk) (00401050)  
  4. 00401235   mov         dword ptr [ebp-4],0  
  5. 54:       m.print();  
  6. 0040123C   lea         ecx,[ebp-10h]  
  7. 0040123F   call        @ILT+70(desk::print) (0040104b)  
  8. 55:       const desk n;  
  9. 00401244   lea         ecx,[ebp-14h]  
  10. 00401247   call        @ILT+75(desk::desk) (00401050)  
  11. 0040124C   mov         byte ptr [ebp-4],1  
  12. 56:       n.print();  
  13. 00401250   lea         ecx,[ebp-14h]  
  14. 00401253   call        @ILT+65(desk::print) (00401046)  
  15. 57:   }  
    上面是一段函数调用的代码。我们在53行和55行定义了desk类型的变量m和n。接着在54行和56行，我们分别利用两个变量调用print函数进行处理，我们发现两个调用的函数地址并不一样，其中一个是0x0040104b，另外一个是0x00401046，我们可以继续跟进去看一下：

[cpp] view plaincopyprint?
  1. 00401046   jmp         desk::print (00401310)  
  2. 0040104B   jmp         desk::print (004012e0)  

    这里虽然是两个跳转函数，但是事实已经证明这里的两个函数确实是不一样的，这也证明了我们的判断是正确的。


【预告： 下一篇博客是关于模板类的内容】

 

 

用汇编的眼光看C++（之模板类）

【 声明：版权所有，欢迎转载，请勿用于商业用途。  联系信箱：feixiaoxing @163.com】


    如果类是一种确定的数据类型，那么模板就是一种对类的抽象。假设有这么一种类，它需要进行数据的计算，而且类型还很多，那么我们可能就要针对不同类型的数据定义不同的类。我们可以用下面一段代码说明问题：
[cpp] view plaincopyprint?
  1. class int_process  
  2. {  
  3.     int a;  
  4.     int b;  
  5. public:  
  6.     int_process(int m, int n):a(m), b(n) {}  
  7.     ~int_process() {}  
  8.     int add() {return a + b;}  
  9.     int sub() {return a - b;}  
  10.     int mul() {return a * b;}  
  11.     int div() {return a / b;}  
  12. };  
  13.   
  14. class short_process  
  15. {  
  16.     short a;  
  17.     short b;  
  18. public:  
  19.     short_process(short m, short n):a(m), b(n) {}  
  20.     ~short_process() {}  
  21.     short add() {return a + b;}  
  22.     short sub() {return a - b;}  
  23.     short mul() {return a * b;}  
  24.     short div() {return a / b;}  
  25. };  
    上面的代码内容其实比较简单，大家可以看明白。第一个类是int_process，主要是整数的加、减、乘、除的计算。第二类是short_process，主要处理的短整数的加、减、乘、除计算。两个类处理的内容其实非常相似。那么有没有一种简单的办法可以同时处理这两个类？有！这就是模板。我们可以把具体的数据类型抽象出来，形成一种新的类模式。这就是模板类。下面的代码就是模板类：
[cpp] view plaincopyprint?
  1. template <typename type>  
  2. class data_process  
  3. {  
  4.     type a;  
  5.     type b;  
  6. public:  
  7.     data_process(type m, type n):a(m), b(n) {}  
  8.     ~data_process() {}  
  9.     type add() {return a + b;}  
  10.     type sub() {return a - b;}  
  11.     type mul() {return a * b;}  
  12.     type div() {return a / b;}  
  13. };  
    我们看到类把具体的数据类型都抽象成了type。至此，不管是输入值、输出数值，我们都换成了type。至于类的名称，我们也从原来特定的数据类型计算，转变成了通用的data_process，当然这种名称的定义不是太重要的。那么模板类定义之后，我们应该怎么应用呢？大家继续看代码：
[cpp] view plaincopyprint?
  1. void process()  
  2. {  
  3.     data_process<int> d(1,2);  
  4.     data_process<char> m('1', '2');  
  5.     data_process<double> p(1.2, 2.3);  
  6. }  
    大家从上面的代码也看的出，模板类的定义并不复杂，只是在模板类的名称之后添加一下具体的数据类型就可以了。如果是int类型的，那么处理int的数据；同理，如果处理的是char或者是double类型数据，我们就可以按照char或者是double类型的数据进行计算，十分方便。当谈，处理的数据远远不止C++语言本身定义的char、double、float、int、short、long这几种数据类型，如果type本身就是一种class类型，同时这样class类型也支持+、-、*、/运算，那么本身也是可以用作模板的。我们这里介绍int、char、double只是为了简单地说明问题。看到类的声明后，我们不禁有一个疑问，既然模板类只有一个，那么这些模板类的构造函数、析构函数、成员函数的处理都相同吗？我们不妨看看看一看他们的汇编代码：
[cpp] view plaincopyprint?
  1. 60:       data_process<int> d(1,2);  
  2. 0040126D   push        2  
  3. 0040126F   push        1  
  4. 00401271   lea         ecx,[ebp-14h]  
  5. 00401274   call        @ILT+45(data_process<int>::data_process<int>) (00401032)  
  6. 00401279   mov         dword ptr [ebp-4],0  
  7. 61:       data_process<char> m('1', '2');  
  8. 00401280   push        32h  
  9. 00401282   push        31h  
  10. 00401284   lea         ecx,[ebp-18h]  
  11. 00401287   call        @ILT+55(data_process<char>::data_process<char>) (0040103c)  
  12. 0040128C   mov         byte ptr [ebp-4],1  
  13. 62:       data_process<double> p(1.2, 2.3);  
  14. 00401290   push        40026666h  
  15. 00401295   push        66666666h  
  16. 0040129A   push        3FF33333h  
  17. 0040129F   push        33333333h  
  18. 004012A4   lea         ecx,[ebp-28h]  
  19. 004012A7   call        @ILT+60(data_process<double>::data_process<double>) (00401041)  
  20. 004012AC   mov         byte ptr [ebp-4],2  
  21. 63:       int i_d = d.add();  
  22. 004012B0   lea         ecx,[ebp-14h]  
  23. 004012B3   call        @ILT+70(data_process<int>::add) (0040104b)  
  24. 004012B8   mov         dword ptr [ebp-2Ch],eax  
  25. 64:       char c_m = m.add();  
  26. 004012BB   lea         ecx,[ebp-18h]  
  27. 004012BE   call        @ILT+80(data_process<char>::add) (00401055)  
  28. 004012C3   mov         byte ptr [ebp-30h],al  
  29. 65:       double d_p = p.add();  
  30. 004012C6   lea         ecx,[ebp-28h]  
  31. 004012C9   call        @ILT+75(data_process<double>::add) (00401050)  
  32. 004012CE   fstp        qword ptr [ebp-38h]  
  33. 66:  
  34. 67:   }  
    上面的代码有点长，我们大家来一起看一下：
    60句： 定义int型的class类型，可以看到data_process<int>构造函数地址是0x401032
    61句： 定义char型的class类型，看到data_process<char>构造函数地址是0x40103c
    62句：定义double型的class类型，看到data_process<double>构造函数地址是0x401041
    63句：调用data_process<int>的add成员函数，地址为0x40104b 
    64句：调用data_process<char>的add成员函数，地址为0x401055
    65句：调用data_process<double>的add成员函数，地址为0x401050
    
    上面的代码表明，其实编译器为我们函数中出现的每一个具体类实例化了一遍。针对每一个类型，模板的构造函数、析构函数、成员函数都要独立生成，这从上面的函数地址就可以看出来，没有什么神奇的。所以，我们明白了模板的本质就是对不同数据类型的相似性操作进行共同属性提取，合成模板。在应用的时候，编译器根据我们使用中的数据类型独立生成每一个类，构建每一个基本运算变量和运算函数，仅此而已。

模板注意事项：
    （1）class上出现的问题在模板类上都会出现
    （2）先把class写好，然后再转变成模板类
    （3）如果不是数据类型的差异，而是共有数据数量上的差异，请选用继承代替模板
    （4）模板中的type可以是自定义类型
    （5）模板代码只能出现在头文件中，出现在*.cpp文件中没有意义，单独的*.cpp模板代码因为没有涉及具体类型，因此不会编译成任何二进制代码
    （6）不同版本的vc对模板支持有差异，编译错误不一定是你自己的原因，但是绝大部分应该是你的原因
    （7）模板生成的告警很冗长，一个warning或者是error 30~50行很正常，不要害怕，孰能生巧


【预告： 下面的博客介绍模板函数】

 

程序员标配 程序员标配
原创粉丝点击
热门IT博客
网络测试仪使用方法网络测试仪使用方法
大数据公司的盈利模式大数据公司的盈利模式
网络推广的发展前景
ubuntu系统还原
传奇数据库扩展工具
网络尺子刻度标准图
银行软件开发
金融大数据分析pdf
怎样看网络电视直播
淘宝金牌卖家什么意思
java行业饱和了吗
javascript 类
程序员穿着标配
2003版射雕英雄传知乎
适合学生的淘宝服装店
墨泥学车模拟软件
淘宝买家账号能开店吗
开淘宝网店赚不赚钱
手机淘宝转人工客服
java编程环境搭建
热门问题 老师的惩罚 人脸识别 我在镇武司摸鱼那些年 重生之率土为王 我在大康的咸鱼生活 盘龙之生命进化 天生仙种 凡人之先天五行 春回大明朝 姑娘不必设防，我是瞎子 梁起超 梁其超 任公 任公是谁 梁周洋 梁咏仪 粱咏琪 梁永琪 梁永琪图片 梁咏怡 梁咏仪个人资料 梁泳琪 梁嘉琪 梁嘉琪别出来吓人了 梁园网 商丘梁园区花店 帝国的建成 梁公卓如 梁国兴 梁国聚 梁图片 梁字图片 盖梁图片 漂亮梁字图片 带梁字霸气的图片 转换梁图片 中间有梁客厅吊顶图片 梁小友长大了图片 电动单梁起重机图片 梁字的艺术写法图片 梁婧娴图片 梁夏银 余天成 梁婖婷 梁婖婷照片 梁婧娴 粱子湖 梁孝王墓旅游 梁孝王墓 梁孝王 梁宇轩 梁安琪年轻照片

程序博客网，程序员的互联网技术博客家园。csdn论坛精品 msdn技术资料都在这里