关于全局变量被修改以及volitale的用法

本文详细解释了volatile关键字在编程中的用途及其重要性,特别是在嵌入式系统中如何防止编译器优化导致的问题。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

今天调一个程序的时候发现一个事情,就是全局变量在中断中被改变,代码如下

 

.....

unsigned char num=0;

.....

INTERRUPT()

{

 ....

num++;

....

}

void main()

{

    out(num);

}

 

很不幸的事情是在主函数中,num一直都不会变,编译器avrstdio,外部中断。

调试中发现中断时可以进去的,然而中断出来以后,这个全局变量就被改变了,后来加了volitale就可以了。。

下面说说volitale的具体用法(以下内容都是摘抄):

volatile 的字面意思为不稳定的,易变的

volatile关键字是一种类型修饰符,用它声明的类型变量表示可以被某些编译器未知的因素更改。

用volatile关键字声明的变量i每一次被访问时,执行部件都会从i相应的内存单元中取出i的值。

没有用volatile关键字声明的变量i在被访问的时候可能直接从cpu的寄存器中取值(因为之前i被访问过,也就是说之前就从内存中取出i的值保存到某个寄存器中),之所以直接从寄存器中取值,而不去内存中取值,是因为编译器优化代码的结果(访问cpu寄存器比访问ram快的多)。

以上两种情况的区别在于被编译成汇编代码之后,两者是不一样的。之所以这样做是因为变量i可能会经常变化,保证对特殊地址的稳定访问。

volatile关键字是一种类型修饰符,用它声明的类型变量表示可以被某些编译器未知的因素更改,比如:操作系统、硬件或者其它线程等。遇到这个关键字声明的变量,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的稳定访问。

使用该关键字的例子如下:
volatile int i;
当要求使用volatile声明的变量的值的时候,系统总是重新从它所在的内存地址读取数据,即使它前面的指令刚刚从该处读取过数据,而且读取的数据立刻被保存。

例如:
volatile int i = 10;
int a = i;
...
//其他代码,并未明确告诉编译器,对i进行过操作
int b = i;

volatile指出i是随时可能发生变化的,每次使用它的时候必须从i的地址中读取,因而编译器生成的汇编代码会重新从i的地址读取数据放在b中。而优化的做法是,由于编译器发现两次从i读数据的代码之间的代码没有对i进行过操作,它会自动把上次读的数据放在b中,而不是重新从i的地址中读取。这样一来,如果i是一个寄存器变量或者表示一个端口数据就容易出错,所以说volatile可以保证对特殊地址的稳定访问。

注意,在VC6中,一般调试模式没有进行代码优化,所以这个关键字的作用看不出来。下面通过插入汇编代码,测试有无volatile关键字,对程序最终代码的影响:

首先,用classwizard建一个win32 console工程,插入一个voltest.cpp文件,输入下面的代码:
 
#include <stdio.h>

void main() {
      int i = 10;
      int a = i;
      printf("i = %d/n", a);
      // 下面汇编语句的作用就是改变内存中i的值,但是又不让编译器知道
      __asm {
            mov dword ptr [ebp-4], 20h
      }

      int b = i;
      printf("i = %d/n", b);
}

然后,在调试版本模式运行程序,输出结果如下:
i = 10
i = 32

然后,在release版本模式运行程序,输出结果如下:
i = 10
i = 10

输出的结果明显表明,release模式下,编译器对代码进行了优化,第二次没有输出正确的i值。

下面,我们把i的声明加上volatile关键字,看看有什么变化:

#include <stdio.h>

void main() {
      volatile int i = 10;
      int a = i;
      printf("i = %d/n", a);
      // 下面汇编语句的作用就是改变内存中i的值,但是又不让编译器知道
      __asm {
            mov dword ptr [ebp-4], 20h
      }

      int b = i;
      printf("i = %d/n", b);
}

分别在调试版本和release版本运行程序,输出都是:
i = 10
i = 32

这说明这个关键字发挥了它的作用!

================================

将一个变量说明为volatile表示这个变量是“易变的”。如果一个变量会被其它引用改变,或在其它并行的任务中会被改变(例如中断服务程序),都要显式地说明为“volatile”,否则在编译器优化阶段会作出错误的判断,例如将这个变量读入寄存器以后,在没有对这个变量赋值以前,会一直使用寄存器中的值,而实际上这个变量的值可能已经被一个指针引用改变了,或者是在中断服务程序中被改变了,下面这个例子说明了这种错误:

有一个变量T,在定时中断中每隔一个固定时间减一,然后在主程序中等待它减到0。

unsigned char T;
void T0_int(void) interrupt 1 {
      ...
      T--;
      ...
}

void main(void)
{
      ...
      T=10;
      while (T!=0);
      ...
}

正确的写法应该是将第一句改为:
volatile unsigned char T;

 

从上面这个例子中很不幸的看到,在中断中改变的这个数值如果不申请成volatile的话,被优化以后就麻烦了。。。

这个在嵌入式环境中尤其重要。。好吧。。难。。以后要注意一下~~~~~

 

http://blog.sina.com.cn/s/blog_5ddb672b0100hi0v.html

