C++中const关键字用法详解：宏与常量、指针及函数参数

1. const与#define的本质区别

#define是预处理器阶段的文本替换，不具备类型概念且容易引发优先级导致的计算错误；而const由编译器处理，具备严格的类型检查机制，能显著减少编译期潜在风险。

第1步：验证替换运算的差异

通过以下代码对比两者在执行“取模”运算时的结果差异：

#include <iostream>
using namespace std;
int main()
{
	int num = 1;
	// define仅做字符串替换，可能导致运算符优先级错误
	#define t1 num + num
	#define t2 t1 % t1 
	cout << "t2 is " << t2 << endl; // 输出 2 (计算过程: 1 + 1 % 1 + 1)
	
	// const进行类型检查与值计算
	const int s1 = num + num;
	const int s2 = s1 % s1;
	cout << "s2 is " << s2 << endl; // 输出 0
    return 0;
}

• 类型安全检查：const有数据类型，编译器会检查转换合法性（如禁止将double隐式赋给int）；define仅是字符替换，无检查机制。
• 调试支持：部分调试工具可识别const变量，但无法调试define宏。
• 内存存储：define不分配内存，每次使用均展开拷贝；const通常分配内存或在符号表中优化，保证唯一性。
• 处理阶段：define发生在预处理阶段，const作用于编译运行阶段。

2. 修饰局部与全局变量

被const修饰的对象被视为“恒定不变”，强制保护其免受意外修改。建议在定义时必须初始化，否则后续无法赋值。

第2步：掌握变量只读特性

声明方式const int n=5;与int const n=5;等效。当用于指针或字符串时，const的作用尤为明显：

const char* str="fixed string";

若未加const，程序可能在运行时因尝试修改只读内存区域而崩溃；加上const后，任何试图修改该内容的代码都会在编译阶段报错，从而将逻辑错误提前至编译期发现。

注意事项

• C语言的局限性：在C中，const修饰的变量仍是“只读变量”，理论上可通过强制类型转换间接修改（如(int *)&num = 4;），但这属于恶意操作，应避免。
• 作用域隔离：对于全局变量，建议全部使用const修饰以防止其他函数无意篡改；对于局部变量，遵循“Use const whenever you need”的原则提高代码安全性。

3. 常量指针与指针常量的区分

理解指针相关的关键在于星号（*）的位置。以星号为界：const在左侧表示指向的内容不可变（常量指针）；在右侧表示指针本身不可变（指针常量）。

第3步：应用三种指针模式

1. 常量指针 (const int *n)：指针内容不可通过该指针改变。允许通过其他引用修改底层的值，但严禁*n = ...的操作。
2. 指针常量 (int *const n)：指针指向的地址固定。一旦初始化完成，不能再指向新对象（n = &b;为非法操作），但可以通过该指针修改地址内的数据。
3. 指向常量的常指针 (const int *const p)：结合了上述两者的特性，既不能改地址，也不能通过指针改内容。

4. 在函数中的应用规范

合理利用const修饰函数参数和返回值，能有效防止副作用并保证接口契约。

第4步：完善函数签名

修饰参数：

• 输入参数建议使用const限定（如const char* strSource）。这向调用者表明函数不会修改传入的数据，同时在函数体内如果尝试修改，编译器会直接报错。
• 防止指针本身移动的情况可使用int *const。

修饰返回值：

当返回类型为指针时，添加const修饰意味着返回的内容为只读。例如const char* GetString();，此时接收端必须定义为const char*类型，强行赋给非const指针会导致编译错误，从而保护底层数据不被越权修改。