你的浏览器版本过低,可能导致网站不能正常访问!
为了你能正常使用网站功能,请使用这些浏览器。

C语言头文件

[复制链接]
gaosmile 发布时间:2020-11-5 18:41
说明

本文假定读者已具备基本的C编译知识。

如非特殊说明,文中“源文件”指 * .c文件,“头文件”指 *.h文件,“引用”指包含头文件。

一、头文件作用

C语言里,每个源文件是一个模块,头文件为使用该模块的用户提供接口。接口指一个功能模块暴露给其他模块用以访问具体功能的方法。

使用源文件实现模块的功能,使用头文件暴露单元的接口。用户只需包含相应的头文件就可使用该头文件中暴露的接口。

通过头文件包含的方法将程序中的各功能模块联系起来有利于模块化程序设计:

1)通过头文件调用库功能。在很多场合,源代码不便(或不准)向用户公布,只要向用户提供头文件和二进制库即可。用户只需按照头文件中的接口声明来调用库功能,而不必关心接口如何实现。编译器会从库中提取相应的代码。

2)头文件能加强类型安全检查。若某个接口的实现或使用方式与头文件中的声明不一致,编译器就会指出错误。这一简单的规则能大大减轻程序员调试、改错的负担。

在预处理阶段,编译器将源文件包含的头文件内容复制到包含语句(#include)处。在源文件编译时,连同被包含进来的头文件内容一起编译,生成目标文件(.obj)。

如果所包含的头文件非常庞大,则会严重降低编译速度(使用GCC的-E选项可获得并查看最终预处理完的文件)。因此,在源文件中应仅包含必需的头文件,且尽量不要在头文件中包含其它头文件。

二、 头文件组织原则

源文件中实现变量、函数的定义,并指定链接范围。头文件中书写外部需要使用的全局变量、函数声明及数据类型和宏的定义。

建议组织头文件内容时遵循以下原则:

1)头文件划分原则:类型定义、宏定义尽量与函数声明相分离,分别位于不同的头文件中。内部函数声明头文件与外部函数声明头文件相分离,内部类型定义头文件与外部类型定义头文件相分离。

注意,类型和宏定义有时无法分拆为不同文件,比如结构体内数组成员的元素个数用常量宏表示时。因此仅分离类型宏定义与函数声明,且分别置于*.th和*.fh文件(并非强制要求)。

2)头文件的语义层次化原则:头文件需要有语义层次。不同语义层次的类型定义不要放在一个头文件中,不同层次的函数声明不要放在一个头文件中。

3)头文件的语义相关性原则:同一头文件中出现的类型定义、函数声明应该是语义相关的、有内部逻辑关系的,避免将无关的定义和声明放在一个头文件中。

4)头文件名应尽量与实现功能的源文件相同,即module.c和module.h。但源文件不一定要包含其同名的头文件。

5)头文件中不应包含本地数据,以降低模块间耦合度。

即只有源文件自己使用的类型、宏定义和变量、函数声明,不应出现在头文件里。作用域限于单文件的私有变量和函数应声明为static,以防止外部调用。将私有类型置于源文件中,会提高聚合度,并减少不必要的格式外漏。

6)头文件内不允许定义变量和函数,只能有宏、类型(typedef/struct/union/enum等)及变量和函数的声明。特殊情况下可extern基本类型的全局变量,源文件通过包含该头文件访问全局变量。但头文件内不应extern自定义类型(如结构体)的全局变量,否则将迫使本不需要访问该变量的源文件包含自定义类型所在头文件[1]。

7)说明性头文件不需要有对应的源文件。此类头文件内大多包含大量概念性宏定义或枚举类型定义,不包含任何其他类型定义和变量或函数声明。此类头文件也不应包含任何其他头文件。

8)使用#pragma once或header guard(亦称include guard或macro guard)避免头文件重复包含。#pragma once是一种非标准但已被现代编译器广泛支持的技巧,它明确告知预处理器“不要重复包含当前头文件”。而header guard则通过预处理命令模拟类似行为:

#ifndef  _PRJ_DIR_FILE_H  //必须确保header guard宏名永不重名9 d" z4 T; C: _/ A4 S, V3 G
#define  _PRJ_DIR_FILE_H/ z" Y9 t) G2 e4 Y/ l5 m

