今天看博客園的文章,發現博問欄目中有一個網友的問題挺有趣的,就點進去看了下,標題是「C++生存期問題」,給出連接:http://q.cnblogs.com/q/51133/html
本文會以此問題做爲討論的實例,來具體討論如下四個問題:ios
(1) C++變量生命週期程序員
(2) C++變量在棧中分配方式windows
(3) C++類的內存佈局佈局
(4) Debug和Release程序的區別spa
也許您以爲這些討論問題沒有實際意義,應該多作些提升生產力的事情,如同重複發明輪子也是沒有意義的。code
筆者贊成這個觀點,可是,做爲一個有追求的程序員,應該知其然並且知其因此然,更應該知道輪子是怎麼造出來的,不是嗎?htm
固然,限於篇幅,本文可能只是拋磚引玉,更多的知識,必定是你們本身去探索的。對象
很少說,進入正題。blog
實驗環境:Win7 32bit系統 + VS2008 SP1
問題現象:
先閱讀如下程序:
#include "stdafx.h" #include<iostream> #include<windows.h> using namespace std;
class T { protected: int t; public: T(int r=0):t(r){} void showNum(){cout<<t<<endl;} }; class T1:public T { private: int x; public: T1(int r):x(r),T(r){} void show(){cout<<"x="<<x<<endl;} }; class T2:public T { private: int x; public: T2(int r):x(r*r),T(r){} void show(){cout<<"x="<<x<<endl;} }; void main() { T* p[10]; for(int i=0;i<5;i++) { if(i%2==0) { T1 r(2); p[i]=&r; cout<<&r<<endl; } else { T2 r(3); p[i]=&r; cout<<&r<<endl; } } for(int i=5;i<10;i++) { if(i%2==0) { T1 r(4); p[i]=&r; cout<<&r<<endl; } else { T2 r(5); p[i]=&r; cout<<&r<<endl; } } for(int i=0;i<10;i++) { p[i]->showNum(); } system("pause"); }
不急着往下看,先預測此程序輸出。
通常來講,咱們預測的輸出會是什麼結果呢?
首先Debug版本和Release版本應該輸出結果是相同的,或者規律是相同的。
當0 <= i < 5時,輸出5個地址,應該是不一樣的,逐個遞增,生成的局部變量存放在棧中;
當5 <= i < 10時,又輸出5個地址,應該也是不一樣的,也是逐個遞增,生成的局部變量存放在棧中;
最後循環調用p[i]->showNum()這個方法10次,輸出的結果應該是不可知的,由於P[i]指向的對象都已經失效。
咱們來看看實際輸出的結果:
Debug版本:
當0 <= i < 5時,輸出5個地址,是一種交替狀輸出,分別是001FF750和001FF740。
當5 <= i < 10時,又輸出5個地址,也是交替狀輸出,分別是001FF714和001FF724。
最後循環調用p[i]->showNum()這個方法10次,輸出的結果是正確的,彷佛那些棧中的局部對象未失效。
Release版本:
當0 <= i < 5時,輸出5個地址,是一種交替狀輸出,分別是001CFB00和001CFB08。
當5 <= i < 10時,又輸出5個地址,也是交替狀輸出,奇怪的是地址的值也是001CFB00和001CFB08。
最後循環調用p[i]->showNum()這個方法10次,輸出的結果全是5和4,彷佛前5次輸出失效了,後5次沒有失效。
爲何?
你們能夠先思考,有想法能夠留言指出。限於篇幅,筆者的下一篇博客將給出具體的分析。
相關分析的博文已經寫好:探討C++ 變量生命週期、棧分配方式、類內存佈局、Debug和Release程序的區別(二)