c語言核心技術 一

================================================

C語言編譯分析記號，有一個原則是儘可能靠左合并符號使其得到符合文法的記號,所以
a+++b 會被解釋為 (a++)+b 而不是 a+(++b)

================================================

函數範圍和語句塊範圍：
一直以為函數內部申明的標識符其範圍就叫做函數範圍，其實應該是語句塊範圍，它和函數範圍還是有區別的，語句塊範圍的作用範圍是從申明處開始，到包含這個申明的最小語句塊結束為止。即使你申明在函數的最開頭，他依然是屬於語句塊範圍，什麼樣的標識符具有函數範圍呢？ 嘿嘿，goto用的Label

這個從目標代碼的角度來看就很明顯了，標識符這些基本上是放在寄存器或堆棧內，沒有賦值之前自然沒法使用，Label直接就翻譯成一個地址，寫在jump命令裡，當然在函數內部哪都可以用了。

================================================

類似 x+=y之類的複合賦值運算運算式和 x=x+y這樣的運算式效果上有什麼區別嗎？區別在於x+=y這種形式裡，左值x只被計算了一次，如果x是一個有副作用的運算式，著兩種表達方式可能就不等價了。

逗號運算子的運算式操作順序是從左至右，所以整個運算結果是最後一個運算式的結果，計算的順序可以得到保證。 但是在函數調用時，函數的參數列表裡面的逗號“並不是”逗號運算子，所以函數調用時，參數運算式的計算順序C文法是沒有保證的。

================================================

元素修飾符：
類似初始化結構體時，C99裡面可以用成員修飾符(類似 .member = value 的形式)來初始化特定的結構元素一樣，數組的初始化可以用：
int A[30] = {1, 2, [15] = 15, 16 };
這樣的形式來初始化第1，2，15，16個元素。

================================================

對數組採用指標來操作通常可能比採用下標索引來操作要更有效率，按數組操作可能涉及到計算索引再加基地址的問題，指標本身就可以遞增。

這個要看下標索引的計算複雜度，如果直接就是類似迴圈變數i這樣，其實下標表示還更快

測試一下：

int main()
{
        int a[40];
        int *pa=&a[0];
        int i,j;

        for(i=0; i<10; i++)
                a[i] = 3;

        for(i=0; i<10; i++){
                *pa++ = 4;
        }
        return 0;
}

迴圈部分彙編代碼，指標版還要多一條命令：

------

.L3:
        movl    -12(%ebp), %eax # i, i.0
        movl    $3, -176(%ebp,%eax,4)   #, a
        addl    $1, -12(%ebp)   #, i
.L2:
        cmpl    $9, -12(%ebp)   #, i
        jle     .L3     #,

.L6:
        movl    -16(%ebp), %eax # pa, pa
        movl    $4, (%eax)      #,* pa
        addl    $4, -16(%ebp)   #, pa
        addl    $1, -12(%ebp)   #, i
.L5:
        cmpl    $9, -12(%ebp)   #, i
        jle     .L6     #,

如果下標計算比較複雜，指標就要更快了

int main()
{
        int a[40];
        int *pa=&a[0];
        int i,j;

        for(i=0; i<10; i++)
                a[3*i] = 3;

        for(i=0; i<10; i++){
                *pa = 4;
                pa += 3;
        }

        return 0;
}

迴圈部分彙編代碼，指標版要少兩條命令：
--------------

.L3:
        movl    -12(%ebp), %eax # i, i
        movl    %eax, %edx      # i, i
        addl    %edx, %edx      # i
        leal    (%edx,%eax), %eax       #, D.1786
        movl    $3, -176(%ebp,%eax,4)   #, a
        addl    $1, -12(%ebp)   #, i
.L2:
        cmpl    $9, -12(%ebp)   #, i
        jle     .L3     #,
        movl    $0, -12(%ebp)   #, i
        jmp     .L5     #

.L6:
        movl    -16(%ebp), %eax # pa, pa
        movl    $4, (%eax)      #,* pa
        addl    $12, -16(%ebp)  #, pa
        addl    $1, -12(%ebp)   #, i
.L5:
        cmpl    $9, -12(%ebp)   #, i
        jle     .L6     #,

 

================================================

彈性結構成員

C99允許結構體的最後一個成員屬於不完整的數群組類型,如：
typedef Struct { int len; int data[]} A_t;
分配記憶體的時候，要用類似
malloc( sizeof(A_t) + 10*sizeof(int) );
的方式來為data數組分配記憶體。

這種情況下，sizeof計算 A_t 的size的時候，這個彈性結構成員的大小是不會被計算的。
--- to do --- 寫一個小代碼驗證一下

通常如非特殊必要，用指標的方式來實現結構體內的空間可變資料項目，要比使用這種彈性結構成員更合適。

================================================