一個(gè)內(nèi)存地址存著一個(gè)對應(yīng)的值，這是比較容易理解的。

    如果程序員必須清楚地知道某塊內(nèi)存存著什么內(nèi)容和某個(gè)內(nèi)容存在哪個(gè)內(nèi)存地址里了，那他們的負(fù)擔(dān)可想而知。
    匯編語法對“一個(gè)內(nèi)存地址存著一個(gè)對應(yīng)的數(shù)”，作了簡單的“抽象”：把內(nèi)存地址用變量名代替了，對內(nèi)存地址的取值和賦值方式不變。
    c語言對此進(jìn)行了進(jìn)一步的抽象：變量 <==> （一個(gè)內(nèi)存地址，對應(yīng)的值）（這里忽略類型等信息）。

    把C語言中的基本類型(int,long,float等),指針，數(shù)組等還原為（一個(gè)內(nèi)存地址，對應(yīng)的值）后，就能更清淅地理解它們了。

    內(nèi)存就相當(dāng)于(addr,val)的大hash表,c語句的語義基本就是改變hash值。

    為了下文的方便，特定義如下語義（遵循C的標(biāo)準(zhǔn)語義）：

---

    var  <==>  (addr, val)  (var為一個(gè)變量名，addr為var在內(nèi)存中的首地址,val為var 的值)
    &var <==> addr
    var  <==> var作為左值出現(xiàn)（即等式左邊）時(shí)，var等價(jià)于 addr;
               var作為右值出現(xiàn)（即等式左邊）時(shí)，var等價(jià)于 val;
    *var <==> val

---

    注：符號"<==>" 右邊出的等式 x = y(x是一個(gè)內(nèi)存地址，y是一個(gè)值); 表示將內(nèi)存地址為x的內(nèi)容置為值y，如addr = 3表示置內(nèi)存addr里的值為3


    現(xiàn)在利用上面的語義解釋一下這些例子：
    int i = 3;
    假設(shè) i的內(nèi)存地址為 0x8049320 ,那么這句話的語義是0x8049320 = 3，經(jīng)過i = 3后，i為(0x8049320,3)

    int b = i;
    假設(shè) b的內(nèi)存地址為 0x8049324 ,那么這句話的語義是0x8049324 = i對應(yīng)的val = 3,此時(shí)b為(0x8049324,3)

    int *p = &b
    指針p也是一個(gè)變量，int **p,int *p[8],在這些申明中p都只是一個(gè)指針變量，它和其他的變量的不同之處在于它的大小是定的，它的類型信息只是編譯器用來進(jìn)行類型檢查和其他一些作用的(如果沒有類型檢查，你可以用任何的方式對一個(gè)變量進(jìn)行操作如int i; ****i = 3)。假設(shè)p的地址為0x8049328,則根據(jù)p = &b的語義p.addr = b.addr，p為(0x8049328,0x8049324)

    *p = 5;
    語義為 0x8049324 = 5,此時(shí)只改變了內(nèi)存地址為0x8049324的值，即改變了b的值(0x8049324,5)，而p的值并未改變

    int **q = &p; //如果寫為int **q = &&i; gcc編譯不通過
    假設(shè)q的內(nèi)存地址為0x8049330,語義為 0x8049330 = addr(p) = 0x8049328;所以q為(0x8049330, 0x8049328)
    (int **q = &&i, 要是編譯過了則q應(yīng)該表示為(0x8049330, x),內(nèi)存地址為x的地方表示為(x,0x8049320)，那么地址x為多少呢? )

    **q = 6
    語義為 val(val(q)) = val(0x8049328) = 0x8049324 = 6,將內(nèi)存地址為0x8049324的內(nèi)容置為6,即將b的值置為6,b為(0x8049324,6)
    
    對于結(jié)構(gòu)，這些語義也適用，因?yàn)榻Y(jié)構(gòu)里的成員也是有對應(yīng)地址的，也能表示為(addr,val)的形式。    
   
    對“一個(gè)內(nèi)存地址存著一個(gè)對應(yīng)的值”的抽象程度越高，越不用關(guān)心底層，如java。 
    Haskell已經(jīng)沒有副作用之說了，更不用關(guān)心這些了。

    就這些。