【C语言】宏定义 | 全局搜索变量却找不到定义？原来是因为宏！

EleganceJiaBao

已于 2024-04-10 16:48:26 修改

阅读量778

点赞数 7

文章标签： c语言开发语言

于 2024-03-22 10:49:28 首次发布

本文链接：https://blog.csdn.net/EleganceJiaBao/article/details/136933913

版权

先看出的什么问题。

我全工程搜索这个TIM2_UpdateFlag，没有变量定义，但是不报错，正常运行，为什么啊？

经过讨论和研究，我找到了思路和原因，并详细的解析了出来。

先看下面的代码片段定义了一个宏EXTERN，用于控制TIM2_UpdateFlag变量的作用域。这种技术通常用于确保变量在一个源文件（通常是带有_TIM2_TIMEBASE_C_定义的源文件）中定义，而在其他源文件中声明为extern。

代码片段的详细解释：

#undef EXTERN // 取消之前可能存在的EXTERN宏的定义  
  
#ifdef _TIM2_TIMEBASE_C_ // 检查是否定义了_TIM2_TIMEBASE_C_宏  
#define EXTERN // 如果定义了，则定义EXTERN为空（即不添加任何修饰符）  
#else  
#define EXTERN extern // 如果没有定义，则定义EXTERN为extern  
#endif  
  
EXTERN volatile uint32_t TIM2_UpdateFlag; // 使用上面定义的EXTERN宏来声明或定义TIM2_UpdateFlag变量

#undef EXTERN：这行代码确保EXTERN宏在定义之前被取消，以避免与先前可能存在的EXTERN宏定义发生冲突。
#ifdef _TIM2_TIMEBASE_C_：这个条件编译指令检查是否定义了_TIM2_TIMEBASE_C_宏。通常，这种宏会在某个特定的源文件（例如tim2_timebase.c）中定义，以标识该文件是变量的定义位置。
#define EXTERN：如果_TIM2_TIMEBASE_C_被定义了，那么EXTERN就被定义为一个空宏，这意味着接下来的EXTERN volatile uint32_t TIM2_UpdateFlag;实际上就变成了volatile uint32_t TIM2_UpdateFlag;，即在这个特定的源文件中定义了变量。
#else：如果_TIM2_TIMEBASE_C_没有被定义...
#define EXTERN extern：...那么EXTERN就被定义为extern，这样EXTERN volatile uint32_t TIM2_UpdateFlag;就变成了extern volatile uint32_t TIM2_UpdateFlag;，即在其他源文件中声明了变量。
EXTERN volatile uint32_t TIM2_UpdateFlag;：这行代码使用前面定义的EXTERN宏来声明或定义TIM2_UpdateFlag变量。如果_TIM2_TIMEBASE_C_被定义，则此行代码定义了一个全局变量TIM2_UpdateFlag；否则，它声明了一个在其他地方定义的外部变量。

通过这种方法，你可以确保TIM2_UpdateFlag变量在一个源文件中定义，而在所有其他包含这个头文件的源文件中只是被声明。这样可以避免多重定义错误，并且允许其他源文件访问这个全局变量。

在你的Keil工程中，如果你找不到TIM2_UpdateFlag的定义，那么可能是因为你没有查看定义了_TIM2_TIMEBASE_C_宏的源文件。你应该查找这个宏在哪个源文件中被定义，并在那个源文件中找到TIM2_UpdateFlag的定义。

这里是一个简化的例子来说明整个过程：

头文件 tim2_timebase.h

#ifndef TIM2_TIMEBASE_H  
#define TIM2_TIMEBASE_H  
  
#undef EXTERN  
  
#ifdef _TIM2_TIMEBASE_C_  
#define EXTERN  
#else  
#define EXTERN extern  
#endif  
  
// 使用 EXTERN 宏来声明或定义 TIM2_UpdateFlag 变量  
EXTERN volatile uint32_t TIM2_UpdateFlag;  
  
#endif /* TIM2_TIMEBASE_H */

源文件 tim2_timebase.c

#include "tim2_timebase.h"  
  
#define _TIM2_TIMEBASE_C_ // 定义宏，表示当前是定义变量的源文件  
  
// 在这里使用 TIM2_UpdateFlag，由于 EXTERN 被定义为空，所以表示这个变量在这里是定义  
void some_function() {  
    // ... 使用 TIM2_UpdateFlag ...  
}

其他源文件
在这些源文件中，您只需要包含 tim2_timebase.h 头文件，由于它们没有定义 _TIM2_TIMEBASE_C_ 宏，EXTERN 将被定义为 extern，因此它们将只包含 TIM2_UpdateFlag 变量的声明，而不是定义。

#include "tim2_timebase.h"  
  
// 在这里使用 TIM2_UpdateFlag，由于 EXTERN 被定义为 extern，所以不会重复定义变量  
void some_function() {  
    // ... 使用 TIM2_UpdateFlag ...  
}

总结：在定义了 _TIM2_TIMEBASE_C_ 宏的源文件中（tim2_timebase.c），您确实需要写下 volatile uint32_t TIM2_UpdateFlag; 这行代码来定义变量。在其他源文件中，由于 EXTERN 被定义为 extern，您不需要（也不应该）再次定义这个变量。

原因找到了，也理解了，那么用宏这样做有什么优缺点呢？

使用条件编译和extern关键字来管理全局变量的定义和声明，这种做法在嵌入式系统开发和C语言编程中很常见，尤其是当需要在多个源文件之间共享数据时。下面分析这种做法的优缺点：

优点：

避免多重定义：通过在单个源文件中定义全局变量，并在其他源文件中使用extern声明，可以避免多重定义错误。这是因为在链接阶段，链接器会确保所有extern引用的变量都有唯一的定义。
明确作用域和可见性：使用extern可以清晰地表明某个变量是在其他地方定义的，而不是在当前文件中。这有助于代码的可读性和维护性。
模块化设计：通过将全局变量的定义放在特定的源文件中，可以更容易地实现代码的模块化。这样，每个源文件可以更加独立地处理其自己的功能和数据，减少耦合性。
优化：在某些情况下，将全局变量的定义集中在一个文件中可以方便编译器或链接器进行优化，因为它们可以更容易地看到所有对该变量的引用。

缺点：

全局变量的问题：全局变量本身就带来一系列问题，比如命名空间污染、可重入性问题和难以跟踪的副作用。即使使用extern来管理它们的声明和定义，这些问题仍然存在。
依赖管理：如果多个源文件都依赖于同一个全局变量，那么它们都必须包含定义该变量的头文件。这增加了文件之间的耦合性，并可能导致维护困难。
可移植性：不同的编译器和链接器可能对全局变量的处理有所不同。依赖于特定编译器或链接器行为的代码可能在不同环境下表现不一致。
调试和跟踪困难：全局变量可以在程序的任何地方被修改，这使得调试和跟踪程序中的错误变得更加困难。
代码清晰度：过度使用全局变量和extern声明可能使代码结构变得不清晰，增加阅读和理解代码的难度。