C語言中,全局變量濫用的後果竟如此嚴重?

2020-12-13 21IC中國電子網

全局變量

作為一個嵌入式工程師

肯定有前人提示過你不要濫用

就在之前豐田公司就出過這麼一檔子事兒

某位軟體工程師因使用超過10000 個全局變量

在法庭上被「噴」是「一坨」代碼

在工程實踐中

總共採用5個或10個全局變量

這都是 OK 的

但一次性使用10000個那就很可怕了

這是不安全的

因為一次性查看10000個全局變量以後

才能知道哪裡出了問題

那麼到底啥是全局變量

該怎麼使用

讓我們接下來學習一下

01啥是全局變量

說起全局變量,就不得不提到「全局變量,局部變量,靜態全局變量,靜態局部變量」,這些都是程式語言中的基本概念。變量分為局部與全局,局部變量又可稱之為內部變量。由某對象或某個函數所創建的變量通常都是局部變量,只能被內部引用,而無法被其它對象或函數引用。

全局變量既可以是某對象函數創建,也可以是在本程序任何地方創建。全局變量是可以被本程序所有對象或函數引用。

從作用域看:

全局變量具有全局作用域。全局變量只需在一個源文件中定義,就可以作用於所有的源文件。當然,其他不包括全局變量定義的源文件需要用extern關鍵字再次聲明這個全局變量。

靜態局部變量具有局部作用域。它只被初始化一次,自從第一次初始化直到程序與你新內閣結束都一直存在,他和全局變量的區別在於全局變量對所有的函數都是可見的,而靜態局部變量只對定義自己的函數體始終可見。

局部變量也只有局部作用域,他是自動對象,他在程序運行期間不是一直存在,而是只在函數執行期間存在,函數的一次調用結束後,變量就被撤銷,其所佔用的內存也被收回。

靜態全局變量也具有全局作用域,他與全局變量的區別在於如果程序包含多個文件的話,他作用於定義它的文件裡,不能作用到其他文件裡,即被static關鍵字修飾過的變量具有文件作用域。這樣即使兩個不同的源文件都定義了相同的靜態全局變量,他們也是不同的變量。

從分配內存空間看:

全局變量、靜態局部變量、靜態全局變量都在靜態存儲區分配空間,而局部變量在棧分配空間。

全局變量本身就是靜態存儲方式,靜態全局變量當然也是靜態存儲方式。這兩者在存儲方式上沒有什麼不同。區別在於非靜態全局變量的作用域是整個源程序,當一個源程序由多個源文件組成時,非靜態的全局變量在各個源文件中都是有效的。而靜態全局變量則限制了其作用域,即只在定義該變量的源文件內有效,在同一源程序的其他源文件中不能使用它。由於靜態全局變量的作用域局限於一個源文件內,只能為該源文件內的函數公用,因此可以避免在其他源文件中引起錯誤。

1、靜態變量會被放在程序的靜態數據存儲區裡,這樣可以在下一次調用的時候還可以保持原來的賦值。這一點是他與堆棧變量和堆變量的區別

2、變量用static告知編譯器,自己僅僅在變量的作用域範圍內可見。這一點是他與全局變量的區別。

從以上分析可以看出,把局部變量改變為靜態變量後是改變了他的存儲方式,即改變了他的生存期。把全局變量改變為靜態變量後是改變了他的作用域,限制了他的使用範圍,因此static這個說明符在不同的地方起的作用是不同的。

簡單來說就是:

全局變量:在整個工程文件內都有效;「在函數外定義的變量」,即從定義變量的位置到本源文件結束都有效。由於同一文件中的所有函數都能引用全局變量的值,因此如果在一個函數中改變了全局變量的值, 就能影響到其他函數中全局變量的值。

靜態全局變量:只在定義它的文件內有效,效果和全局變量一樣,不過就在本文件內部;

