C语言const关键字用法详解：修饰变量、指针与函数参数

1 基础概念与变量/数组限制

const (constant) 意为常量或常数。在C语言中，它主要作用是告诉编译器该变量具有只读性，试图直接修改会导致编译报错。这种限制能让错误在编译期暴露，而非运行时崩溃。

第1步：理解 const 对变量的约束

当 const 修饰普通变量时，任何直接的赋值操作都会引发编译器警告：“表达式必须是可修改的左值”。这构成了第一道防线：

#include <stdio.h>
int main()
{
    const int num = 100;
    num = 20; // 编译报错：表达式必须是可修改的左值
    printf("%d\n", num);
}

第2步：了解“间接修改”的风险与警告

虽然直接赋值被禁止，但利用指针并非不可能完成同样的事。如果创建一个非const指针指向该const变量并修改它，虽然在技术上可行，但会触发类型安全警告：

    const int num = 100;
    int *p = # // 警告：初始化时丢失了const限定符
    *p = 20;
    printf("%d\n", num); // 结果可能输出 20

这段代码展示了const并非绝对的物理屏障。为了消除警告进行显式强转（(int*)&num），虽然能编译通过且成功修改数值，但这属于未定义行为（Undefined Behavior），不应在生产代码中依赖这种做法来改变逻辑。核心原则依然是：不要通过指针尝试修改const对象。

第3步：const 修饰数组

数组的修饰规则与变量一致。声明为const数组后，无法通过索引直接修改元素：

    const int array[5] = {0, 1, 2, 3, 4};
    array[0] = 100; // 编译报错

同理，若试图通过解引用数组首地址的方式修改内容，同样会面临指针类型不匹配的警告：

    int *p = array; // 警告：不同的const限定符

2 指针的高级用法：两个方向

这是C语言最容易混淆的部分。const的位置不同，语义完全不同。记忆口诀：看左边是改内容还是改指针，或者理解为const离谁近就修饰谁。

第4步：const 修饰指针指向的内容（指向常量的指针）

语法格式：const type * ptr; 或 type const * ptr;

• 含义：指针本身ptr可以随意变更（可以指向其他变量），但指针所指向的那个内容（*ptr）不可修改。
• 示例：

int a = 100;
const int *p = &a;
// *p = 1000; // 报错：不能修改常量
// p = &b;     // 合法：可以改变指针指向

第5步：const 修饰指针本身（常量指针）

语法格式：type * const ptr;

• 含义：指针本身ptr一旦被初始化，就不能再指向别的变量；但是可以通过该指针修改它所指向的内容（*ptr）。
• 示例：

int a = 100;
int* const p = &a;
*p = 1000; // 合法：可以修改内容
// p = &b;   // 报错：不能改变指针指向

3 const 在函数参数中的应用

在函数参数列表中使用 const 是一种常见的防御性编程技巧。通常用于指针或数组参数，表明函数内部不会修改传入的数据。

• 目的：明确接口契约（Contract），避免程序员在函数体内部意外修改了外部传入的重要数据。
• 效果：一旦在函数内尝试修改，编译器立即报错，提前发现逻辑漏洞。

void myFunc(const int* p)
{
    // *p = *p + 1; // 报错
}

总结来说，const 赋予了编译器进行静态检查的能力，让潜在的“误修改”错误在编码阶段就浮出水面，而不是留到程序运行时才发生灾难性的数据破坏。

4 底层细节：字符串字面值的内存布局

理解 char* 和 char[] 结合 const 的行为差异，有助于深入掌握C语言内存模型。

场景A：指针指向字符串常量 (char *s = "Hello";)

计算机执行流程：

1. 将字符串字面值 "Hello" 存入只读的常量存储区（通常在代码段）。
2. 在栈上创建指针变量 s，并将字面值的地址赋给它。
3. 关键点：字符串本体在内存中是不可写的。如果你尝试修改（如 s[0] = 'J';），可能会触发段错误（Segmentation Fault）或静默破坏其他程序数据。

场景B：字符数组初始化 (char s[] = "Hello";)

计算机执行流程：

1. 同样将 "Hello" 读入常量区作为源。
2. 在栈上开辟一块新的内存空间用于数组 s。
3. 关键拷贝动作：将常量区的字符串内容复制到栈上的数组中。
4. 此时，栈上的数组内容是数据的副本，是完全可读写的。你可以随意修改 s 的内容而不影响原始常量区。

这也是为什么在使用 const 修饰数组相关指针时需要格外小心的原因，因为复制（数组初始化）与引用（指针赋值）有着本质的性能和安全区别。

5 总结

以上就是C语言const关键字的详细使用指南。要点回顾如下：

• const 修饰变量/数组：禁止直接修改，强制只读。
• const int *p（常量指针）：p可变，*p不可变。
• int * const p（指针常量）：p不可变，*p可变。
• const 修饰函数参数：确保形参不被修改，起到契约保护作用。
• 指针强转修改const对象属于未定义行为，应当极力避免。
• 区分字符串字面值（只读）与栈上字符数组（可读写）的内存差异。

以上就是C语言const关键字用法的详细内容，更多关于C语言指针与内存管理的资料请关注本站其它相关文章！