關於strcpy原始碼分析

2021-09-30 04:28:03 字數 2153 閱讀 5750

注意到乙個帖子:

((*strdest++=*strsrc++)!='/0'); 哪兒前輩可以解釋下裡面具體執行的步驟呢?

對於這樣的表示式,我們通常會有這樣三種看法:

1.這種寫法不但沒有錯誤(當然也沒有bug),而且寫法緊湊。

2.這種寫法雖然沒有錯誤,但是不夠直觀,理解起來有點麻煩,可能還會導致理解錯誤。

3.這種寫法中存在未定義的地方,執行結果可能是錯誤的。

粗略來看,這三種說法都有點道理。我頓時有了刨根問底的興趣,想對這個問題進行一次深入的分析。對於這種組合表示式,在分析的時候我們應該抓住兩個關鍵的概念:優先順序(precedence)和關聯性(associativity)。

1.優先順序(precedence)。優先順序決定了那些表示式的值先被評估,那些表示式的值後被評估。通常情況下,優先順序高的表示式的值先被評估出來後,然後用評估的結果再去評估那些優先順序低的表示式。所以如果我們將優先順序搞反了,評估出來的結果是錯誤的。

2.(associativity)。對於二目表示式,關聯性決定了左邊的表示式還是右邊的表示式先被評估,先被評估出來的結果再用來評估另外的表示式。

再抓住這兩個關鍵的同時,我們還應該分清什麼是表示式的值,什麼是變數的值。我們在評估表示式的時候,我們感興趣的是表示式的值,而不是構成表示式的某些變數的值。在很多情況下,表示式的值和某些變數的值是一致的,所以我們很容易混淆表示式的值和變數的值。要知道,在有些情況下,表示式的值並不和某些變數的值相同。

有了上面的理論來武裝我們,對表示式的分析就顯得游刃有餘了:

1. 很明顯,上面的表示式是乙個組合表示式。組合表示式由子表示式組成,子表示式又可能是組合表示式,這樣就形成了乙個樹狀的資料結構。對表示式的評估就類似於對樹結點的遍歷。首先我們應該注意到"()"操作符,它具有最高的優先順序,所以從整體來看,整個表示式應該是個"!="操作。"!="左邊又是乙個組合表示式,而右邊是乙個常量"/0',很明顯下面的工作就是評估(*strdest++=*strsrc++)。

2.在這一步,我們要對表示式(*strdest++=*strsrc++)進行評估。由於賦值表示式具有較低的優先順序,所以表示式   又可以寫成:(*strdest++) = (*strsrc++),所以整個表示式是個"="操作,"="左邊又是乙個組合表示式,右邊也是乙個組合表示式,這裡就需要從關聯性來判斷左邊還是右邊也被評估。由於"="的關聯性是從右到左,所以(*strsrc++)先被評估,(*strdest++)後被評估。

2.1 在這一步,我們要對表示式(*strsrc++)進行評估。由於"++"的優先順序大於"*",所以表示式又可以寫成:*(strsrc++)。我們要先對表示式strsrc++進行評估,然後用表示式的值再去評估*(strsrc++)的值。對於表示式strsrc++,這裡要需要注意區分變數的值和表示式的值。對於"後增1"表示式,表示式的值是變數strsrc的值,然後變數strsrc的值會"加1",也就是說表示式的值是strsrc變化前的值,而strsrc的值會發生變化。值得注意的是,我們知道strsrc的值會發生變化,但是我們卻不知道strsrc的值發生變化的具體時間,這個變化具體的執行時間由編譯器決定了,這就決定了任何依賴strsrc的表示式的值是不確定的,具體的值依賴編譯器的實現。完成了對strsrc++的評估後,取值操作符就對表示式的值所對應的記憶體空間進行取值操作。

2.2 在這一步,我們要對表示式(*strdest++)進行評估。具體的評估的分析完全和2.1中的分析一致。

2.3 在這一步,我們要對表示式(*strdest++) = (*strsrc++)進行評估,這是個賦值表示式,將右表示式的值賦給左邊表示式的值。值得注意的是,對於賦值表示式,表示式本身的值等於左邊子表示式的值。

3.由於"!="表示式左邊的子表示式的值已經被評估出來了,下面就執行"!="操作。"!="表示式的是乙個布林值。

通過以上深入的分析,我們知道這個表示式完成了以下多個功能:

1.對於指標strdest, strsrc,將strsrc所指的記憶體空間的值賦給由strdest所指的記憶體空間。

2.判斷賦值後的strdest所指的記憶體空間的指是否等於0。

3.對於指標strdest,strsrc,他們的值分別加1,即指向下乙個元素。

我們可以看出,乙個表示式完成了三個功能,表示式寫的確實"相當緊湊"。而且這個表示式的值是可以確定的,因為所有的分析都是建立在c 標準的基礎上。對於能否在實踐的**中使用這樣的**,這就智者見智了,關鍵一點就是要遵循專案的**規範。

等同**如下:

while(1)

strcpy的實現原始碼

實現1 char strcpy char dest,const char source 實現2 char strcpy char dest,const char source dest i 0 return ret 解析 為什麼要返回char 型別 為了實現鏈式連線。返回內容為指向目標記憶體的位址指...

關於String原始碼分析

關於string的類定義 public final class string implements j a.io.serializable,comparable,charsequence 以final修飾,不可繼承,不可變,其方法預設都是final的 實現 serializable comparab...

關於AOA proxy 的原始碼分析

1.啟動乙個本地socket服務,監聽8721 2.監聽訊號sigusr2,開啟tickleusbinventorythread執行緒 3.初始化libusb庫 4.開始乙個timer定時器,每秒發一次itimer real訊號 5.迴圈嘗試連線usb裝置,根據標記位doupdateusbinven...