迹忆客 专注技术分享

本文将演示关于如何在 C++ 中使用 const 限定符与指针的多种方法。

在 C++ 中使用 const type var 符号来声明只读对象

C++ 提供了关键字 const，作为需要定义为只读（不可变）的对象的限定词。const 变量用 const type var 或 type const var 的记号来声明，这两种记号在语法上都是正确的，但前一种记号是作为常规样式使用的。由于 const 限定的对象是不可突变的，所以在声明过程中必须对其进行初始化。这使得语句 const int number;-无效，并抛出编译器错误（可能你的 IDE 也会为此尖叫）。

当 const 变量被初始化后，它不能在运行时被分配不同的值。因此，下面例子中 main 函数的第三行是无效的，编译器不会处理它。需要注意的是，如果你声明了一个指向同一类型变量的指针，然后试图将 const 变量的地址分配给它，编译器就会报错。请注意，如果我们在编译时使用 -fpermissive 标志，后一种错误通常会被覆盖。

#include <iostream>

int main() {
    const int number = 1234;

    number = 235; //Error
    int *ptr = &number; // Error

    return 0;
}

在 C++ 中使用 const 限定符与指针来处理只读对象

const 修饰语经常用于指针。有三种类型的声明 const type * var、type *const var 和 const type *const var。第一种声明 var 指针指向只读的 type 对象，也就是说对象不能被修改，但指针本身可以被修改。第二种-var 只读指向 type 对象的指针，在这里我们声明唯一的，可以修改对象的不可变的指针，最后一种定义了指针和对象都是不可变的。

这些符号提供了多种有用的功能，在下面的代码示例中，我们将对其进行探讨。如上一个例子所示，我们不能将 const 变量的地址存储在非 const 指针中，但如果我们加上 const 指定符，操作是有效的。但请注意，我们仍然不能通过新声明的指针来修改存储的值，这在 main 循环的第 4 行中有所体现。

#include <iostream>

using std::cout; using std::endl;

#define STR(num) #num

int main() {
    const int number = 1234;

    const int *c_ptr = &number;
//    *c_ptr = 42; // Error

    cout << STR(number) << " - " << number << endl;
    cout << STR(*c_ptr) << " - " << *c_ptr << endl;

    return 0;
}

输出：

number - 1234
*c_ptr - 1234

在使用 const 限定符时，另一个常见的问题是非 const 指针对指向只读对象的指针的分配。请注意，在下一个代码示例中，有一个新的非 const 变量 number2 被初始化，而声明为 const 对象指针的 c_ptr，现在被分配给 number2 的地址。这个操作在 C++ 中是合法的，其结果是我们只能通过 c_ptr 读取存储在 number2 变量中的值，但任何修改都会导致编译器错误。

#include <iostream>

using std::cout; using std::endl;

#define STR(num) #num

int main() {
    const int number = 1234;
    const int *c_ptr = &number;

    int number2 = 3456;
    c_ptr = &number2;
//    *c_ptr += 12; // Error
    number2 += 12;

    cout << STR(number) << " - " << number2 << endl;
    cout << STR(*c_ptr) << " - " << *c_ptr << endl;

    return 0;
}

输出：

number2 - 3468
*c_ptr - 3468