最近，我在某技術論壇上看到一個有趣的問題：如何判斷計算機系統中棧的增長方向?

首先讓我簡單介紹一下這個問題的背景。對于棧這種數據結構，大家應該不會陌生，它是一種后進先出的數據結構。據說，在一般的計算機系統中，棧存在著兩種存放數據的方式，一種是向上增長的，一種是向下增長的，如圖1所示。

圖1 棧的兩種增長方向

在圖1的(a)中，棧是向上增長的，即數據A對應的地址小于數據B對應的地址;在圖1的(b)中，棧是向下增長的，即數據A對應的地址大于數據B對應的地址。那么，我們怎樣來判斷自己所使用的系統中的棧的增長方向到底屬于哪一種呢?

我們知道，作為一種常用的數據結構，棧主要用于存放程序中的局部變量和函數的輸入參數。那么，我們就可以設計一個程序，在程序中通過比較某一個局部變量的前后兩次的地址值來判斷棧的增長方向。利用這個想法編寫出來的程序如下所示：

/********************************************************************** 
* 版權所有 (C)2017, Zhou Zhaoxiong。 
* 
* 文件名稱：FindStackDirection.c 
* 文件標識：無 
* 內容摘要：判斷棧的增長方向 
* 其它說明：無 
* 當前版本：V1.0 
* 作    者：Zhou Zhaoxiong 
* 完成日期：20170630 
* 
**********************************************************************/ 
#include <stdio.h> 
 
// 函數聲明 
void FindStackDirection(void); 
 
/********************************************************************** 
* 功能描述：主函數 
* 輸入參數：無 
* 輸出參數：無 
* 返 回 值：無 
* 其它說明：無 
* 修改日期           版本號      修改人                  修改內容 
* --------------------------------------------------------------------------- 
* 20170630         V1.0     Zhou Zhaoxiong          創建 
***********************************************************************/ 
int main() 
{ 
    FindStackDirection(); 
 
    return 0;  
} 
 
 
/********************************************************************** 
* 功能描述：查找棧增長方向 
* 輸入參數：無 
* 輸出參數：無 
* 返 回 值：無 
* 其它說明：無 
* 修改日期         版本號          修改人              修改內容 
* -------------------------------------------------------------------------------- 
* 20170630        V1.0     Zhou Zhaoxiong          創建 
***********************************************************************/ 
void FindStackDirection(void) 
{ 
    char  iStackAddr            = 0;            // 用于獲取棧地址 
    static char *pStackAddr = NULL;     // 用于存放***個iStackAddr的地址  
 
    if (pStackAddr == NULL)               // ***次進入 
    {                           
        pStackAddr = &iStackAddr;        // 保存iStackAddr的地址 
        FindStackDirection();                 // 遞歸  
    } 
    else                                 // 第二次進入  
    {   
        if (&iStackAddr > pStackAddr)        // 第二次iStackDirection的地址大于***次iStackDirection, 那么說明棧增長方向是向上的 
        {    
            printf("Stack grows up!\n"); 
        } 
        else if (&iStackAddr < pStackAddr)   // 第二次iStackDirection的地址小于***次iStackDirection, 那么說明棧增長方向是向下的 
        {   
            printf("Stack grows down!\n"); 
        } 
        else 
        { 
            printf("Bad stack!\n"); 
        } 
    } 
} 

我們可以看到，函數FindStackDirection中出現了遞歸調用，即***進入該函數的時候，將iStackAddr變量(局部變量)的地址值賦給pStackAddr，第二次進入該函數的時候，用新的iStackAddr變量的地址值與***次進入該函數時iStackAddr變量的地址值相比較，如果前者大于后者，那么說明棧增長方向是向上的，否則，說明棧增長方向是向下的。

將以上代碼上傳到Linux機器上，使用“gcc -g -o FindStackDirection FindStackDirection.c”命令對程序進行編譯之后，運行“FindStackDirection”命令，結果如下：

Stack grows down! 

即我所使用的系統中的棧的增長方向是向下的。大家也可以將以上代碼在自己的系統中運行一下，看看結果是什么。

在大部分人(包括我)的印象中，棧的增長方向只有一種，那就是向上(如圖1中的(a))，但程序運行出來的結果與我們預期的恰恰相反。從這點也可以看出計算機系統在設計上的精妙與復雜，里面有很多東西都值得我們細細研究的。

【本文是51CTO專欄作者周兆熊的原創文章，作者微信公眾號：周氏邏輯(logiczhou)】

戳這里，看該作者更多好文