指针常量和常量指针（无师自通）

常量指针不能用于改变它指向的值；而指针常量在初始化之后就不能改变。

常量指针

前面已经介绍了如何将一个项目的地址传递到一个指针形参中，并且该指针可以用来修改作为实参传递的项目。有时需要将 const 项目的地址传递给指针。在这种情况下，必须把指针定义为指向 const 项的指针。例如，来看以下数组定义：

在以上代码中，payRates 是一个 const double 的数组，这意味着数组中的每个元素都是 一个 const double，编译器不会允许程序员编写改变数组内容的代码。如果想要将 payRates 数组传递到一个指针形参中，那么这个形参必须声明为一个指向 const double 的指针。以下函数就显示了这样一个示例：

void displayPayRates(const double *rates, int size)
{
    // Set numeric output formatting
    cout << setprecision(2) << fixed << showpoint;
    // Display all the pay rates
    for (int count = 0; count < size; count++)
    {
        cout << "Pay rate for employee " << (count + 1)<< "is $" << *(rates + count) << endl;
    }
}

在函数头中，请注意 rates 形参被定义为一个指向 const double 的指针。应该指出的是，const 这个单词适用于 rates 指向的东西，而不是 rates 本身，如图 1 所示。

图 1 常量指针

由于 rates 是一个指向 const 的指针，所以编译器不会允许程序员编写代码来改变 rates 指向的内容。

在将常量的地址传递到指针变量中时，该变量必须已定义为指向常量的指针。如果在 rates 形参的定义中没有使用 const 关键字，则会产生编译器错误。

指针常量

在前面的章节中，我们讨论了指向 const 的指针，即指向 const 数据的指针。所谓“指向 const 的指针”其实就是“指向常量的指针”，即常量指针。

除此之外，还有一种使用 const 关键字定义的 const 指针，称为指针常量。常量指针和指针常量在中文里面听起来像是绕口令，但其实它们不是一回事。以下就是"指向const的指针"和"const指针"之间的区别：

• 指向 const 的指针指向一个常量项目。指针指向的数据不能改变，但指针本身可以改变。
• 而对于 const 指针来说，指针本身就是常量。一旦指针使用了某个地址进行初始化，那么它就不能指向除此地址之外的任何其他东西。

下面的代码显示了一个 const 指针的示例：

请注意，在 ptr 的定义中，关键字 const 出现在星号之后，这意味着 ptr 是一个指针常量，如图 2 所示。

图 2 指针常量

在该代码中，ptr 是用 value 变量的地址初始化的。因为 ptr 是一个常量指针，所以如果编写使 ptr 指向其他任何内容的代码，都会导致编译器错误。但是，如果使用 ptr 来改变 value 的内容，则不会产生错误。这是因为 value 并不是常量，并且 ptr 也不是一个指向常量的指针。

指针常量必须使用起始值进行初始化，如以上示例代码所示。如果将一个指针常量用作函数形参，则该形参将使用传递进来的实参地址进行初始化，并且在函数执行时不能被修改为指向任何其他地方。以下就是一个试图违反这个规则的示例：

void setToZero(int *const ptr)
{
    ptr = 0; //错误，不能更改ptr的内容
}

这个函数的形参 ptr 是一个 const 指针。它不会被编译，因为在函数中不能有改变 ptr 内容的代码。但是，ptr 并不指向 const，所以可以使用代码来改变 ptr 指向的数据。以下示例就完全可以编译：

void setToZero(int *const ptr)
{
    *ptr =0;
}

虽然该形参是指针常量，但是程序员也可以使用不同的实参多次调用函数。以下代码即可成功地将 x、y 和 z 的地址传递给 setToZero 函数：

int x, y, z;
//将x、y和z设置为0
setToZero(&x);
setToZero(&y);
setToZero(&z);

指向常量的指针常量

到目前为止，在一起使用 const 和指针时，我们既认识了常量指针，也认识了指针常量。但其实还存在着第 3 种结合，即“指向常量的指针常量”。

例如，来看下面的代码示例：

在以上代码中，ptr 是一个指向 const int 的 const 指针。请注意，单词 const 出现在 int 之前，表示 ptr 指向的是一个 const int，而它出现在星号之后，又表示 ptr 是一个指针常量，如图 3 所示。

图 3 指向常量的指针常量

在以上代码中，ptr 是用 value 的地址初始化的。因为 ptr 是一个指针常量，所以不能编写使 ptr 指向其他任何东西的代码；又因为 ptr 是一个常量指针，所以也不能用它来改变 value 的内容。

以下代码显示了一个指向常量的指针常量的另一示例：

void displayValues(const int *const numbers, int size)
{
    // Display all the values.
    for (int count = 0; count < size; count++)
    {
        cout << * (numbers + count) << " ";
    }
    cout << endl;
}

在这段代码中，形参 numbers 是一个指向 const int 的 const 指针。虽然可以使用不同的实参来调用函数，但函数本身不能改变 numbers 指针的指向，也不能使用 numbers 指针来改变实参的内容。