C语言中const,volatile,restrict的用法总结

1. const

变量声明中带有关键词const，意味着不能通过赋值，增量或减量来修改该变量的值，这是显而易见的一点。指针使用const则要稍微复杂点，因为不得不把让指针本身成为const和指针指向的值成为const区别开来、下面的声明表示pf指向的值必须是不变的

constfloat *pf；而pf则是可变的，它可以指向另外一个const或非const值；相反，下面的声明说明pf是不能改变的，而pf所指向的值则是可以改变的：

float* const pf；

最后，当然可以有既不能改变指针的值也不能改变指针指向的值的值的声明方式：

constfloat * const pf；

需要注意的是，还有第三种放置const关键字的方法：

float const * pf; //等价于constfloat * pf;

总结就是：一个位于*左边任意位置的const使得数据成为常量，而一个位于*右边的const使得指针本身成为const

还要注意的一点是关于const在全局数据中的使用：

使用全局变量被认为是一个冒险的方法，它使得数据在程序的任何部分都可以被错误地修改，如果数据是const，那么这种担心就是多余的了不是嘛？因此对全局数据使用const是合理的。

然而，在文件之间共享const数据要格外小心，有两个策略可以使用。一个是遵循外部变量的惯用规则，在一个文件进行定义声明，在其他文件进行引用声明（使用关键字extern）。

/*file1.c------定义一些全局常量*/

const double PI = 3.14159;

/*file2.c-----是用在其他文件中定义的全局变量*/

extern const dounle PI;

另外一个方法是把全局变量放在一个include文件里，这时候需要格外注意的是必须使用静态外部存储类

/*constant.h----定义一些全局常量*/

static const double PI = 3.14159;

/*file1.c-----使用其他文件定义的全局变量*/

#include”constant.h”。

/*file2.c-----使用其他文件定义的全局变量*/

#include”constant.h”

如果不使用关键字static，在文件file1.c和file2.c中包含constant.h将导致每个文件都有同一标识符的定义声明ANSI标准不支持这样做（有些编译器确实支持）。通过使用static， 实际上给了每个文件一个独立的数据拷贝，如果文件想使用该数据与另外一个文件通话，这样做就不行了，因为每个文件只能看见他自己的拷贝，然而由于数据是不 可变的，这就不是问题了。使用头文件的好处是不必惦记在一个文件中进行定义声明，在另一个文件中进行引用声明，缺点在于复制了数据，如果常量很大的话，这 就是个问题了。

2. volatile

限定词volatile告诉编译器，该变量除了可被程序改变意外还可以被其他代理改变。典型的它用于硬件地址和其他并行运行的程序共享的数据。例如，一个地址中可能保存着当前的时钟信息。不管程序做些什么，该地址会随时间改变。另一种情况是一个地址用来接收来自其他计算机的信息；

语法同const：

volatile int a；//a是一个易变的位置

volatile int * pf；//pf指向一个易变的位置

把volatile作为一个关键字的原因是它可以方便编译器优化。

假如有如下代码:

va= x;

//一些不使用x的代码

vb= x;

一个聪明的编译器可能注意到你两次使用了x，但是没有改变它的值，它将把x临时存贮在一个寄存器中，接着，当vb主要x是的时候，它从寄存器而非初始的内存位置得到x的值来节省时间。这个过程被称为缓存。通常缓存是一个好的优化方式，但是如果两个语句中间的其他代理改变了x的值的话就不是这样了。如果没有规定volatile关键字，编译器将无从得知这种改变是否可能发生，因此，为了安全起见，编译器不使用缓存。那是在ANSI以前的情形，现在，如果在声明中没有使用volatile关键字，编译器就可以假定一个值在使用过程中没有修改，它就可以试着优化代码。总而言之，volatile使得每次读取数据都是直接在内存读取而不是缓存。

你可能会觉得奇怪，const和volatile可以同时使用，但是确实可以。例如硬件时钟一般不能由程序改变，这使得他成为const，但他被程序以外的代理改变，这使得他成为volatile，所以你可以同时使用它们，顺序是不重要的：

const volatile time；

volatile表明某个变量的值可能在外部被改变，优化器在用到这个变量时必须每次都小心地重新读取这个变量的值，而不是使用保存在寄存器里的备份。它可以适用于基础类 型如：int,char,long......也适用于C的结构和C++的类。当对结构或者类对象使用volatile修饰的时候，结构或者类的所有成员 都会被视为volatile.

