C 將指針傳遞給 function 混淆

Question

我在這里有點困惑。 這來自一本很棒的 C 書，也許我質疑它太多，但不知何故它沒有意義。 我希望我能說出我的困惑。

假設下面&a指向 memory 地址 87， &b指向 memory 地址 120；

int a = 3;
int b = 4;
swap(&a, &b);

void swap(int *px, int *py) {
   int temp;
   temp = *px;
   *px = *py;
   *py = temp;
}

好的，問題來了：當我們調用 function 交換並將參數傳遞給 function時，我們實際上是將“px”設置為 87 還是將“*px”設置為 87？

因為如果我們將 *px 設置為 87，那么根據*符號的定義，我們設置的是指針所指的值，而不是 memory 地址 p 持有的值，這在本例中是錯誤的。 另一方面，如果我們實際上將“p”設置為 87，那么 swap 中的代碼是有意義的，因為當我們在 function 中使用 * 符號時，我們將引用該地址中的值“3”這里。 但是為什么語法令人困惑，看起來好像我們正在設置

*px = 87

?

Answer 1

如果a在地址 88（需要正確對齊）並且b在地址 120，則：

                                //   a   |   b   |   px   |  py   | temp
int a=3;                        //   3       --      --       --     --
int b=4;                        //   3       4       --       --     --
swap(&a, &b);                   //   4       3       --       --     --

void swap(int *px, int *py)
{                               //   3       4       88      120    --
  int temp;
  temp = *px;                   //   3       4       88      120     3
  *px = *py;                    //   4       4       88      120     3
  *py = temp;                   //   4       3       88      120     3
}

px是&a ，它是88 ，永遠不會改變。 *px指（別名） a 。 它可能會被重新綁定到別名不同的變量，但這段代碼並沒有這樣做。

參數是px並且類型為int* 。 該參數不是*px 。 出於這個原因，許多程序員將其寫為int* px而不是int *px 。 調用swap(&a, &b)的效果是px = &a而不是*px = &a 。

但請注意，C 沒有“方法”，只有“功能”。

Answer 2

考慮您的swap簽名：

void swap(int *px, int *py);

這意味着 swap 需要兩個指向int的指針。 換一種說法：它取memory中的兩個int值地址。

現在，當調用你的swap function 時

swap(&a, &b);

第一個參數將是a的地址（它是一個int ），第二個參數將是b的地址（它也是一個int ）。

在swap中， px將是a的地址， py將是b的地址。 因此，取消引用px和py將在a和b的地址處產生值 - 這將是 3 和 4。

Answer 3

*可能意味着三種不同的東西，具體取決於上下文：

• 在a * b中，它表示乘法。
• 在int *a中，它的意思是“我們現在聲明一個變量或參數a ，其類型為int * （指向int的指針）。
• 在*a中（假設*左邊沒有數據類型，所以這是一個表達式而不是聲明），它的意思是“ a是一個指針，我們要查看它指向的值（也稱為取消引用指針”。

所以你的方法的參數是a ，而不是*a ； 星號是參數類型的一部分， a是您設置為 87 的值。將指針聲明編寫為int * a或int* a而不是int *a可能有助於更清楚地區分聲明和取消引用。

Answer 4

void swap(int *px, int *py) 

你讀到這個px和py指向int 。 C中的參數是按值傳遞的。 因此，當您傳遞兩個 memory 地址（即指針）進行swap時，您將這些地址分配給px和py 。

也許混淆是由於 C 中的*重載所致。 在參數列表中*表示參數是指向左側類型的指針。 在 function 的實現中， *用於取消引用指針。

Answer 5

您沒有設置任何指針，您始終只設置pointee的值。 *px = *py將a設置為b的值。

Answer 6

變量a指向 memory 地址 87。 &a是87。然后我們將px設置為 87。當然，這些是地址而不是整數，但這與 CPU 上發生的情況非常接近（當然在 CPU 上沒有'不是任何a ， &a或px ）。

Answer 7

我們實際上是將“px”設置為 87 還是將“*px”設置為 87？

是的，您將px設置為 87。您正在使指針指向相同的位置，同時更改它們指向的值。

“因為如果我們將 *px 設置為 87”...

不，你的假設是錯誤的。