跳过导航链接 | |
退出打印视图 | |
![]() |
Oracle Solaris Studio 12.3:C 用户指南 Oracle Solaris Studio 12.3 Information Library (简体中文) |
关键字 const 是 ISO C 中包括的 C++ 功能之一。ISO C 委员会创建类似的关键字 volatile 时,创建了“类型限定符”类别。
const 和 volatile 属于标识符的类型,而不属于标识符的存储类。然而,当从表达式求值中获取对象的值时,确切地说是当 lvalue 变为 rvalue 时,经常会将这些类型从类型的最顶端删除。这些术语产生于原型赋值 left-hand-side= right-hand-side,其中左侧必须仍然直接引用对象 (lvalue),右侧仅需要为一个值 (rvalue)。因此,只有本身是 lvalues 的表达式才可以由 const 和/或 volatile 限定。
类型限定符可修改类型名称和派生类型。派生类型是 C 声明的那些可重复应用而生成越来越复杂的类型的部分:指针、数组、函数、结构和联合。除函数之外,可使用一个或两个类型限定符更改派生类型的行为。
以下示例声明并初始化类型为 const int 并且其值未被相应的程序更改的对象。
const int five = 5;
关键字的顺序对于 C 来说不重要。例如,以下声明与第一个示例中的声明在作用上相同:
int const five = 5;
const five = 5;
以下声明用于声明一个类型为指向 const int 的指针的对象,该对象最初指向以前声明的对象。
const int *pci = &five;
指针自身没有限定类型,而是指向一个限定类型。在程序执行过程中几乎可以将指针更改为指向任何 int。除非使用强制类型转换,否则不能使用 pci 修改它所指向的对象,如下例所示:
*(int *)pci = 17;
如果 pci 实际上指向 const 对象,则此代码的行为不确定。
以下声明指示程序中的某位置存在全局对象定义,该对象具有指向 int 的 const 指针类型。
extern int *const cpi;
在此情况下,cpi 的值将不会被相应的程序更改,但是可用来修改它指向的对象。请注意,在该声明中,const 位于 * 之后。以下一对声明产生的效果相同:
typedef int *INT_PTR; extern const INT_PTR cpi;
这些声明可以合并为以下声明,其中对象的类型声明为指向 const int 的 const 指针:
const int *const cpci;
根据经验,对于关键字,readonly 优于 const。如果某程序以此方式读取 const,则以下示例中的声明很容易理解,即第二个参数仅用于读取字符值,而第一个参数覆盖它指向的字符。
char *strcpy(char *, const char *);
此外,尽管在示例中,cpi 的类型是指向 const int 的指针,但您仍可以通过其他某些方法更改它指向的对象的值,除非它确实指向被声明为 const int 类型的对象。
const 的两种主要用法是将在编译时初始化的大型信息表声明为无变化,以及指定该指针参数不修改它们所指向的对象。
第一种用法潜在允许某个程序的部分数据被同一程序的其他并行调用共享。它可能导致尝试将此不变数据修改为通过某种内存保护故障立即检测,因为该数据驻留在内存的只读部分中。
第二种用法 const 有助于在生成内存故障之前查找潜在错误。例如,如果将指针传递给无法进行如此修改的字符串,则临时将空字符置入字符串中间的函数会在编译时被检测到.
到目前为止,该示例显示了 const 在概念上较为简单。但是,volatile 到底意味着什么?对于编译器,这意味着访问此类对象时不采用任何代码生成快捷方式。另一方面,ISO C 将声明具有相应特殊属性的每个 volatile 对象指定为程序员的责任。
volatile 对象的四个常见示例为:
为内存映射 I/O 端口的对象
多个并行进程之间共享的对象
异步信号处理程序修改的对象
调用 setjmp 的函数中声明的自动存储持续时间对象,其值在 setjmp 调用和相应的 longjmp 调用之间会更改
前三个示例是具有特殊行为的对象的所有实例: 在程序执行期间的任何点均可修改其值。因此,只要 flag 具有 volatile 限定类型,以下看上去的无效循环将有效。
flag = 1; while (flag);
某些异步事件将来可能将 flag 设置为零。否则,由于 flag 的值在循环主体中保持不变,编译系统会将以上循环更改为完全忽略 flag 值的真正死循环。
第四个示例涉及调用 setjmp 的函数的局部变量,因此进一步加以讨论。有关 setjmp 和 longjmp 的行为的详细信息指示,与第四种情况匹配的对象的值是不可预测的。对于最需要的行为,longjmp 必须检查调用 setjmp 的函数与调用 longjmp 的函数之间的各个堆栈帧是否有保存的寄存器值。由于存在异步创建堆栈帧的可能性,使该作业更加困难。
在将自动对象声明为 volatile 限定类型时,编译器必须生成与程序员编写的内容完全匹配的代码。因此,此类自动对象的最新值始终保存在内存中,而不是仅保存在寄存器中,且调用 longjmp 时保证为最新。