该关键字在多线程环境下经常使用，因为在编写多线程的程序时，同一个变量可能被多个线程修改，而程序通过该变量同步各个线程。

简单示例：


代码如下:

DWORD __stdcall threadFunc(LPVOID signal)
{
int* intSignal=reinterdivt_cast(signal);
*intSignal=2;
while(*intSignal!=1)
sleep(1000);
return 0;
}

该线程启动时将intSignal 置为2，然后循环等待直到intSignal 为1 时退出。显然intSignal的值必须在外部被改变，否则该线程不会退出。但是实际运行的时候该线程却不会退出，即使在外部将它的值改为1，看一下对应的伪汇编代码就明白了：

mov ax,signal
label:
if(ax!=1)
goto label

对于C编译器来说，它并不知道这个值会被其他线程修改。自然就把它cache在寄存器里面。C 编译器是没有线程概念的,这时候就需要用到volatile。volatile 的本意是指：这个值可能会在当前线程外部被改变。也就是说，我们要在threadFunc中的intSignal前面加上volatile关键字，这时 候，编译器知道该变量的值会在外部改变，因此每次访问该变量时会重新读取，所作的循环变为如下面伪码所示：
label:
mov ax,signal
if(ax!=1)
goto label

注意：一个参数既可以是const同时是volatile，是volatile因为它可能被意想不到地改变。它是const因为程序不应该试图去修改它。

3.restrict

关键字restrict通过允许编译器优化某几种代码增强了计算支持。记住，它只能用于指针，并且表明指针是访问一个数据对象的唯一且初始的方式。为了清楚为何这样做，我们需要看一些例子：


代码如下:

intar[10];

int* restrict restar = (int*)malloc(10*sizeof(int));

int* par = ar;

这里，指针restar是访问malloc分配的内存的唯一而且初始的方式，因此声明为restrict。然而，par指针既不是初始的，也不是访问数组ar中数据的唯一方式，所以不用restrict限定词。现在考虑下面这个更加复杂的例子，其中n是一个int


代码如下:

for(n= 0;n < 10;n++)

{

par[n]+= 5;

restar[n]+= 5;

ar[n]*= 2;

par[n]+= 3;

restar[n]+= 3;

}

知道了restar是访问它所指向的数据的唯一初始方式，编译器就可以用具有同样效果的一条语句来替代包含restar的两个语句

restar[n]+= 8;/*可以替换*/

然而将两个计算par的语句精简为一个则会导致错误因为在par两次访问数据之间，ar改变了该数据的值。没有关键字restrict，编译器将不得不设想比较糟糕的那一种形式，而使用之后，编译器可以放心大胆的寻找计算的捷径。可以将关键字作为指针型函数参量的限定词使用，这意味着编译器可以假定在函数体内没有其他标志符修改指针指向的数据，因而可以试着优化代码，反之不然。来看一下C99标准下C库中的两个函数，他们从一个位置把字节复制到另一个位置

void*memcpy(void* restrict s1,const void* restrict s2,size_t n);

void*memmove(void* s1,const void * s2,size_t);

memcpy要求两个指针的位置不能重叠，但memmove没有这个要求。把s1，s2声明为restrict意味着每个指针都是相应数据的唯一访问方式，因此他们不能访问同一数据块。这满足了不能有重叠的要求。

关键字restrict有两个读者：编译器，它告诉编译器可以自由地做一些优化的假定。另一个读者是用户，他告诉用户仅使用满足restrict要求的参数。一般，编译器没法检查你是否遵循了这一限制，如果你蔑视它，也就是让自己冒险。

赞 (0)

