你担心大家会滥用的全局变量,大家(包括你自己)一定会滥用
前言
????????不要使用全局變量的道理大家都懂,基本上在大家學習編程過程中很早就會被教育到,但是有時候我們也會禁不住誘惑用到一些似非實是的全局變量,只不過這些全局變量會穿上馬甲,讓你不會一下看穿它的巨大危害,濫用全局變量會引申帶來其它更為嚴重的結構性系統問題。
你擔心大家會濫用的代碼,大家(包括你自己)一定會濫用。-- 魯迅。濫用全局變量的危害
1. 濫用全局變量會造成不必要的常量頻繁使用,特別當這個常量沒有用宏定義“正名”時,代碼閱讀起來將萬分吃力。
2. 會導致軟件分層的不合理,全局變量相當于一條快捷通道,這在軟件系統的構建初期的確效率很高,功能調試進度一日千里,但到了后期往往bug一堆,處處“補丁”,雷區遍布。
??
3. 由于軟件的分層不合理,到了后期維護,哪怕僅是增加修改刪除小功能,往往要從上到下掘地三尺地修改,涉及大多數模塊,而原有的代碼注釋卻忘了更新修改,這個時候,交給后來維護者的系統會越來越像一個“泥潭”,注釋的唯一作用只是使泥潭上方再加一些迷煙瘴氣。
4. 全局變量大量使用,少不了有些變量流連忘返于中斷與主回圈程序之間。這個時候如果處理不當,系統的bug就是隨機出現的,無規律的,這時候初步顯示出病入膏肓的特征來了,沒有大牛來力挽狂瀾,注定慢性死亡。
無需多言,您已經成功得到一個畸形的系統,它處于一個神秘的穩定狀態!
本篇文章我不再贅述全局變量,局部變量等基礎知識,感興趣的可以查看歷史文章。
濫用全局變量示例
?讀到這里,對于新手們來說可能還沒有意識到全局變量的危險性,這里我先拿出來一段不太復雜的一段代碼:
#include <iostream> #include <string> #include <map> using namespace std;class Monster { private:int npc_id; public:Monster(int npc_id):npc_id(npc_id){cout << "call Monster::Init" << npc_id <<endl;}int NpcID(){return npc_id;}virtual void Stand(){cout << "call Monster::Stand" <<endl; }virtual void Walk(){cout << "call Monster::Walk" <<endl;}virtual int Stop(){cout << "call Monster::Stop" <<endl;}~Monster(){cout << "call ~Monster" <<endl;} };class NPCFactory { public:static NPCFactory& Instance(){cout << "call static NPCFactory" <<endl;static NPCFactory instance;return instance;}~NPCFactory(){cout << "call ~NPCFactory" <<endl;}Monster* Create(int npc_id){map<int,Monster*>::iterator itr = monsters_.find(npc_id);if (itr != monsters_.end()) {return itr->second;}Monster* monster = new Monster(npc_id);monsters_.insert({ {npc_id, monster} });return monster;}bool Release(Monster* monster){if (monster == nullptr){return false;}int npc_id = monster->NpcID();map<int,Monster*>::iterator itr = monsters_.find(npc_id);if (itr == monsters_.end()) {return false;}delete monster;monsters_.erase(npc_id);return true;} private:map<int, Monster*> monsters_; };#define testobj MonsterMgr::Instance() class MonsterMgr { public:virtual ~MonsterMgr(){cout << "call ~MonsterMgr" <<endl;for (auto d : monsters_){NPCFactory::Instance().Release(d.second);}}Monster* Create(const uint32_t& npc_id) {Monster* monster = NPCFactory::Instance().Create(npc_id);monsters_.insert(std::make_pair(npc_id, monster));return monster;}static MonsterMgr& Instance(){cout << "call static MonsterMgr" <<endl;static MonsterMgr npc_mgr;return npc_mgr;} private:std::map<uint32_t, Monster*> monsters_; };int main(){testobj.Create(1000);return 0; }看了幾遍沒看出來哪里有問題?不妨運行看下
沒錯,程序崩潰了,提示double free了?為什么?
歸根到底還是全局變量使用的泛濫導致的。
首先我們來分析下:
testobj是一個靜態全局變量,在調用Create方法里,通過NPCFactory的靜態全局變量工廠方法創建了Monster實例,因此在出了main函數之后,先釋放了靜態全局變量NPCFactory的成員,由于工廠方法沒有正常釋放monsters_的成員,造成了內存泄露,實際上這個時候的monsters_里的指針已經變成了野指針,緊接著釋放靜態全局變量testobj,進入析構MonsterMgr,逐個釋放Monster指針,注意這里:NPCFactory::Instance().Release(m_monster); 實際上m_monster已經在NPCFactory工廠釋放掉了,成為了野指針,所以在調用NPCFactory::Instance().Release(m_monster);的時候就出現了釋放野指針崩潰。
這次相信你可能會比較謹慎的使用全局變量了,尤其是穿梭在多個功能里,跟玩“鱗波微步”一樣的瀟灑,豈不知已經給后面埋下了地雷。
此時的系統因為離不開你了,所有“雷區”只有你了然于心。當出現緊急的bug時,只有你能夠搞定。老板不但不能辭退你,還要給你加薪。
但凡招聘來維護這個系統的,除了改出更多的bug外,基本上一個月內就走人,到了外面還宣揚這個公司的軟件質量有夠差夠爛。
隨著產品的后續升級,幾個月沒有接觸這個系統的你會發現,很多雷區你本人也忘記了,于是每次的產品升級維護周期越來越長,因為修改一個功能會冒出很多bug,而按下一個bug,會彈出其他更多的bug。在這期間,又會產生更多的全局變量。終于有一天你告訴老板,不行啦不行啦,資源不夠了,內存太小了,升級升級,某個庫用的有問題,要換掉!!!
那么有什么對策?
1. 能不用全局變量盡量不用,我想除了系統狀態和控制參數、通信處理和一些需要效率的模塊,其他的基本可以靠合理的軟件分層和編程技巧來解決。
2. 如果不可避免需要用到,那能藏多深就藏多深。
1)如果只有某.c文件用,就static到該文件中,順便把結構體定義也收進來;
2)如果只有一個函數用,那就static到函數里面去;
3)如果非要開放出去讓人讀取,那就用函數return出去,這樣就是只讀屬性了;
4)如果非要遭人蹂躪賦值,好吧,我開放函數接口讓你傳參賦值;
5)實在非要extern我,我還可以嚴格控制包含我.h檔的對象,而不是放到公共的includes.h中被人圍觀,丟人現眼。
?
繼續帶著剛才的問題,那么如何解決崩潰問題呢?
兩種方式:
1.如果你的代碼邏輯本身夠復雜,大動干戈,想最小代價來修復問題,你可以在NpcFactory析構之前,主動釋放掉NpcMgr里的一堆指針,新增一個NpcMgr的Clear方法,用于在main函數結束之前主動調用來釋放資源。
class MonsterMgr { public:virtual ~MonsterMgr(){cout << "call ~MonsterMgr" <<endl;Clear();}virtual void Clear(){for (auto d : monsters_){NPCFactory::Instance().Release(d.second);}}Monster* Create(const uint32_t& npc_id) {Monster* monster = NPCFactory::Instance().Create(npc_id);monsters_.insert(std::make_pair(npc_id, monster));return monster;}static MonsterMgr& Instance(){cout << "call static MonsterMgr" <<endl;static MonsterMgr npc_mgr;return npc_mgr;} private:std::map<uint32_t, Monster*> monsters_; };int main(){testobj.Create(1000);testobj.Clear();return 0; }但是我不建議這樣做,因為你將給其他人帶來麻煩,必須要主動顯式調用Clear方法,如果某一天,有人改動了一些Clear的邏輯,你可能仍然面臨加班排查問題的境地。
2.就是重構設計,盡可能避免全局變量引發的問題。
其實你主要要解決的是如何避免在MonsterMgr釋放所有的Monster指針之前已經將NPCFactory提前釋放導致monster野指針問題(這里我不討論NPCFactory工廠類的釋放Release存在的問題),因此你可以考慮下讓工廠類作為MonsterMgr的類靜態成員,通過靜態類成員來管理monster,這樣,你可以保證在析構MonsterMgr釋放所有monster指針之前,工廠類管理的所有monster指針是有效的。
#include <iostream> #include <string> #include <map> using namespace std;class Monster { private:int npc_id; public:Monster(int npc_id):npc_id(npc_id){cout << "call Monster::Init" << npc_id <<endl;}int NpcID(){return npc_id;}virtual void Stand(){cout << "call Monster::Stand" <<endl; }virtual void Walk(){cout << "call Monster::Walk" <<endl;}virtual int Stop(){cout << "call Monster::Stop" <<endl;}~Monster(){cout << "call ~Monster" <<endl;} };class NPCFactory { public:static NPCFactory& Instance(){cout << "call static NPCFactory" <<endl;static NPCFactory instance;return instance;}~NPCFactory(){cout << "call ~NPCFactory" <<endl;}Monster* Create(int npc_id){map<int,Monster*>::iterator itr = monsters_.find(npc_id);if (itr != monsters_.end()) {return itr->second;}Monster* monster = new Monster(npc_id);monsters_.insert({ {npc_id, monster} });return monster;}bool Release(Monster* monster){if (monster == nullptr){return false;}int npc_id = monster->NpcID();map<int,Monster*>::iterator itr = monsters_.find(npc_id);if (itr == monsters_.end()) {return false;}delete monster;monsters_.erase(npc_id);return true;} private:map<int, Monster*> monsters_; };#define testobj MonsterMgr::Instance() class MonsterMgr { public:virtual ~MonsterMgr(){cout << "call ~MonsterMgr" <<endl;for (auto d : monsters_){npc_factory_.Release(d.second);}}Monster* Create(const uint32_t& npc_id) {Monster* monster = npc_factory_.Create(npc_id);monsters_.insert(std::make_pair(npc_id, monster));return monster;}static MonsterMgr& Instance(){cout << "call static MonsterMgr" <<endl;static MonsterMgr npc_mgr;return npc_mgr;} private:std::map<uint32_t, Monster*> monsters_;static NPCFactory& npc_factory_; };NPCFactory& MonsterMgr::npc_factory_ = NPCFactory::Instance();int main(){testobj.Create(1000);return 0; }再考慮個問題,如果后邊增加一個需求模塊,要求這個模塊也可以管理怪物類Monster,暫且叫NPCMgr,功能和原來的MonsterMgr類似,此時你覺得應該如何設計此NPCMgr類,留下來思考時間給大家。大家可以關注我的公眾號“游戲開發司機” 來留言回復
總結
以上是生活随笔為你收集整理的你担心大家会滥用的全局变量,大家(包括你自己)一定会滥用的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 数据结构课上笔记11
- 下一篇: 数组基础