' R- @8 g' ^8 k/ s" S//<头文件内容># L1 Y% ]; \& B9 d2 A1 a

& L' m3 i+ l$ H! p" A7 e( U#endif# T, h; Z+ x' T/ \/ o4 a: J

6 r2 i) O# s+ o3 O5 e  a& d/ P

使用#pragma once相比header guard具有两个优点:

  • 更快。编译器不会第二次读取标记#pragma once的文件,但却会读若干遍使用header guard 的文件(寻找#endif);

  • 更简单。不再需要为每个文件的header guard取名,避免宏名重名引发的“找不到声明”问题。

    缺点则是:

  • #pragma once保证物理上的同一个文件不会被包含多次,无法对头文件中的一段代码作#pragma once声明。若某个头文件具有多份拷贝(内容相同的多个文件),pragma不能保证它们不被重复包含。当然,这种重复包含很容易被发现并修正。

    9) C++中要引用C函数时,函数所在头文件内应包含extern "C"。


    ' [5 m/ s  \: i. d  P9 @# z! I/ z
//.h文件头部
* Z: h/ r/ C8 X: x4 c) M#ifdef  __cplusplus2 D( E* J' }  P# G/ C( d
extern "C" {. d0 n& N$ n$ G  l5 c
#endif" }2 L8 R8 O* N8 L4 h
% [7 ?) G' T* t( S
//<函数声明>% H6 O( d( N1 g. N
1 F+ Q: e" w5 I
//.h文件尾部
& m1 l( ~) s8 N  [#ifdef  __cplusplus
) h+ i9 V* M# ?! T/ l}
5 d, p, e0 l% }/ V6 A#endif/ @, O( P, h5 ^: Y6 L/ E

4 m5 E" D( h" x& C

被extern "C"修饰的变量和函数将按照C语言方式编译和连接,否则编译器将无法找到C函数定义,从而导致链接失败。

10)头文件内要有面向用户的充足注释,从应用角度描述接口暴露的内容。

三、 头文件包含原则

在实际编程中,常常因头文件包含不当而引发编译时报告符号未定义的错误或重复定义的警告。要消除符号未定义的编译错误,只需在引用符号(变量、函数、数据类型及宏等)前确保它已被声明或定义[4]。要消除重复定义的警告,则需合理设计头文件包含顺序和层次。

建议包含头文件时遵循以下原则:

1)源文件内的头文件包含顺序应从最特殊到一般,如:

#include "通用头文件"  //内部可能定义本模块数据类型别名' W7 s$ f3 k' z/ }5 m
#include "源文件同名头文件"
7 q* X. y$ `8 G) T2 Z7 a& }#include "本模块其他头文件"
" p/ I: C0 U$ l- Y. r% y#include "自定义工具头文件"
2 c4 s9 I4 F# W: g. e#include "第三方头文件"
* E* o4 L5 ~1 H$ ~. a9 I( B#include "平台相关头文件"% P, X& J' W& o/ D% x
#include "C++库头文件"
# G1 c. v% ]5 X, d8 s" D* k' O4 w#include "C库头文件"
: r3 b# G( x9 S7 M" n% `7 P


2 t0 \& Y/ J/ Q" C$ V

优点是每个头文件必须include需要的关联头文件,否则会报错。同时,源文件同名头文件置于包含列表前端便于检查该头文件是否自完备,以及类型或函数声明是否与标准库冲突。

2)减少头文件的嵌套和交叉引用,头文件仅包含其真正需要显式包含的头文件。

例如,头文件A中出现的类型定义在头文件B中,则头文件A应包含头文件B,除此以外的其他头文件不允许包含。

头文件的嵌套和交叉引用会使程序组织结构和文件组织变得混乱,同时造成潜在的错误。大型工程中,原有头文件可能会被多个其他(源或头)文件包含,在原有头文件中添加新的头文件往往牵一发而动全身。若头文件中类型定义需要其他头文件时,可将其提出来单独形成一个全局头文件。

3)头文件应包含哪些头文件仅取决于自身,而非包含该头文件的源文件。

