GNU Fortran断言宏编译报错求助：与Intel Fortran兼容问题

问题根源 #

GNU Fortran（gfortran）依赖的C预处理器（cpp）与Intel Fortran的预处理器在解析宏参数时行为存在差异：

• 调用Assert(1>2)时，gfortran的cpp会将表达式中的>符号误判为宏参数的分隔标记，导致宏展开后参数列表出现语法错误。
• Intel Fortran的预处理器对这类表达式的解析更灵活，能正确将整个1>2识别为宏的单个参数。

错误细节分析 #

你的宏定义#define Assert(X) call Handle_Assert(.not.(X), #X, __FILE__, __LINE__)中，参数X对应的1>2被gfortran的cpp错误拆分，展开后的代码语法混乱，最终触发Syntax error in argument list报错。

解决办法 #

方法1：用双重括号包裹断言表达式 #

修改调用代码，给断言表达式添加外层括号，确保cpp将其识别为完整的单个参数：

Assert((1>2))

原宏定义无需调整，gfortran的cpp会把(1>2)作为整体参数传递，展开后语法可正常解析。

方法2：调整宏的字符串化逻辑 #

如果希望保持调用写法不变，可以修改宏定义，利用gfortran支持的预处理器特性兼容：

#define Assert(X) call Handle_Assert(.not.(X), __STRINGIFY__(X), __FILE__, __LINE__)

__STRINGIFY__是gfortran支持的预处理器宏，能正确将表达式转换为字符串，避免>符号导致的参数拆分问题。

验证修复 #

修改后重新执行编译命令：

gfortran -c Assert_Mod.F90
gfortran -o check Assert_Mod.o Check_Assert.F90 

程序可正常运行，输出预期的断言失败信息：

Assertion 1>2 failed in file Check_Assert.F90 at line            6 .

内容的提问来源于stack exchange，提问作者Bojan Niceno