靜態局部變量:只在定義它的函數內有效,只是程序僅分配一次內存,函數返回後,該變量不會消失;靜態局部變量的生存期雖然為整個工程,但是其作用仍與局部變量相同,即只能在定義該變量的函數內使用該變量。退出該函數後, 儘管該變量還繼續存在,但不能使用它。    

局部變量:在定義它的函數內有效,但是函數返回後失效。「在函數內定義的變量」,即在一個函數內部定義的變量,只在本函數範圍內有效。

注意:全局變量和靜態變量如果沒有手工初始化,則由編譯器初始化為0。局部變量的值不可知。

靜態局部變量全局變量最明顯的區別就在於:全局變量在其定義後所有函數都能用,但是靜態局部變量只能在一個函數裡面用。

通過一個代碼來解釋就是:

#include <stdio.h>

int num1 = 222; //靜態存儲期

static int num2 = 111; //靜態存儲期

int add(int a,int b)

{

static int tempSum = 0; //靜態存儲期

tempSum = tempSum + a + b;

return tempSum;

}

int main(void)

{

printf("num1=%d,num2=%d\n",num1,num2);

int sum = 0; //自動存儲期

sum = add(num1,num2);

printf("first time sum=%d\n",sum);//sum = 333

sum = add(num1,num2);

printf("second time sum=%d\n",sum); //sum = 666

return 0;

}

02新手最容易犯的問題

嵌入式特別是單片機os-less的程序,最易範的錯誤是全局變量滿天飛。此現象在早期彙編轉型過來的程式設計師以及初學者中常見,這幫傢伙幾乎把全局變量當作函數形參來用。

在.h文檔裡面定義許多雜亂的結構體,extern一堆令人頭皮發麻的全局變量,然後再這個模塊裡邊賦值123,那個模塊裡邊判斷123分支決定做什麼。

每當看到這種程序,我總要戚眉變臉而後拍桌怒喝。沒錯,就是怒喝。我不否認全局變量的重要性,但我認為要十分謹慎地使用它,濫用全局變量會引申帶來其它更為嚴重的結構性系統問題。

1. 濫用全局變量會造成不必要的常量頻繁使用,特別當這個常量沒有用宏定義「正名」時,代碼閱讀起來將萬分吃力。

2. 會導致軟體分層的不合理,全局變量相當於一條快捷通道,它容易使程式設計師模糊了「設備層」和「應用層」之間的邊界。寫出來的底層程序容易自作多情地關注起上層的應用。這在軟體系統的構建初期的確效率很高,功能調試進度一日千裡,但到了後期往往bug一堆,處處「補丁」,雷區遍布。說是度日如年舉步維艱也不為過。

3. 由於軟體的分層不合理,到了後期維護,哪怕僅是增加修改刪除小功能,往往要從上到下掘地三尺地修改,涉及大多數模塊,而原有的代碼注釋卻忘了更新修改,這個時候,交給後來維護者的系統會越來越像一個「泥潭」,注釋的唯一作用只是使泥潭上方再加一些迷煙瘴氣。

4. 全局變量大量使用,少不了有些變量流連忘返於中斷與主迴圈程序之間。這個時候如果處理不當,系統的bug就是隨機出現的,無規律的,這時候初步顯示出病入膏肓的特徵來了,沒有大牛來力挽狂瀾,註定慢性死亡。

無需多言,您已經成功得到一個畸形的系統,它處於一個神秘的穩定狀態!你看著這臺機器,機器也看著你,相對無言,心中發毛。你不確定它什麼時候會崩潰,也不曉得下一次投訴什麼時候道理。

然後,我告訴大家現實層面的後果是什麼。

1.「老人」氣昂昂,因為系統離不開他,所有「雷區」只有他瞭然於心。當出現緊急的bug時,只有他能夠搞定。你不但不能辭退他,還要給他加薪。

2. 新人見光死,但凡招聘來維護這個系統的,除了改出更多的bug外,基本上一個月內就走人,到了外面還宣揚這個公司的軟體質量有夠差夠爛。