例如,编译源文件时需要用到头文件B,且源文件已包含头文件A,而索性将头文件B包含在头文件A中,这是错误的做法。

4)尽量保证用户使用此头文件时,无需手动包含其他前提头文件,即此头文件内已包含前提头文件。

例如,面积相关操作的头文件Area.h内已包含关于点操作的头文件Point.h,则用户包含Area.h后无需再手动包含Point.h。这样用户就不必了解头文件的内在依赖关系。

5)头文件应是自完备的,即在任一源文件中包含任一头文件而不会产生编译错误。

6)源文件中包含的头文件尽量不要有顺序依赖。

7)尽量在源文件中包含头文件,而非在头文件中。且源文件仅包含所需的头文件。

8)头文件中若能前置声明(亦称前向声明[5]),就不要包含另一头文件。仅当前置声明不能满足或过于麻烦时才使用include,如此可减少依赖性方面的问题。示例如下:

struct T_MeInfoMap;  //前置声明9 ~; M$ I2 I: `+ A5 O
struct T_OmciMsg;    //前置声明2 N: H; r+ Z2 l

& k/ d2 S9 L; I5 r& L. Ytypedef FUNC_STATUS (*OmciChkFunc)(struct T_MeInfoMap *ptMeInfo, struct T_OmciMsg *ptMsg, struct T_OmciMsg *ptAckMsg);  Z+ o* M. {! h1 Z* e& s& [( w

5 r2 R+ ?9 B- o2 b9 k% l; F% q) |: @+ F: K* t- o0 H( e
//OMCI实体信息) U; w4 M$ b3 T& n7 r0 Y) u# E
typedef struct{
7 {4 ?0 C! O5 e6 [    INT16U wMeClass;               //实体类别) M9 M& h; ]' ]+ b3 u
    OMCI_ATTR_INFO *pMeAttrInfo;   //实体所定义的属性信息指针1 }7 C$ N6 s9 z; _
    INT8U  ucAttrNum;              //实体所定义的属性数目, Y" t8 z9 W- t
    INT16U wTotalAttrLen;          //实体所有属性所占的总字节数,初始化为0,动态计算) E9 O3 A! q) w
    INT8U  *pszDbName;             //实体存库时的数据表名称,建议不要超过DB_NAME_LEN(32)
- k( u; `( g. a+ a0 v6 Q    INT16U wMaxRecNum;             //实体存库时支持的最大记录数目
  G2 Y. W6 g3 [4 ?    OmciChkFunc fnCheck;           //Omci校验函数指针7 ~: S% g2 S7 p8 X, g
    BOOL   bDbCreated;             //实体数据表是否已创建
7 e& ]; ^; P  X) p7 _3 c}OMCI_ME_INFO_MAP;* V, r" L! Y* e; C  `

; @# F2 U( y0 k1 F

如上,在OmciChkFunc函数的实现源文件内包含T_MeInfoMap和T_OmciMsg所在头文件即可。

另举一例如下:

typedef TBL_SET_MODE (*OperTypeFunc)(INT8U *pTblEntry);: u8 |" k6 S, t1 f" t8 W  G4 X

' j3 A# `7 v( M# h& `typedef INT8U (*CmpRecFunc)(VOID *pvCmpData, VOID *pvRecData); //为避免头文件交叉引用,与CompareRecFunc异名同构/ v) n" i# J1 p6 v+ K

' n/ |& P) h! {2 J/ p: r//表属性信息3 z7 W4 S1 k' d* D8 `
typedef struct{2 G2 a1 x! D1 j) E9 [0 o5 r
    INT16U wMaxEntryNum;         //表属性最大表项数目(实体记录数目wMaxRecNum * wMaxEntryNum <= MAX_RECORD_NUM)
  C7 `2 T0 I" @* B1 b1 h    OperTypeFunc fnGetOperType;  //操作类型函数指针。根据表项数据或外界需求(只读表)解析当前表项操作类型
5 g" [; F* v0 |3 |, D8 s9 u( i% i    TBL_KEY_INFO tCmpKeyInfo;    //检索表属性子表记录时的匹配关键字信息(TBL_KEY_INFO)0 w5 a9 C) ]* a, e0 W9 }5 L
    CmpRecFunc   fnCmpAddKey;    //增加表项时需要检测的关键字匹配函数指针
5 i( K3 x9 r* x* C    CmpRecFunc   fnCmpDelKey;    //删除表项时需要检测的关键字匹配函数指针) L! [3 k. m" A' u+ o9 k$ J
    INT16U wTblEntrySize;        //表属性表项字节数,由外部动态赋值4 k; S* I- b; _2 w1 D. B0 Z/ a
}TBL_ATTR_INFO;
0 l8 B2 o  R, ^  J; Z/ W% f


8 H  z+ @6 R6 y0 H9 V

如上,CompareRecFunc函数原型由其他头文件提供,此处为避免头文件交叉引用定义其异名同构原型CmpRecFunc。

在不会引起歧义的前提下,头文件内尽可能使用VOID指针代替非基本类型的值变量或指针,以避免再包含类型定义所在的头文件。但这将影响代码可读性并降低程序执行效率,应权衡利弊。

9)避免包含重量级的平台头文件,如windows.h或d3d9.h等。若仅使用该头文件少量函数,可extern函数到源文件内。如下:

/****************************************************************************************
6 ?, n1 R8 h; h- s8 ~% a* \                       外部函数声明 (当外部接口未提供头文件或头文件过于复杂时) 6 \0 [0 w3 M3 u
****************************************************************************************/
6 o/ X9 L. ]3 c( o2 r  {0 s//因声明所在头文件引用混乱,此处仅extern函数声明。  S4 ~( U! `% }1 v/ `2 |
extern INT32S DBShmCliInit(VOID); //#include "db_shm_mgr.h"
1 W# h/ ?% I2 Nextern INT32S cmLockInit(VOID);   //#include "common_cmapi.h"
. c# k4 U% {" L1 m


& ]! T: ?0 c! A8 F

若还使用该头文件某些类型和宏定义,可创建适配性源文件。在该源文件内包含平台头文件,封装新的接口并将其声明在同名头文件内,其他源文件将通过适配头文件间接访问平台接口。如下:

/*****************************************************************************************& o! I; a2 ]2 s8 Y: x) G1 Q
* 文件名称:Omci_Send_Msg.c
  C; `% R- W5 F! K. R6 ~! l* 内容摘要:OMCI消息转发接口
% R5 A, C) p: @0 e' V: H* 其它说明: 该头文件封装SEND接口,以避免其他源文件包含支撑api和pid公共头文件导致引用混乱。- M; ~3 z: \  E+ [# |4 z
*****************************************************************************************/
( B6 u6 L4 [( J/ i6 F! J, I" y: [% s
#include "Omci_Common.h"
$ F) Q. h! Q9 {) w1 _#include "Omci_Send_Msg.h"6 S* s( X2 w) v& j
#include "oss_api.h"
9 h6 n. _+ M# m' A4 b  w* @3 G- }$ k  a8 C3 M# R: V- i
/**********************************************************************************************
8 z" K3 {2 F7 ?: n, M$ q                                         函数实现区
  P: E0 l/ f# v5 n, A**********************************************************************************************/$ `/ _( e5 J$ Q

1 b4 w, [$ x% p& e5 Z) ?& w/ c; g//向自身进程发送异步消息3 t. c1 s- k' d9 x3 E" F! E
INT32U OmciAsynSendSelf(INT16U wEvent, VOID *pvMsg, INT16U wMsgLen)4 \7 d8 j) K3 c: f/ T* {
{" @/ O  l! j" J( F: g/ X
    PID dwSelfPid = 0;) _' q3 n8 s/ ^: N, n' q$ H
    SELF(&dwSelfPid);& _+ q1 l0 T  d' p6 w9 B6 }4 Q
    return ASEND(wEvent, pvMsg, wMsgLen, dwSelfPid);$ N$ ^2 ]( L$ D: t
}6 N" L0 {1 m% o+ @. S, r; R

" n9 i, G( w% x+ d; e8 C

10)对于函数库(包括标准库和自定义的公共宏及接口)的头文件,可将其加入到一个通用头文件中。需要控制该头文件的体积(主要是该头文件所包含的所有头文件内容大小),并确保所有源文件首先包含该通用头文件。示例如下:

#ifndef  _OMCI_COMMON_H
" O, p+ x& `2 \4 G  `9 @#define  _OMCI_COMMON_H
; o' `" L" S4 k; B. Y2 A
$ T+ R! [0 d% d  L: ~0 d/*******************************************************************************************
8 B8 }% b8 z: O- K) k7 V4 R8 O* 说明:8 H- _4 T/ a# }6 Y% T% s
* 本文件仅应包含与具体通信协议无关的通用数据类型及宏定义。& d$ Z, ?8 f* `7 N# v) Z
* 为简化头文件包含且不失可移植性,本文件内可包含少量C库通用头文件。
' z+ M& T( N6 |) R* 因本文件内定义基本数据类型别名,故.c文件中应将本头文件置于包含列表顶端,/ _  r5 S% L. x; X& u6 O
* 否则编译时可能产生类型未定义错误。
/ t8 f6 |& ?* d9 Z*******************************************************************************************/( p& f4 M8 w& P6 A
/ T: A! m+ q4 I
#include <stdio.h>2 ]9 b; E1 r* T- m2 x
#include <stdlib.h>1 K8 p" Q/ u( G; U+ ~
#include <string.h>' C# U2 [: q% _8 W) F& _! Q
#include <sys/time.h>
& a2 P9 a" f* F% x) l1 X) y* B#include <limits.h>
& f, }* U! b1 F7 x3 I# v/ I& ~( K. v$ l2 ?/ l) K; [
#include "Omci_Byte.h"& k3 o& N' y, V6 l$ D

4 a' U0 E" v! ?' O8 J6 h$ U//<Other Contents...>6 ~* j: R, F6 B  G, t& Q0 s6 a

! W" J$ ~, C% f6 P" Z3 i

注意,示例头文件内包含C库文件虽能简化包含,但却与规则1冲突。也可另外增加包含库文件列表的通用头文件。

11)若不确定类型、宏定义或函数声明所在头文件具体路径,可在源文件中再次定义或声明,编译器会以redefined警告或conflicting错误给出类型、宏定义或函数声明所在头文件路径。

四、代码文件组织原则

建议C语言项目中代码文件组织遵循以下原则:

1)使用层次化和模块化的软件开发模型。每个模块只能使用所在层和下一层模块提供的接口。

2)每个模块的文件(可能多个)保存在一个独立文件夹中。

模块文件较多时可采用子目录的方式,物理上隔离不同层次的文件。子目录下源文件和头文件应分开存放,如分别置入include和source目录。

3)用于模块裁减的条件编译宏保存在一个独立文件中,便于软件裁减。

4)硬件相关代码和操作系统相关代码与工程代码相对独立保存,以便于软件移植。

5)按相同功能或相关性组织源文件和头文件。同一文件内的聚合度要高,不同文件中的耦合度要低。

在对既有工程做单元测试时,耦合度低的文件布局非常便于搭建环境。

6)声明和定义分开,使用头文件暴露模块需要提供给外部的类型、宏、变量和函数。尽量做到模块对外部透明,用户在使用模块功能时无需了解具体的实现。

7)作为对外接口的头文件一经发布,应保持稳定。修改时一定要慎重。

8)文件夹和文件命名要能够反映出模块的功能。

