這個輸出

Question

背後的原因，我已經做了測試，其中就出現了這樣的事情：

char* trim(char* strr, char* str1) { 
    char* s = strr; 
    while(*str1 == 32) str1++; 
    while((*str1 != 32) && (*str1 != 0)) 
     *s++ = *str1++; 
    *s = 0; 
    return strr; 
    } 

int main(void) { 
    char str[20] = "???"; 
    char str1[20] =" bcd \0"; 

    printf("(%s)\n(%s)\n", str, trim(str, str1)); 
    return(0); 
} 

的問題是：什麼上面的代碼將打印，爲什麼？我對輸出結果和原因有了一些線索，但我希望聽到更多有經驗的人士的意見。

乍一看，它看起來像它會打印：

(???) 
(bcd) 

但在現實中產生的輸出是：

(bcd) 
(bcd) 

Answer 1

[編輯：刪除以前的答案，這@Nigel哈珀是不錯足夠有禮貌地指出是完全無稽之談。]

printf（所有參數）的參數在執行之前以某種未指定的順序進行評估printf本身就開始了。因此，在printf開始執行時，str和（重要）trim(str, str1)都已被評估。

由於trim(str, str1)修改存儲器str點，其本身正在執行時間printf，存儲器指向由str將已被修改以包含bcd（顯然，指針從trim(str, str1)返回的意志爲好） 。

因此，無論評估兩個參數的順序如何，兩個輸出都將是bcd。

Answer 2

您正在調用str函數中的strr。由於它是通過引用傳遞的，因此該更改會反映回調用函數。 printf將得到str的評估副本（兩個參數都相同）。

Answer 3

最後一個參數是先評估，先推到堆棧。但評價論點的順序並不明確。

我裝箱一個簡單的代碼：

#include <stdio.h> 

char *go(char *s) { *s = '0'; return s; } 

int main() { 
    char str[] = "xyz", str1[] = "abc"; 
    printf("(%s)(%s)\n", str, go(str)); 
    printf("(%s)(%s)\n", go(str1), str1); 
} 

輸出：

(0yz)(0yz) 
(0bc)(0bc) 

您可以分析這個gcc命令行彙編輸出：

gcc -c -g -Wa,-a,-ad x.c >x.lst 

如果添加-02順序相同，但go（）函數變爲內聯。

嗯......我又學到了一些東西！謝謝！