相关推荐

  • C语言基础知识点解析(extern,static,typedef,const)

    一.extern的使用方法 下面是<C语言程序设计>中的关于extern的解释: 在一个源程序的所有源文件中,一个外部变量只能在某个文件中定义一次,而其他文件可以通过extern声明来访问它(定义外部变量的源文件中也可以包含对该外部变量的extern声明).外部变量的定义中必须指定数组的长度,但extern声明不一定指定数组的长度. 外部变量的初始化只能出现在其定义中. 假设函数push与pop定义在一个文件中,而变量val与sp在另一个文件中定义本那个被初始化(通常不太可能这样组织程序),则

  • 详解C语言中const关键字的用法

    关键字const用来定义常量,如果一个变量被const修饰,那么它的值就不能再被改变,我想一定有人有这样的疑问,C语言中不是有#define吗,干嘛还要用const呢,我想事物的存在一定有它自己的道理,所以说const的存在一定有它的合理性,与预编译指令相比,const修饰符有以下的优点: 1.预编译指令只是对值进行简单的替换,不能进行类型检查 2.可以保护被修饰的东西,防止意外修改,增强程序的健壮性 3.编译器通常不为普通const常量分配存储空间,而是将它们保存在符号表中,这使得它成为一个编

  • C语言在头文件中定义const变量详解

    C语言在头文件中定义const变量详解 在头文件中定义const不会有多变量的警告或错误,如果该头文件被大量包含会造成rom空间的浪费. 通过查看*.i文件的展开呢,可以发现每个.i文件都会有相应的变量展开. 查看*.map文件,能查看到该变量的多个地址分配. 在预编译的时候如果在头文件定义了const变量,每一个包含该头文件的c文件都会将其展开,而在编译的时候不会报错,因为这符合语法规则,每一个包含这个头文件的*.c文件都会编译一次这个变量,分配一个新的地址,然后在链接的时候也不会报错,因为每

  • C语言编程技巧 关于const和#define的区别心得

    #define ASPECT_RATIO 1.653 编译器会永远也看不到ASPECT_RATIO这个符号名,因为在源码进入编译器之前,它会被预处理程序去掉,于是ASPECT_RATIO不会加入到符号列表中.如果涉及到这个常量的代码在编译时报错,就会很令人费解,因为报错信息指的是1.653,而不是ASPECT_RATIO.如果ASPECT_RATIO不是在你自己写的头文件中定义的,你就会奇怪1.653是从哪里来的,甚至会花时间跟踪下去.这个问题也会出现在符号调试器中,因为同样地,你所写的符号名不

  • C语言 volatile与const同时使用应注意的问题

    const和volatile放在一起的意义在于: (1)本程序段中不能对a作修改,任何修改都是非法的,或者至少是粗心,编译器应该报错,防止这种粗心: (2)另一个程序段则完全有可能修改,因此编译器最好不要做太激进的优化. "const"含义是"请做为常量使用",而并非"放心吧,那肯定是个常量"."volatile"的含义是"请不要做没谱的优化,这个值可能变掉的",而并非"你可以修改这个值"

  • C语言中auto,register,static,const,volatile的区别详细解析

    1)auto这个关键字用于声明变量的生存期为自动,即将不在任何类.结构.枚举.联合和函数中定义的变量视为全局变量,而在函数中定义的变量视为局部变量.这个关键字不怎么多写,因为所有的变量默认就是auto的. (2)register这个关键字命令编译器尽可能的将变量存在CPU内部寄存器中而不是通过内存寻址访问以提高效率. (3)static常见的两种用途:1>统计函数被调用的次数; 2>减少局部数组建立和赋值的开销.变量的建立和赋值是需要一定的处理器开销的,特别是数组等含有较多元素的存储类型.在一

  • 总结C语言中const关键字的使用

    什么是const? 常类型是指使用类型修饰符const说明的类型,常类型的变量或对象的值是不能被更新的.(当然,我们可以偷梁换柱进行更新:) 为什么引入const? const 推出的初始目的,正是为了取代预编译指令,消除它的缺点,同时继承它的优点. const关键字使用非常的灵活,这一点和php差别很大,php中const用来在类中定义一个常量,而在c中,const因位置不同有不同的作用,因情景不同有不同的角色,使用起来也是非常的灵活. (1):const用来修饰普通的变量(指针变量除外)的时

  • C语言中的const和free用法详解

    注意:C语言中的const和C++中的const是有区别的,而且在使用VS编译测试的时候.如果是C的话,请一定要建立一个后缀为C的文件,不要是CPP的文件.因为,两个编译器会有差别的. 一.C语言中的const比较常见的用法,const做常量 #include<stdio.h> #include<malloc.h> #include<string.h> /* C中的const用法(使用VS测试的时候,要注意建立一个C后缀的文件,因为C的编译器和C++的编译器还是有区别的

  • C语言中const,volatile,restrict的用法总结

    1. const 变量声明中带有关键词const,意味着不能通过赋值,增量或减量来修改该变量的值,这是显而易见的一点.指针使用const则要稍微复杂点,因为不得不把让指针本身成为const和指针指向的值成为const区别开来.下面的声明表示pf指向的值必须是不变的 constfloat *pf:而pf则是可变的,它可以指向另外一个const或非const值:相反,下面的声明说明pf是不能改变的,而pf所指向的值则是可以改变的: float* const pf: 最后,当然可以有既不能改变指针的值

  • 详解C++语言中std::array的神奇用法

    概述 std::array是在C++11标准中增加的STL容器,它的设计目的是提供与原生数组类似的功能与性能.也正因此,使得std::array有很多与其他容器不同的特殊之处,比如:std::array的元素是直接存放在实例内部,而不是在堆上分配空间:std::array的大小必须在编译期确定:std::array的构造函数.析构函数和赋值操作符都是编译器隐式声明的--这让很多用惯了std::vector这类容器的程序员不习惯,觉得std::array不好用.但实际上,std::array的威力

  • 详解C语言中typedef和#define的用法与区别

    详解C语言中typedef和#define的用法与区别

    目录 一.typedef的用法 二.#define的用法 三.typedef与#define的区别 四.typedef的用途 用途一 用途二 用途三 用途四 五.typedef的陷阱 陷阱一 陷阱二 一.typedef的用法 在C/C++语言中,typedef常用来定义一个标识符及关键字的别名,它是语言编译过程的一部分,但它并不实际分配内存空间,比如: typedef int INT; typedef (int*) pINT; typedef unsigned int uint32_t type

  • C语言中const与指针使用方法总结

    C语言中const与指针使用方法总结 在这里分享一下自己的心得,希望和大家一起分享技术,如果有什么不足,还请大家指正.写出这篇目的,就是希望大家一起成长,我也相信技术之间没有高低,只有互补,只有分享,才能使彼此更加成长. 总结: * const 值不能改变,指向可改变 const * 值能改变,指向不可改变 const * const 都不能改变 实例代码: #include <stdio.h> int main(int argc, const char * argv[]) { // 1 可改

  • 详解C++中的const关键字及与C语言中const的区别

    const对象默认为文件的局部变量,与其他变量不同,除非特别说明,在全局作用域的const变量时定义该对象的文件局部变量.此变量只存在于那个文件中中,不能别其他文件访问.要是const变量能在其他文件中访问,必须显示的指定extern(c中也是)   当你只在定义该const常量的文件中使用该常量时,c++不给你的const常量分配空间--这也是c++的一种优化措施,没有必要浪费内存空间来存储一个常量,此时const int c = 0:相当于#define c 0:    当在当前文件之外使用

  • C语言中const和C++中的const 区别详解

    C语言中const和C++中的const 区别详解 C++的const和C语言的#define都可以用来定义常量,二者是有区别的,const是有数据类型的常量,而宏常量没有,编译器可以对前者进行静态类型安全检查,对后者仅是字符替换,没有类型安全检查. 而C语言中的const与C++也有很大的不同,在C语言中用const修饰的变量仍是一个变量,表示这个变量是只读的,不可显示地更改,而在C++中用const修饰过后,就变成常量了.例如下面的代码: const int n=10; int a[n];

  • c语言和c++语言中const修饰的变量区别浅析

    目录 c: 修饰全局变量: 修饰局部变量: c++: 修饰全局变量: 修饰局部变量: 总结: 在c语言中: 在c++语言中: 总结 c: 修饰全局变量: 用const修饰的全局变量是没有办法直接修改的,间接的修改也是不成功的(语法可以通过,但是编译运行的时候会报错.)(const只要是修饰全局变量,那么就会储存到常量区中,收到常量区的保护.) 修饰局部变量: 但是如果用const修饰局部变量,同样的也是没有办法直接修改的,但是是可以间接修改的. int main() { const int b

  • C语言中#pragma pack(1)的用法与注意点

    目录 一:何时使用 二. 为什么使用#pragma pack(1) 三.注意点 四.#pragma pack()的一些用法 五.题目 附:C语言慎用#pragma pack(1)命令 总结 一:何时使用 #pragma pack(1)的用法大多是用在结构体中 二. 为什么使用#pragma pack(1) 结构体的字节对齐方式在不同的编译器中不同,会存在数据冗余,以下举个例子 struct example { char header_start; double data_type; }; 现有的

  • C语言中的switch语句基本用法

    switch语句: 实际生活中,需要做出很多选择,大家都知道做选择可以使用if语句,但是如果选择太多,if语句使用起来就会很繁琐,这个时候就需要一个能将代码简化的语句,也就是我们今天的主角switch语句. switch语句是一个多分支选择语句,并且可以支持嵌套. switch语句的基本格式 switch(表达式) { case 常量1:语句1 case 常量2:语句2 default:语句n break; } switch语句通过将表达式的值与常量值进行比对,如果相等则执行后面的语句,如果不相

随机推荐