<think>嗯,用户想了解C语言中全局变量修改的原因及解决方法。好的,首先我得回忆一下全局变量的基本概念。全局变量是在函数外部定义的变量,整个程序都可以访问,所以确实容易出现被意外修改的情况。 那可能的原因有哪些呢?首先,多个文件或函数同时修改同一个全局变量,没有同步机制的话,尤其是在多线程环境下,肯定会有问题。比如,参考引用[2]提到并行运算时全局变量不同步,可能需要用临时变量或者锁来解决。 然后是作用域冲突。比如,不同的文件里如果有同名的全局变量,可能会导致链接错误或者覆盖。引用[1]里说的工程全局变量和文件全局变量的区别,如果多个文件里都定义了同名的全局变量,可能会引发重名问题,导致不可预期的修改。 还有extern使用不当的情况。引用[3]和[4]都提到了extern的正确用法。比如在另一个文件里声明extern时,如果类型不匹配,比如声明成指针而不是数组,就会导致非法访问,进而可能修改到错误的内存地址,破坏全局变量。 另外,初始化问题也很重要。如果全局变量未显式初始化,可能会有默认值,但不同编译器的处理可能不同,引用[5]提到默认值的问题,虽然那是在Spring中,但C语言中全局变量默认是0,但如果其他地方的代码错误地修改了初始值,也会出问题。 解决方案方面,首先考虑限制作用域,使用static关键字将全局变量限制在文件内,避免其他文件直接访问。然后正确使用extern,确保声明和定义一致,比如数组和指针不能混用。还有,在多线程环境下使用互斥锁或者原子操作来保证同步,避免竞态条件。另外,良好的编程习惯,比如避免过度使用全局变量用局部变量或者封装成结构体,通过函数访问,这样可以控制修改的入口。 用户可能需要更具体的例子,比如如何用static,或者extern的正确写法。比如在头文件中用extern声明,在源文件中定义,这样其他文件包含头文件时就能正确引用。同时,要注意多线程中的锁机制,比如pthread_mutex_t来保护全局变量。 可能用户在实际项目中遇到了全局变量被意外修改,导致程序行为异常,需要排查原因。需要检查代码中所有访问该全局变量的地方,是否有未经同步的并发访问,或者extern声明不正确,或者不同文件中的同名变量冲突。同时,代码审查和静态分析工具可能有帮助。 总结下来,原因主要是并发访问、作用域冲突、extern误用和初始化问题,解决方法包括限制作用域、正确使用extern、同步机制、初始化检查和代码规范。这些应该能帮助用户理解和解决问题。</think>### C语言全局变量修改的原因及解决方案 #### 一、原因分析 1. **多文件/多函数共享冲突** 全局变量可被同一工程内的所有文件访问,若多个函数或线程未同步修改同一全局变量,可能导致数据不一致。例如,并行运算中未使用锁机制时,全局变量的值可能被意外覆盖[^2]。 2. **作用域覆盖** 不同文件中定义同名全局变量时,链接阶段可能合并这些变量,导致实际使用的变量被覆盖。例如: ```c // a.c int globalVar = 10; // 工程全局变量 // b.c int globalVar = 20; // 链接时可能引发冲突[^1] ``` 3. **extern声明错误** 使用`extern`声明全局变量时,若类型不匹配(如将数组声明为指针),会导致非法内存访问: ```c // a.c char arr[6] = "hello"; // b.c extern char *arr; // 错误声明为指针,运行时访问错误地址[^3] ``` 4. **初始化问题** 未显式初始化的全局变量可能被编译器赋予默认值(如0),但若其他代码意外修改其内存地址,可能破坏数据。 --- #### 二、解决方案 1. **限制作用域** 使用`static`关键字将全局变量限制为“文件全局变量”,避免跨文件访问: ```c // a.c static int localVar = 100; // 仅a.c内可见 ``` 2. **正确使用`extern`** 在头文件中声明全局变量,确保类型一致: ```c // common.h extern int globalVar; // 声明 // common.c int globalVar = 42; // 定义[^4] ``` 3. **同步机制** 多线程环境中,使用互斥锁或原子操作保护全局变量: ```c #include <pthread.h> pthread_mutex_t lock = PTHREAD_MUTEX_INITIALIZER; int sharedVar = 0; void updateVar() { pthread_mutex_lock(&lock); sharedVar++; pthread_mutex_unlock(&lock); } ``` 4. **初始化与封装** - 显式初始化全局变量: ```c int globalCounter = 0; // 避免依赖编译器默认值[^5] ``` - 通过函数封装访问逻辑,减少直接操作: ```c int getGlobalVar() { return globalVar; } void setGlobalVar(int val) { globalVar = val; } ``` --- #### 三、应用示例 **问题场景**:多文件工程中全局变量`count`被意外修改。 **解决方案**: ```c // config.h #pragma once extern int count; // 正确声明 // config.c #include "config.h" int count = 0; // 正确定义 // main.c #include "config.h" #include <stdio.h> int main() { printf("Initial count: %d\n", count); // 输出0 return 0; } ``` ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值