3.隨著產品的後續升級,幾個月沒有接觸這個系統的原創者會發現,很多雷區他本人也忘記了,於是每次的產品升級維護周期越來越長,因為修改一個功能會冒出很多bug,而按下一個bug,會彈出其他更多的bug。在這期間,又會產生更多的全局變量。終於有一天他告訴老闆,不行啦不行啦,資源不夠了,ram或者flash空間太小了,升級升級。

4. 客戶投訴不斷,售後也快崩潰了,業務員也不敢推薦此產品了,市場份額越來越小,公司形象越來越糟糕。

03那麼有什麼對策?

1. 能不用全局變量儘量不用,我想除了系統狀態和控制參數、通信處理和一些需要效率的模塊,其他的基本可以靠合理的軟體分層和編程技巧來解決。

2. 如果不可避免需要用到,那能藏多深就藏多深。

1)如果只有某.c文件用,就static到該文件中,順便把結構體定義也收進來;

2)如果只有一個函數用,那就static到函數裡面去;

3)如果非要開放出去讓人讀取,那就用函數return出去,這樣就是只讀屬性了;

4)如果非要遭人蹂躪賦值,好吧,我開放函數接口讓你傳參賦值;

5)實在非要extern我,我還可以嚴格控制包含我.h檔的對象,而不是放到公共的includes.h中被人圍觀,丟人現眼。

如此,你可明白我對全局變量的感悟有多深刻。悲催的我,已經把當年那些「老人」交給我維護的那些案子加班全部重新翻寫了。你能明白嗎,不要讓人背後唾棄你哦。

04大量使用局部變量也會容易造成棧溢出

1.全局變量是不可避免要用到的,每一個設備底層幾乎都需要它來記錄當前狀態,控制時序,起承轉合。但是儘量不要用來傳遞參數,這個很忌諱的。

2.儘量把變量的作用範圍控制在使用它的模塊裡面,如果其他模塊要訪問,就開個讀或寫函數接口出來,嚴格控制訪問範圍。這一點,C++的private屬性就是這麼幹的。這對將來程序的調試也很有好處。C語言之所以有++版本,很大原因就是為了控制它的靈活性,要說面向對象的思想,C語言早已有之,亦可實現。

3.當一個模塊裡面的全局變量超過3個(含)時,就用結構體包起來吧。要歸0便一起歸0,省得丟三落四的。

4.在函數裡面開個靜態的全局變量,全局數組,是不佔用棧空間的。只是有些編譯器對於大塊的全局數組,會放到和一般變量不同的地址區。若是在keil C51,因為是靜態編譯,棧爆掉了會報警,所以大可以盡情馳騁,注意交通規則就是了。

5.單片機的os-less系統中,只有棧沒有堆的用法,那些默認對堆分配空間的「startup.s」,可以大膽的把堆空間幹掉

6.程序模型?如何分析抽象出來呢,從哪個角度進行模型構建呢?很願意聆聽網友的意見。本人一直以來都是從兩個角度分析系統,事件--狀態機遷移圖 和 數據流圖,前者分析控制流向,完善UI,後者可知曉系統數據的緣起緣滅。這些理論,院校的《軟體工程》教材都有,大家不妨借鑑下。只不過那些理論,終究是起源於大型系統軟體管理的,牛刀殺雞,還是要裁剪一下的。

05【最後再來皮一下,不要嘗試】全局變量的最佳前綴

問:全局變量的最佳前綴是什麼?

答://

↓↓↓

參考資料:

【1】佚名. 全局變量、局部變量、靜態全局變量、靜態局部變量的區別

【2】佚名. 嵌入式C編程經驗之全局變量猛於虎

【3】《C11標準文檔》

