今天實訓的某同學給我看了一段簡單的代碼，蠻有意思
數組不是越界了么？為什么結果還是正確的呢？

#include <iostream>
#include <cstdlib>

using namespace std;

class S
{
public:
 void a()
 {
  cout<<sum<<endl;
 }

private:
 static int sum;
};

int S::sum = 0;

int main()
{
 S sa[10];

 sa[100].a();

 system("pause");
 return 0;
}

代碼差不多就是這樣，一個類的數組，越界訪問一個普通成員函數
這個成員函數只訪問了靜態成員變量
輸出的結果是0，同學的問題是，sa[100]不是越界了么？為什么運行的時候不出錯呢？

這個問題是一個初學者提出來的~ 不過要解釋清楚還真得有些深度~

我同學說
首先，通過對象調用成員函數，就必須在這個對象存在的前提下吧
那么，sa[100]根本不存在啊，為什么這個調用還合法呢？

開始我也感覺比較詫異，覺得我同學說的沒錯啊~
然后再仔細想了一想做了如下的解釋

普通成員函數的調用，必須得到一個this指針的參數
這就是必須由對象或者由對象的指針或者引用來調用的原因

那么一個類中的普通成員函數，可以解釋為這樣的形式
以上面的S為例子

S_a(S* pthis)
{
    ....
}

那么之前的 sa[100].a();
就相當于調用的是

S_a( sa + 100*sizeof(S) );

如此一來就清晰很多了

這個函數只訪問了類中的靜態成員，而類中的靜態成員又是存儲在靜態區
那么就是一個全局變量
那之前的程序看起來其實就像是這樣

int S_sum = 0;

void S_a(S* pthis)
{
    cout<<S_sum<<endl;
}

這個函數的參數隨便傳入的是什么值，都無所謂了
這里的sa[100].a()調用實際上可以解釋為

(S)(*(sa+100*sizeof(S))).a();

->

S_a( sa + 100*sizeof(S) );

所以，編譯，運行的結果都是正確的~

希望我給我的同學的解釋也是正確的~