9)正式版本和测试版本使用统一文件,使用宏控制是否产生测试输出。

10)必要的注释不可缺少。

五、 注解

「【注1】全局变量的使用原则」

1)若全局变量仅在单个源文件中访问,则可将该变量改为该文件内的静态全局变量;

2)若全局变量仅由单个函数访问,则可将该变量改为该函数内的静态局部变量;

3)尽量不要使用extern声明全局变量,最好提供函数访问这些变量。直接暴露全局变量是不安全的,外部用户未必完全理解这些变量的含义。

4)设计和调用访问动态全局变量、静态全局变量、静态局部变量的函数时,需要考虑重入问题。

「【注2】#pragma once的可移植性」

#ifndef由C/C++语言标准支持,不受编译器任何限制;而#pragma once仅由编译器提供保证,存在可移植性等问题。

某些gcc编译器版本(如3.2.3)会报告“warning: #pragma once is obsolete”的警告,而其他较老版本的编译器可能会报错。但随着gcc 3.4的发布,#pragma once中的一些问题(主要与符号链接和硬链接有关)得以解决,#pragma once命令也标记为“未废弃”。

还有种写法同时使用#pragma once和header guard编写“可移植性”代码,以利用编译器可能支持的#pragma once优化。如下:

#pragma once
5 a( C& h: |1 x4 X  F  ]#ifndef _PRJ_DIR_FILE_H2 f$ n" t. @" ~' z
#define _PRJ_DIR_FILE_H
# z4 f0 @0 t6 m2 n: r1 ]( h3 T2 q4 V' ?7 L6 t
//<头文件内容>8 P. z4 m$ x+ R, l$ V& l