相關焦點

  • C語言局部變量和全局變量的區別
    局變量是使用相同的內存塊在整個類中存儲一個值。 全局變量的存在主要有以下一些原因: 局部變量說明: 在程序中,只在特定的過程或函數中可以訪問的變量,是相對與全局變量而言的。 全局變量也稱為外部變量,是在函數的外部定義的,它的作用域為從變量定義處開始,到本程序文件的末尾。全局變量全部存放在靜態存儲區,在程序開始執行時給全局變量分配存儲區,程序行完畢就釋放。
  • c語言是C語言 C教程語言零基礎教學04:int和float變量的基本使用
    大家好,我是陌塵那麼就直接開始了我們這篇教程學for循環以及冒泡算法我們先來理解一下什麼是「循環」字面意思:但是,C語言的循環和這個有點點不同,c語言中大概就是:重複執行一段特定的代碼。且C語言裡面的循環有多種方法來實現常見的有用for和while函數我們這節課只講for函數使用方法:for(單次表達式;條件表達式;表達式){特定代碼;}好了,又到了萬眾矚目的分析時間 了(此刻應有bgm)首先 單次表達式,意思就是只會執行一次的表達式(何為表達式?百度啊!!!)
  • 入門C語言中的數組,字符串常量與指針
    ,全局和靜態數組元素默認情況下初始化為0,並且自動數組元素填充有垃圾值 可以使用大括號中的一個或多個值來初始化數組,例如int a[3] = ;ANSI C之前的編譯器可能不允許在自動數組上進行初始化 如果存在初始化值列表,但未 指定常量大小,則數組的大小與初始化值的數目相同int q[] = ; 是相同的。
  • C語言中「c=a+b」,這種結構合理嗎?
    C語言會同意一些"令人震驚"的結構,下面的結構是合法的嗎,我們來看看幾個例子。 c = a+++b; 以下代碼是合法的嗎,咋的一看不禁有這樣的疑問?
  • C語言程序設計試題1
    C.65539 D.數據不確定5.設float c,f;,將數學表達式C= (F-32)能正確表示成C語言賦值表達式的是(   ) A.c=5*(f-32)/9 B.c=5/9(f-32) C.c=5/9*(f-32) D.c=5/(9*(f-32))6.設int i=10;,表達式30-i<
  • 《貪吃蛇遊戲編程》C語言控制臺字符界面版
    今天周末,閒來無事,看到網友的問題,需要C語言版的貪吃蛇。於是就坐下來寫一個C語言控制臺版的,開發軟體使用的是Vsual Studio 2019 。整個程序只有一個tanchishe.c文件,編譯生成tanchishe.exe,然後在Windows環境直接打開可以進入遊戲。
  • C/C++編程筆記:C 語言編程面試常見問題,大廠面試必備
    答:變量/函數的聲明僅聲明變量/函數存在於程序中的某個位置,但未為其分配內存。但是變量/函數的聲明起著重要的作用。這就是變量/函數的類型。因此,在聲明變量時,程序會知道該變量的數據類型。在聲明函數的情況下,程序知道該函數的參數是什麼,它們的數據類型,參數的順序和函數的返回類型。這就是聲明。
  • C語言函數調用過程中的內存變化解析
    局部變量的作用域為什麼僅限於函數內?這個調用不是指C 語言上的函數調用的語法,而是在內存的視角下,函數的調用過程。本文將從C 語言調用實例,內存視角,反彙編代碼來探討C 語言函數的調用過程,也可以說是C 語言函數調用過程圖解。通過這個C 語言函數調用過程圖解,同學們將會知道,C 語言函數在調用時,內存空間是怎樣變化的。 要想理解這一個過程還好涉及到函數棧幀的概念。
  • C語言 volatile 關鍵字在編譯優化過程中有何作用
    今天講述的話題就是關於代碼優化中,關鍵字volatile在優化過程中起到的作用。 volatile變量是說這變量可能會被意想不到地改變,這樣,編譯器就不會去假設這個變量的值了。 在多個線程之間共享全局變量。 在中斷例程或信號處理程序中訪問全局變量。
  • 用C語言編寫屬於自己的程式語言,大一學完C語言即可做!
    首先,明確一點,咱這個項目只是做一個簡單的腳本語言而不是編譯型語言!!!其次,本文不需要太多專業知識,所以不慌。最後,本文只是簡單實現腳本語言,雖然不牛X......>2.實現變量定義,賦值和銷毀3.更多功能關注我後期發教程三 要用到的幾個 C語言 基礎庫裡的函數,請了解這些函數後再繼續閱讀:
  • C語言基礎(下)
    C語言的世界結構體類型什麼是結構體我們觀察現實世界的時候,可以發現很多的東西它都是由不同的部分組合起來的s\n", stu.gender); printf("%s\n", stu.mail); printf("%d\n", stu.age);結構體數組語法定義struct Student{char * name;}stu[5];使用上與單個結構體變量相同,在數組中需要加上在數組中的下標
  • 給大家帶來一個好玩的C語言
    /*程序第一部分,對於此文件中要用的庫函數,必須先在此處引用庫函數所在的庫文件*/#include<stdio.h>//因為用到了輸出函數,所以必須引用此庫文件#include<windows.h
  • C語言: const關鍵字與指針
    const *p2; int * const p3; const int * const p4;*p1 = 3; p1 = &a; *p2 = 5; p2 = &a; *p3 = 5; p3 = &a; p4 = &a; *p4 = 5; const修飾的變量真的不能改嗎
  • C語言程序設計試題及答案
    A) 程序行 B) 語句 C) 函數 D) 字符2、C語言規定,在一個源程序中main函數的位置( )。A) &(*x)   B) x C) *x D) &*x13、設a,b,c都是int型變量,且a=3,b=4,c=5,則下面的表達式中,值為0的表達式是( )。
  • C語言項目中.h和.c文件的關係和概念
    在編譯器只認識.c(.cpp))文件,而不知道.h是何物的年代,那時的人們寫了很多的.c(.cpp)文件,漸漸地,人們發現在很多.c(.cpp)文件中的聲明語句就是相同的。
  • C語言怎麼樣?今天聊聊C語言的發展史!
    賈伯斯的貢獻在於,他如此了解用戶的需求和渴求,以至於創造出了讓當代人樂不思蜀的科技產品。然而,卻是裡奇先生為這些產品提供了最核心的部件,人們看不到這些部件,卻每天都在使用著。" 2. C語言的先輩 2.1BCPL語言之父
  • Sass簡易指南之基本語法詳析:變量大作戰
    聲明變量定義變量的語法:在有些程式語言中(如,JavaScript)聲明變量都是使用關鍵詞「var」開頭,但是在 Sass 不使用這個關鍵詞,而是使用大家都喜歡的美元符號「$」開頭。background-color: #337ab7; color: #fff; border: 1px solid #2e6da4; }[Sass]局部變量和全局變量Sass 中變量的作用域在過去幾年已經發生了一些改變。
  • 入門C語言20問20答
    在C語言程序中,用來保存數據的變量必須事先定義才能在程序中使用。 例如,以下語句定義了x、y、z三個變量名,其值只能取整型值: 在C程序中,每一個變量都必須聲明其取值類型。因此,C語言是一種強類型的程序設計語言。
  • C語言編寫程序輸出10個整數中最小值或最大值
    C語言編寫程序輸出10個整數中最小值或最大值這是一個比較基礎,同時也包含C語言中諸多特點的程序,仔細體會有很多的格式規則和技巧。其中包括:輸入語句,輸出語句,數組,分支結構,循環結構。希望廣大C語言學習者能夠從這個程序中感受到C程序的魅力。
  • 物聯網開發筆記——嵌入式開發之Linux系統中C語言數據類型
    物聯網開發筆記——嵌入式開發之Linux系統中C程序的編譯與調試主要講解C語言程序的編譯與調試。嵌入式開發學習C語言打下基礎。本節介紹《Linux系統中C語言數據類型》。1 數據類型分類short、int、long、char、float、double 這六個關鍵字代表C 語言裡的六種基本數據類型。