C++中const关键字用法详解：从变量修饰到类成员控制

1. const修饰普通变量和指针

使用const修饰基本数据类型变量时，语法上const TYPE value与TYPE const value等价，均表示该变量的值不可更改。例如：

const int nValue; // nValue是常量
int const nValue; // nValue也是常量

但当TYPE为指针类型时，const的位置决定了它修饰的是指针本身还是指针所指向的内容。可以通过加括号的方式直观理解：

• const (char) *pContent：const位于*左侧，修饰内容为常量。即指针指向的数据不可变，但指针可以指向其他地址。
• (char*) const pContent：const位于*右侧，修饰指针本身。即指针地址不可变，但它指向的内容可以被修改。
• const char* const pContent：指针本身和指向内容均为常量，既不能修改所指数据，也不能改变指向。

记忆技巧：沿*划一条线，若const在左边，则修饰指向的内容（常量指针）；若const在右边，则修饰指针本身（指针常量）。

2. const修饰函数参数

将const用于函数参数，主要目的是防止在函数内部意外修改传入的数据。这对于大对象或指针传递尤为重要。

• 指针参数：void function(const char* Var)表示函数内不能修改Var指向的字符串内容。而char* const Var虽然限制了指针不可修改，但在传参时通常无实际意义，因为形参本身就在栈上销毁。
• 引用参数：这是最高效且安全的用法。void function(const Class& Var)既避免了拷贝构造的性能开销，又保证了Var在函数体内保持只读状态，不可被修改。

3. const修饰函数返回值

返回值加上const的约束力较弱，仅在特定情况下有意义。

• 基本类型：如const int fun()，由于返回值是右值（临时量），是否可修改并无实际区别，因此这种写法通常被认为是无意义的。
• 指针类型：const int* fun2()表示函数返回的是一个指向常量的指针。调用者获取该指针后，不能通过它修改返回的对象内容（*pValue = ...非法）。这常用于返回只读的内部资源访问权。

4. const修饰类对象与成员

const对象意味着其所有成员变量在生命周期内都不可更改。

第1步：确保类设计支持常量对象

如果类中包含需要初始化的成员，必须使用初始化列表。此外，任何试图修改成员变量的操作都会导致编译失败。

class A {
public:
    const int nValue;
    
    // 必须在初始化列表中赋值
    A(int x) : nValue(x) {} 
};

const AAA aObj;
// aObj.func1(); // 错误！func1可能修改成员
aObj.func2();   // 正确

第2步：定义const成员函数

为了防止修改数据，需要在函数声明末尾添加const关键字。这类函数被称为“常成员函数”。

class A {
public:
    void func2() const; // 常成员函数
    void func1();       // 普通成员函数
};

关键限制：

1. 数据不可改：const成员函数内不能修改任何非mutable的成员变量。
2. 调用受限：const成员函数内部不能调用类的非const成员函数。这是因为非const函数可能会修改对象状态，违背了const函数不改变对象数据的初衷。

5. const常量与define宏定义的区别

尽管两者都能实现“不可变”的效果，但它们在底层处理上有本质不同：

• 编译阶段不同：#define是在预处理阶段进行文本替换（展开）；const常量则在编译和运行阶段由编译器处理。
• 类型与安全：#define没有类型概念，不做类型检查；const有明确的数据类型，编译器会进行严格的类型安全检查，减少了出错风险。
• 存储方式：#define不涉及内存分配，纯粹文本替换；const常量通常会在内存（栈或堆）中分配空间，占用实际的存储空间。

综上所述，在现代C++开发中，应优先推荐使用const来定义常量，以获得更好的类型安全性和调试支持。以上就是C++中const用法与区分的详细内容，更多关于C++基础语法的资料请关注本站其它相关文章！