! N2 L, c2 {* q7 Q% S9 p$ G4 M. _#endif
% ~1 G5 ?/ P% x) N* d5 b
9 N% c# x( s  l


) J+ ~" A1 A0 c1 A5 ~! M  [

该法似乎兼有两者的优点。但既然使用#ifndef就有宏名重名的风险,也无法避免不支持#pragma once的编译器告警或报错,故混用两种方法似乎不能带来更多的好处,反倒让不熟悉的人感到困惑。

注意,如果使用header guard,理论上可在代码任何地方判断当前是否已经包含某个头文件。但应避免通过该判断来改变后续代码的逻辑走向!

这种做法将使程序依赖于头文件的包含顺序,极不可取。若需要实现“若当前包含HeaderA.h,才加入StructB结构”,可对StructB结构创建HeaderB.h头文件,在HeaderA.h中包含HeaderB.h。

「【注3】extern "C"」

C++语言在编译时为实现函数重载,会结合函数名、参数数目及类型信息而生成一个中间函数名。

例如,C++中函数void foo(int x, float y)编译后在符号库中生成的名字为_foo_int_float(不同编译器可能生成不同函数名,但均采用相同机制,生成的新名字称为”mangled name”);而该函数被C编译器编译后在符号库中的名字为_foo。

C语言中不支持extern "C"声明,在.c文件中包含extern "C"时会出现编译语法错误。

当然编译器也可以为其他语言提供链接说明。例如:extern "FORTRAN"、extern "Ada"等。

「【注4】声明(declaration)与定义(definition)」

全局变量或函数可(在多个编译单元中)有多处声明,但只允许定义一次。全局变量定义时分配空间并赋初始值(如果有);函数定义时提供函数体内容。

声明:0 Y1 D# b" A4 w; B
extern int iGlobal;
4 n0 E( p0 k/ w; n( D5 h) U8 s5 r& |& textern int func(); 或int func();
$ \+ `2 t( Y8 x
6 H6 C0 @/ G6 B定义:8 u; @1 e' z! F4 @( P; d
int iGlobal = 0; 或int iGlobal;) ~1 p! ?7 s2 o/ {' s( U* z. h
int func ()
3 S: f- E+ m, h. B9 N% J{
! X9 d( I/ w* o# \) X1 h' M    return 1;" s% o- D" k! Q4 I2 p4 N# j$ X
}
: t" ^% p9 E5 U7 ~3 ]" ]9 g2 [3 Q3 O" \1 {3 E9 O' P( R# z% r


2 z0 q9 G; I! @: J5 ^& `1 \

在多个源文件中共享变量或函数时,需确保定义和声明的一致性。通常在某个相关的源文件中定义,然后在头文件中进行外部声明。需要使用时包含相应的头文件即可。定义变量的源文件也应包含该头文件,以便编译器检查定义和声明的一致性。

该规则可提供高度的可移植性:它与ANSI/ISO C标准一致,同时也兼顾大多数ANSI前的编译器和链接器。(Unix编译器和链接器常使用允许多重定义的“通用模式”,只要保证最多对一处定义进行初始化即可。

该方式被ANSI C标准称为一种“通用扩展”)。某些很老的系统可能要求显式初始化以区别定义和外部声明。

通用扩展在《深入理解计算机系统》中解释为:多重定义的符号只允许最多一个强符号。函数和定义时已初始化的全局变量是强符号;未初始化的全局变量是弱符号。Unix链接器使用以下规则来处理多重定义的符号:

规则一:不允许有多个强符号。在被多个源文件包含的头文件内定义的全局变量会被定义多次(预处理阶段会将头文件内容展开在源文件中),若在定义时显式地赋值(初始化),则会违反此规则。

规则二:若存在一个强符号和多个弱符号,则选择强符号。

规则三:若存在多个弱符号,则从这些弱符号中任选一个。

当不同文件内定义同名(即便类型和含义不同)的全局变量时,该变量共享同一块内存(地址相同)。若变量定义时均初始化,则会产生重定义(multiple definition)的链接错误;若某处变量定义时未初始化,则无链接错误,仅在因类型不同而大小不同时可能产生符号大小变化(size of symbol `XXX' changed)的编译警告。

在最坏情况下,编译链接正常,但不同文件对同名全局变量读写时相互影响,引发非常诡异的问题。这种风险在使用无法接触源码的第三方库时尤为突出。

因此,应尽量避免使用全局变量。若确有必要,应采用静态全局变量(无强弱之分,且不会和其他全局符号产生冲突),并封装访问函数供外部文件调用。

「【注5】前向声明(forward declaration)」

结构体类型S在声明之后定义之前是一个不完全类型(incomplete type),即已知S是一个类型,但不知道包含哪些成员。

不完全类型只能用于定义指向该类型的指针,或声明使用该类型作为形参指针类型或返回指针类型的函数。指针类型对编译器而言大小固定(如32位机上为四字节),不会出现编译错误。

假设先后定义两个结构A和B,且两个结构需要互相引用。在定义A时B还没有定义,则要引用B就需要前向声明结构B(struct B;)。示例如下:

typedef BOOL (*func)(const DefStruct *ptStrt);
6 t% i5 ^' ?) @! O9 |) X8 d+ N" m5 O " u) X# y+ g  }- `+ U3 t! {/ ^: {7 Y
typedef struct DefStruct_t9 ^5 E" Z( _1 O" ~
{
/ B( _! h9 D6 o: z/ [( @    int i;* D9 M1 I; z6 c1 n
    func f;
# u+ h, ?% ?) X, i' S! E}DefStruct;* U, T* d8 [) z2 A" n
. c  K" C0 z! y  Y


6 a! P; Y. J# Y- K

如上在DefStruct中使用回调函数func声明,这样交叉引用必然编译报错。进行前向声明即可:

typedef struct DefStruct_t DefStruct;
9 N* o" e8 v7 U& htypedef BOOL (*func)(const DefStruct *ptStrt);
* {1 w  d1 f! g( [
7 b( ^: k' f& w' k/ ^struct DefStruct_t
# Y! r  z. u# ^2 K' x{
5 `2 y$ Y) T, P3 _' }- U    int i;
; b0 @  w4 w) O    func f;9 ]' }3 r6 V- u6 h6 q# p& H/ ]
};1 e- `6 c2 r1 Y" o4 ]
9 d& c: L6 q: s8 O/ B6 l& Z* M

注意,在前向声明和具体定义之间涉及标识符(变量、结构、函数等)实现细节的使用都是非法的。若函数被前向声明但未被调用,则编译和运行正常;若前向声明函数被调用但未被定义,则编译正常但链接报错(undefined reference)。将具体定义放在源文件中可部分避免该问题。

3 I; _- ]) X' C7 e+ E! R
收藏 评论0 发布时间:2020-11-5 18:41

举报

0个回答

所属标签

关于
我们是谁
投资者关系
意法半导体可持续发展举措
创新与技术
意法半导体官网
联系我们
联系ST分支机构
寻找销售人员和分销渠道
社区
媒体中心
活动与培训
隐私策略
隐私策略
Cookies管理
行使您的权利
官方最新发布
STM32N6 AI生态系统
STM32MCU,MPU高性能GUI
ST ACEPACK电源模块
意法半导体生物传感器
STM32Cube扩展软件包
关注我们
st-img 微信公众号
st-img 手机版